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