-allowed-pragmas)(Не рекомендуемый), Задают директивы прагмы, которые документируются
Эта опция применяется только к кодированию правил, которые будут удалены из Code Prover в будущей версии. Используйте Allowed pragmas (-allowed-pragmas) в Bug Finder вместо этого. Для получения дополнительной информации см. Вопросы совместимости.
Задайте директивы прагмы, которые не должны быть отмечены MISRA C®:2004 правила 3.4 или MISRA® Правило 16-6-1 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 - источники |
Пример (Code Prover):
Polyspace Code Prover - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Code Prover):
сервер программы автоматического доказательства полипробела кода - источники |