Все виды применения директивы # pragma должны быть задокументированы
Все виды применения директивы # pragma должны быть задокументированы.
Чтобы проверить это правило, вы должны перечислить прагмы, которые разрешены в исходных файлах, используя опцию Allowed pragmas (-allowed-pragmas). Если Polyspace® находит прагму, не входящую в допустимый список прагмы, возникает нарушение.
Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».
| Группа: Директивы предварительной обработки |
| Категория: Документ |