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

Просмотрите информацию об ошибке, когда анализ остановится

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

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

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

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

Ошибки компиляции: конкретный компилятор

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

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

Ошибки, связанные с Keil или IAR Compiler

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

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

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

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

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

Ошибки, связанные с ОПРЕДЕЛЕНИЕМ ЗАДАЧУ для компилятора

Диагностируйте ошибки компиляции Polyspace после того, как вы зададите ОПРЕДЕЛЯЮЩИЙ ЗАДАЧУ компилятор.

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

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

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

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

Соединение ошибок

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

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

Ошибки от конфликтов с заголовочными файлами Polyspace

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

Стандартная библиотека шаблонов C++, блокирующая ошибки

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

Lib C, блокирующий ошибки

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

Ошибки от Использования станд. Пространства имен Без Префикса

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

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

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

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

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

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

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

Разрешите Ошибку лицензии-4,0 когда рабочий анализ Polyspace.

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

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

Ошибка ввода-вывода SQLite

Разрешите Ошибку ввода-вывода SQLite когда рабочий анализ Polyspace.

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

Свяжитесь с технической поддержкой о проблемах с рабочим Polyspace

Изучите то, что MathWorks^® Technical Support должен от вас диагностировать проблему.