-allowed-pragmas)Укажите задокументированные директивы pragma
Укажите директивы pragma, которые не должны отмечаться правилом MISRA C ®: 2004 3.4 или правилом MISRA ® C++ 16-6-1. Эти правила требуют документирования всех директив pragma.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле 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 |
Значение: |
Пример (поиск ошибок):
polyspace-bug-finder -sources |
Пример (проверка кода): polyspace-code-prover -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |