Exponenta Banner

AUTOSAR C++14 Rule M0-1-10

Каждая заданная функция должна быть вызвана, по крайней мере, однажды

расширьте все на странице

Описание

Управляйте определением

Каждая заданная функция должна быть вызвана, по крайней мере, однажды.

Объяснение

Если функция с определением не вызвана, она может указать на серьезную ошибку кодирования. Например, вызов функции недостижим, или различная функция вызвана непреднамеренно.

Реализация Polyspace

Средство проверки обнаруживает ситуации, где статическая функция задана, но не заходится все в ее модуле перевода.

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Примеры

развернуть все

static void func1() {
}

static void func2() { //Noncompliant
}

void func3();

int main() {
    func1();
    return 0;
}

static функциональный func2 задан, но не назван.

Функциональный func3 не называется также, однако, это только объявлено и не задано. Отсутствие вызова func3 не нарушает правило.

Проверяйте информацию

Группа: независимые от языка проблемы
Категория: консультация, автоматизированная

Смотрите также

Темы

Введенный в R2019a

Документация Polyspace Bug Finder

Поддержка