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