Exponenta Banner

Правило 8.9 MISRA C:2012

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

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

Описание

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

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

Объяснение

Если вы задаете объект в области действия блока, вас, или кто-то еще, менее вероятно, получит доступ к объекту непреднамеренно вне блока.

Реализация Polyspace

Средство проверки правила отмечает объекты static, к которым получают доступ в одной функции только, но объявляют в осциллографе файла.

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

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

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

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

Примеры

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

static int ctr;   /* Non compliant */

int checkStatus(void);
void incrementCount(void);

void incrementCount(void) {
    ctr=0;
    while(1) {
        if(checkStatus())
            ctr++;
    }
}

В этом примере объявление ctr несовместимо, потому что это объявляется в осциллографе файла, но используется только в функциональном incrementCount. Объявите, что ctr в теле incrementCount MISRA C®-compliant.

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

Группа: объявления и определения
Категория: консультация
Категория AGC: консультация
Язык: C90, C99

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

Темы

Введенный в R2014b

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