-allowed-pragmas)Задайте директивы прагмы, которые документируются
Задайте директивы прагмы, которые не должны быть помечены MISRA C®:: правило 3.4 2004 года или МИСРА® Правило C++ 16-6-1. Эти правила требуют, чтобы вы документировали все директивы прагмы.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -allowed-pragmas. См. «Информация о командной строке».
MISRA C:2004/MISRA AC AGC правило 3.4 и MISRA C++ правило 16-6-1 требуют, чтобы все прагма-директивы были задокументированы в документации компилятора. Если вы перечисляете прагму как задокументированную с помощью этой опции анализа, Polyspace не помечает использование прагмы как нарушение этих правил.
По умолчанию нет
Щелкните
, чтобы добавить поле. Введите имя прагмы, которую вы хотите Polyspace® чтобы игнорировать во время проверки правил кодирования.
Эта опция включена только в том случае, если выбрана одна из следующих опций:
Введите имя прагмы, исключая только любой аргумент. Например, если вы используете прагму pack:
#pragma pack(n)
pack для этой опции.Параметр: -allowed-pragmas |
Значение: |
Пример (Bug Finder):
Polyspace Bug Finder -sources filename |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources filename |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources filename |