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;
}

The static функциональные func2 определяется, но не вызывается.

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

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

Группа: Языковые независимые вопросы
Категория: Требуемая

См. также

Темы

Введенный в R2013b

Документация Polyspace Code Prover

Поддержка