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

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

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

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

Изучите, почему компиляция 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".

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

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

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

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

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

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

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

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

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

Ошибка от специальных символов

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

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

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

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

Контакт с технической поддержкой

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