MISRA C:2012 Dir 2.1

Все исходные файлы должны скомпилировать без любых ошибок компиляции

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

Направляющее определение

Все исходные файлы должны скомпилировать без любых ошибок компиляции.

Объяснение

Соответствующему компилятору разрешают произвести объектный модуль несмотря на присутствие ошибок компиляции. Однако осуществление получившейся программы может произвести неожиданное поведение.

Реализация Polyspace

Программное обеспечение повышает нарушение этой директивы, если это находит ошибку компиляции. Поскольку Code Prover более строг об ошибках компиляции по сравнению с Bug Finder, правила кодирования, регистрируясь в этих двух продуктах могут привести к различным результатам для этой директивы.

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

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

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

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

Вопросы совместимости

развернуть все

Не рекомендуемый запуск в R2021b

Введенный в R2015b