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

Trigraphs не должен использоваться

Описание

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

Trigraphs не должен использоваться.

Объяснение

Вы обозначаете trigraphs с двумя вопросительными знаками, сопровождаемыми определенным третьим символом (например, '??-' представляет '~' (тильда), символ и '??)' представляют ']'). Эти trigraphs могут вызвать случайный беспорядок с другим использованием двух вопросительных знаков.

Примечание

Диграфы (<: :>, <% %>, %:, %:%:) разрешены, потому что они - лексемы.

Реализация Polyspace

Анализ Polyspace® преобразовывает trigraphs в эквивалентный символ для верификации во время выполнения. Однако Polyspace также повышает нарушение MISRA®.

Стандарт требует, чтобы trigraphs был преобразован, прежде чем комментарии удалены во время предварительной обработки. Поэтому Polyspace повышает нарушение этого правила, даже если trigraph появляется в комментариях к коду.

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

Trigraphs не должен использоваться.

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

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

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

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

Введенный в R2014b