Ошибки компиляции: Общие

Просмотр информации об ошибках при остановке анализа

Проверьте сообщения об ошибке в пользовательском интерфейсе или файле журнала, когда анализ не завершен.

Диагностируйте ошибки компиляции и связывания

Узнайте, почему Polyspace^® компиляция может завершиться неудачно, даже если ваша сборка компилятора преуспеет и как работать вокруг отказов.

• Неопределенная ошибка идентификатора
• Неизвестная ошибка прототипа функции
• Ошибка, связанная с директивой # error
• Ошибка большого объекта
• Ошибки от инициализации In-класса (C++)
• Ошибки из двойных объявлений функций библиотеки стандартных шаблонов (C++)

Ошибки компиляции: специфические для компилятора

Ошибки, связанные с универсальным компилятором

Диагностируйте ошибки компиляции Polyspace после того, как вы задаете универсальный компилятор.

Ошибки, связанные с компилятором Keil или IAR

Диагностируйте, почему Polyspace не может найти идентификатор, когда вы задаете компилятор Keil или IAR.

Ошибки, связанные с Компилятор

Диагностируйте ошибки компиляции Polyspace после того, как вы задаете компилятор Diab.

Ошибки, связанные с компилятором Green Hills

Диагностируйте ошибки компиляции Polyspace после того, как вы задаете компилятор Green Hills

Ошибки, связанные с компилятором TASKING

Диагностируйте ошибки компиляции Polyspace после указания компилятора TASKING.

Ошибки, связанные с компилятором GNU

Диагностируйте ошибки компиляции, связанные с GNU^® компилятор.

Ошибки, связанные с визуальными компиляторами

Диагностируйте ошибки компиляции, связанные с Visual^® компилятор

Ошибки связывания

Конфликтующие объявления в разных модулях перевода

Найдите образцы, где одна и та же переменная или функция объявлена по-разному в разных модулях.

Ошибки при конфликтах с файлами заголовков Polyspace

Узнайте, почему могут произойти ошибки связи, когда ваш компилятор переопределяет стандартные функции библиотеки и как работать вокруг причины.

Ошибки упругости библиотеки стандартных шаблонов C++

Диагностируйте ошибки, связанные с шаблонами классов из библиотеки стандартных шаблонов.

Ошибки упругости Lib C

Диагностируйте ошибки, связанные с объявлениями функций в extern "C" блоки.

Ошибки при использовании пространства имен std без префикса

Обойдите ошибки от использования представителей std пространство имен без явного определения std:: возможности

Ошибки из функций Assertion или выделения памяти

Узнайте, почему верификация отбрасывает ваше переопределение функций assertion или выделения памяти.

Другие ошибки

Ошибка или медленные запуски дефрагментации диска и антивирусного ПО

Диагностируйте ошибки, связанные с дефрагментацией диска и антивирусным ПО.

Ошибка лицензии -4,0

Разрешение ошибки лицензии -4,0 при выполнении анализа Polyspace.

Ошибки с временными файлами

Диагностируйте, почему при верификации не удается создать папку для временного хранения файлов.

Ввод-вывод SQLite

Устраните ошибку ввода-вывода SQLite при выполнении анализа Polyspace.

Техническая поддержка

Обратитесь в службу технической поддержки о проблемах с запущенным Polyspace

Узнать, что MathWorks^® Для диагностики проблемы необходима техническая поддержка.