-stop-if-compile-error)Укажите, что ошибка компиляции должна остановить анализ
Укажите, что даже одна ошибка компиляции должна остановить анализ.
Пользовательский интерфейс (только для продуктов): На панели Configuration опция находится на узле Environment Settings.
Командная строка и файл опций: Используйте опцию -stop-if-compile-error. См. «Информация о командной строке».
Используйте эту опцию, чтобы сначала разрешить все ошибки компиляции, а затем выполнить Polyspace® анализ. Эта последовательность гарантирует, что все файлы будут проанализированы.
В противном случае полностью анализируются только файлы без ошибок компиляции. Анализ может вернуть некоторые результаты для файлов, которые не компилируются. Если файл с ошибками компиляции содержит определение функции, анализ считает функцию неопределенной. Это предположение иногда может сделать анализ менее точным.
Эта опция более полезна для анализа Code Prover, потому что проверки выполнения Code Prover более полагаются на распространение области значений между функциями.
НаАнализ останавливается, даже если происходит одна ошибка компиляции.
В пользовательском интерфейсе десктопных продуктов Polyspace на панели Output Summary отображаются ошибки компиляции.
Дополнительные сведения об устранении ошибок см. в разделе Поиск и устранение ошибок компиляции.
Вы также можете увидеть ошибки в журнале анализа, текстовом файле, сгенерированном во время анализа. Журнал называется Polyspace_R20<reservedrangesplaceholder0 >_ ProjectName_ date- time.logError: указывает на ошибки компиляции. Чтобы просмотреть журнал из результатов анализа:
В пользовательском интерфейсе десктопных продуктов Polyspace выберите Window > Show/Hide View > Run Log.
В веб-интерфейсе Доступ откройте вкладку Review. Выберите Layout > Show/Hide View > Run Log.
Несмотря на ошибки компиляции, можно увидеть некоторые результаты анализа, например, нарушения правил кодирования.
Off (по умолчанию)Анализ не останавливается из-за ошибок компиляции, а анализируются только файлы без ошибок компиляции. Анализ не рассматривает файлы, которые не компилируются. Если файл с ошибками компиляции содержит определение функции, анализ считает функцию неопределенной. Если анализу нужно определение такой функции, это делает широкие предположения о функции.
Значение возврата функции может принимать любое значение в области значений, разрешенном ее типом данных.
Функция может изменять аргументы, переданные по ссылке, чтобы они могли принимать любое значение в области значений, разрешенном их типами данных.
Если предположения слишком широки, анализ может быть менее точным. Например, проверка во время выполнения может пометить операцию в оранжевом цвете, даже если она не проваливается на практике.
Если возникают ошибки компиляции, в пользовательском интерфейсе рабочего стола продуктов Polyspace у панели Dashboard есть ссылка, которая показывает, что некоторые файлы не удалось скомпилироваться. Вы можете щелкнуть ссылку и увидеть ошибки компиляции на панели Output Summary.
Вы также можете увидеть ошибки в журнале анализа, текстовом файле, сгенерированном во время анализа. Журнал называется Polyspace_R20<reservedrangesplaceholder0 >_ ProjectName_ date- time.logError: указывает на ошибки компиляции. Чтобы просмотреть журнал из результатов анализа:
В пользовательском интерфейсе десктопных продуктов Polyspace выберите Window > Show/Hide View > Run Log.
В веб-интерфейсе Доступ откройте вкладку Review. Выберите Layout > Show/Hide View > Run Log.
Параметр: -stop-if-compile-error |
| По умолчанию: Off |
Пример (Bug Finder):
Polyspace Bug Finder -sources filename |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources filename |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources |