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