-allowed-pragmas)Задайте директивы прагмы, которые документируются
Задайте директивы прагмы, которые не должны быть отмечены правилом 3.4 MISRA C®:2004 или правилом 16-6-1 MISRA® C ++. Эти правила требуют, чтобы вы зарегистрировали все директивы прагмы.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -allowed-pragmas. Смотрите информацию о Командной строке.
Правило 3.4 AGC AC MISRA C:2004/MISRA и правило 16-6-1 C++ MISRA требуют, чтобы все директивы прагмы были зарегистрированы в рамках документации компилятора. Если вы перечисляете прагму как зарегистрированное использование этой аналитической опции, Polyspace не отмечает использование прагмы как нарушение этих правил.
Никакое значение по умолчанию
Щелкните
, чтобы добавить поле. Введите имя прагмы, которое вы хотите, чтобы Polyspace® проигнорировал во время кодирования проверки правила.
Эта опция включена, только если вы выбираете одну из этих опций:
Параметр: -allowed-pragmas |
Значение: |
| Никакое значение по умолчанию |
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода): |
Пример (сервер средства поиска ошибки):
|
Пример (сервер программы автоматического доказательства кода):
|