-stop-if-compile-error)Укажите, что ошибка компиляции должна остановить анализ
Укажите, что даже одна ошибка компиляции должна остановить анализ.
Пользовательский интерфейс (только десктопные решения): В панели Configuration опция находится на узле Environment Settings.
Командная строка: Используйте опцию -stop-if-compile-error. Смотрите информацию о Командной строке.
Используйте эту опцию, чтобы сначала разрешить все ошибки компиляции и затем выполнить анализ Polyspace®. Эта последовательность гарантирует, что все файлы анализируются.
В противном случае только файлы без ошибок компиляции полностью анализируются. Анализ может возвратить некоторые результаты для файлов, которые не компилируют. Если файл с ошибками компиляции содержит функциональное определение, анализ считает функцию неопределенной. Это предположение может иногда делать анализ менее точным.
Опция более полезна для анализа Программы автоматического доказательства Кода, потому что проверки на этапе выполнения Программы автоматического доказательства Кода полагаются в большей степени на распространение области значений через функции.
НаАнализ останавливается, даже если происходит одна ошибка компиляции.
В пользовательском интерфейсе десктопных решений Polyspace вы видите ошибки компиляции на панели Output Summary.
Для получения информации о том, как разрешить ошибки, смотрите Ошибки компиляции Поиска и устранения неисправностей.
Можно также видеть ошибки в аналитическом журнале, текстовый файл, сгенерированный во время анализа. Журнал называют Polyspace_R20##n_ProjectName_date-time.log Error:, указывающего на ошибки компиляции. Просмотреть журнал от результатов анализа:
В пользовательском интерфейсе десктопных решений Polyspace выберите Window> Show/Hide View> Run Log.
В Polyspace доступ к веб-интерфейсу откройте вкладку Review. Выберите Layout> Show/Hide View> Run Log.
Несмотря на ошибки компиляции, вы видите некоторые результаты анализа, например, кодируя нарушения правила.
От (значения по умолчанию)Анализ не останавливается из-за ошибок компиляции, но только файлы без ошибок компиляции анализируются. Анализ не рассматривает файлы, которые не компилируют. Если файл с ошибками компиляции содержит функциональное определение, анализ считает функцию неопределенной. Если для анализа нужно определение такой функции, это делает широкие предположения о функции.
Функциональное возвращаемое значение может принять любое значение в области значений, позволенной ее типом данных.
Функция может изменить аргументы, переданные ссылкой так, чтобы они могли принять любое значение в области значений, позволенной их типами данных.
Если предположения слишком широки, анализ может быть менее точным. Например, проверка на этапе выполнения может отметить операцию в оранжевом даже при том, что это не перестало работать на практике.
Если ошибки компиляции происходят в пользовательском интерфейсе десктопных решений Polyspace, панель Dashboard имеет ссылку, которая показывает, что некоторым файлам не удалось скомпилировать. Можно щелкнуть по ссылке и видеть ошибки компиляции на панели Output Summary.
Можно также видеть ошибки в аналитическом журнале, текстовый файл, сгенерированный во время анализа. Журнал называют Polyspace_R20##n_ProjectName_date-time.log Error:, указывающего на ошибки компиляции. Просмотреть журнал от результатов анализа:
В пользовательском интерфейсе десктопных решений Polyspace выберите Window> Show/Hide View> Run Log.
В Polyspace доступ к веб-интерфейсу откройте вкладку Review. Выберите Layout> Show/Hide View> Run Log.
Parameter:-stop-if-compile-error |
| Значение по умолчанию: 'off' |
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода): |
Пример (сервер средства поиска ошибки):
|
Пример (сервер программы автоматического доказательства кода):
|