MISRA C:2012 Rule 4.2

Триграфы не должны использоваться

Описание

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

Триграфы не должны использоваться.

Объяснение

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

Примечание

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

Реализация Polyspace

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

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

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

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

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

Группа: Наборы символов и лексические соглашения
Категория: Консультационные
Категория СМЖЛ: Консультационная
Введенный в R2014b