Exponenta Banner

MISRA C++:2008 Rule 0-1-10

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

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

Описание

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

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

Объяснение

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

Реализация Polyspace

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

Обменивайтесь сообщениями в отчете

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

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

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

Примеры

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

static void func1() {
}

static void func2() { //Noncompliant
}

void func3();

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

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

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

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

Группа: независимые от языка проблемы
Категория: необходимый

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

Темы

Введенный в R2013b

Документация Polyspace Code Prover
Поддержка