MISRA C:2012 Dir 2.1

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

Описание

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

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

Объяснение

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

Реализация Polyspace

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

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

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

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

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