-no-extern-c)Игнорируйте определенные ошибки связи
Укажите, что анализ должен игнорировать определенные ошибки связывания.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Environment Settings. Смотрите Зависимость для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -no-extern-C. См. «Информация о командной строке».
Некоторые функции могут быть объявлены внутри extern "C" { } блокировать в одних файлах, а не в других. Тогда их редактирование не то же самое и это вызывает ошибку ссылки согласно ANSI® стандарт.
Применение этой опции вызовет Polyspace® чтобы проигнорировать эту ошибку. Эта разрешительная опция может не разрешить все внешние ошибки редактирования С.
НаПо возможности игнорируйте ошибки связи.
Off (по умолчанию)Остановите анализ на ошибки редактирования.
Эта опция доступна только при установке Source code language (-lang) на CPP или C-CPP.
Параметр: -no-extern-C |
| По умолчанию: off |
Пример (Bug Finder):
polyspace-bug-finder -lang cpp -no-extern-C |
Пример (Code Prover): polyspace-code-prover -lang cpp -no-extern-C |
Пример (Bug Finder Server):
polyspace-bug-finder-server -lang cpp -no-extern-C |
Пример (Code Prover Server):
polyspace-code-prover-server -lang cpp -no-extern-C |