-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® проигнорировал во время кодирования проверки правила.
Эта опция включена, только если вы выбираете одну из этих опций:
Введите имя прагмы только, исключая любой аргумент. Например, если вы используете прагму pack:
#pragma pack(n)
pack для этой опции.Параметр: -allowed-pragmas |
Значение: |
Пример (Bug Finder):
Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |