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