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

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

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

• Неопределенная ошибка идентификатора
• Неизвестная ошибка прототипа функции
• Ошибка, связанная с директивой # error
• Ошибка большого объекта

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

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

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

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

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

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

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

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

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

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

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

Компиляция (только на C++)

Ошибки от инициализации In-класса (C++)

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

Ошибки из двойных объявлений функций библиотеки стандартных шаблонов (C++)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ввод-вывод SQLite

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

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

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

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