-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 |
Значение: |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |