Если анализ останавливается, можно просмотреть информацию об ошибке на экране, либо в пользовательском интерфейсе, либо на терминале командной строки. Также можно просмотреть информацию об ошибке в файле журнала, сгенерированном во время анализа. На основе информации об ошибке можно либо исправить исходный код, добавить отсутствующие файлы или изменить опции анализа, чтобы пройти мимо ошибки.
Просмотрите ошибки на вкладке Output Summary.
Сообщения на этой вкладке отображаются со следующими значками.
| Значок | Значение |
|---|---|
 | Ошибка, которая блокирует анализ. Для образца анализ не может найти объявление или определение переменной и, следовательно, не может определить тип переменной. |
 | Предупреждение о проблеме, которая не блокирует анализ сама по себе, но может быть связано с ошибкой блокировки. Например, анализ не может найти файл включения, который |
 | Дополнительная информация об анализе. |
Чтобы диагностировать и исправить каждую ошибку, можно сделать следующее:
Для получения дополнительной информации об ошибке выберите сообщение об ошибке. Подробные сведения отображаются в Detail окне под вкладкой Output Summary.
Чтобы открыть исходный код в линии, содержащей ошибку, дважды щелкните сообщение.
Если вы включите Compilation Assistant, чтобы исправить ошибку, можно выполнить определенные действия на вкладке Output Summary.
Следующий рисунок показывает ошибку из-за отсутствующего файла включения turbo.h. Вы можете добавить отсутствующий файл, нажав кнопку Add на вкладке Output Summary.
Чтобы включить помощника компиляции, выберите Tools > Preferences. На вкладке Project and Results Folder выберите Use Compilation Assistant.
Обратите внимание на следующее:
По умолчанию, если некоторые файлы не компилируются, Bug Finder анализирует оставшиеся файлы. Если вы включаете Compilation Assistant, все файлы должны скомпилироваться. Вы не получаете результаты анализа, даже если есть единственная ошибка компиляции.
Ассистент компиляции отключен, если задан опция Command/script to apply to preprocessed files (-post-preprocessing-command)
Совет
Чтобы искать сообщения об ошибке для определенного термина, на панели Search введите свой термин поиска. В раскрывающемся списке на этой панели выберите Output Summary или Run Log. Если по умолчанию панель Search не открыта, выберите Windows > Show/Hide View > Search.
Можно просматривать ошибки непосредственно в файле журнала. Файл журнала находится в папке результатов. Чтобы открыть файл журнала:
Щелкните правой кнопкой мыши имя папки результатов на панели Project Browser. В контекстном меню выберите Open Folder with File Manager.
Откройте файл журнала, Polyspace_R20<reservedrangesplaceholder0 >_ ProjectName_ date- time.log
Чтобы просмотреть ошибки, прокрутите файл журнала, начиная в конце и работая назад.
В следующем примере показаны выборки информации о файле журнала. Ошибка произошла из-за переменной var используемый в коде не определен ранее.
C:\missing_include.c, line 4: error: identifier "var" is undefined | var = func(); | ^ 1 error detected in the compilation of "missing_include.c". C:\missing_include.c: warning: Failed compilation. Global compilation phase...
File does not compile | Stop analysis if a file does not compile (-stop-if-compile-error)
