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

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

Объяснение

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

Реализация Polyspace

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

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

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.