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