MISRA C ++:2008 правил 6-2-3

Перед предварительной обработкой пустой оператор должен только произойти на строке отдельно; это может сопровождаться комментарием, при условии, что первый символ после пустого оператора является белым - пробел

Описание

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

Перед предварительной обработкой пустой оператор должен только произойти на строке отдельно; это может сопровождаться комментарием, при условии, что первый символ после пустого оператора является белым - пробел.

Реализация Polyspace

Средство проверки рассматривает пустой оператор как строку, где первый символ, исключая комментарии является точкой с запятой. Средство проверки отмечает ситуации где:

  • Комментарии появляются перед точкой с запятой.

    Например:

    /* wait for pin */ ; 

  • Комментарии сразу появляются после точки с запятой без промежуточного пробела.

    Например:

    ;// wait for pin

Средство проверки также показывает нарушение, когда второй оператор появляется на той же строке после пустого оператора.

Например:

; count++;

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

Перед предварительной обработкой пустой оператор должен только произойти на строке отдельно; это может сопровождаться комментарием, при условии, что первый символ после пустого оператора является белым - пробел.

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

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

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

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

Введенный в R2013b