-no-extern-c)Проигнорируйте определенные ошибки соединения
Укажите, что анализ должен проигнорировать определенные ошибки соединения.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Environment Settings. Смотрите Зависимость для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -no-extern-C. Смотрите информацию о Командной строке.
Некоторые функции могут быть объявлены в блоке extern "C" { } в некоторых файлах а не в других. Затем их связь не является тем же самым, и это вызывает ошибку ссылки согласно стандарту ANSI®.
Применение этой опции заставит Polyspace® игнорировать эту ошибку. Эта разрешающая опция не может разрешить все ошибки связи экстерна К.
НаПроигнорируйте соединение ошибок, если это возможно.
От (значения по умолчанию)Остановите анализ для ошибок связи.
Эта опция доступна, только если вы устанавливаете 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 |