MISRA C++:2008 Rule 6-2-3

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

Описание

Определение правила

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

Реализация Polyspace

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

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

    Для образца:

    /* wait for pin */ ; 

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

    Для образца:

    ;// wait for pin

Проверка также показывает нарушение, когда второй оператор появляется в той же линии, следующей за оператором null.

Для образца:

; count++;

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

Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».

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

Группа: Операторы
Категория: Требуемая
Введенный в R2013b