Все исходные файлы должны компилироваться без каких-либо ошибок компиляции
Все исходные файлы должны компилироваться без каких-либо ошибок компиляции.
Соответствующему компилятору разрешено создавать модуль объекта, несмотря на наличие ошибок компиляции. Однако выполнение получившейся программы может привести к неожиданному поведению.
Программа вызывает нарушение этой директивы, если обнаруживает ошибку компиляции. Поскольку Code Prover более строг к ошибкам компиляции по сравнению с Bug Finder, проверка правил кодирования в этих двух продуктах может привести к различным результатам для этой директивы.
Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».
| Группа: Компиляция и сборка |
| Категория: Требуемая |
| Категория AGC: Требуется |