Exponenta Banner
exponenta event banner

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

При выборе gnu для опции Compiler (-compiler), вы можете столкнуться с этой проблемой.

Проблема

Анализ Polyspace ® останавливается с ошибкой компиляции.

Причина

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

Решение

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

Если вы хотите использовать расширения и анализировать код, заключите неподдерживаемые расширения в директиву препроцессора. Например:

#ifdef POLYSPACE
    // Supported syntax
#else
    // Unsupported syntax
#endif
Для регулярной компиляции не определяйте макрос POLYSPACE. Для анализа в пространстве введите POLYSPACE для опции Preprocessor definitions (-D).

Если ошибка компиляции связана с кодом языка сборки, используйте опцию -asm-begin -asm-end.

Документация для поиска ошибок Polyspace

Поддержка