Анализ Polyspace® придерживается определенного стандарта языка для компиляции кода. Стандарт языка, наряду с вашей спецификацией компилятора, задает элементы языка, которые можно использовать в коде. Например, если анализ Polyspace использует стандарт C99, функции C11, такие как использование вспомогательной библиотеки потока от threads.h
ошибки компиляции причин.
Анализ Polyspace поддерживает эти стандарты:
C: C90, C99, C11
Стандарт по умолчанию зависит от вашей спецификации компилятора. Если вы не задаете компилятор явным образом, анализ по умолчанию использует стандарт C99. Чтобы изменить стандарт языка, используйте опцию C standard version (-c-version)
.
C++: C++ 03, C++ 11, C++ 14
Стандарт по умолчанию зависит от вашей спецификации компилятора. Если вы не задаете компилятор явным образом, анализ по умолчанию использует C++ 03 стандарта. Чтобы изменить стандарт языка, используйте опцию C++ standard version (-cpp-version)
.
Стандарт языка по умолчанию зависит от вашей спецификации для опции Compiler (-compiler)
.
Компилятор | C стандарт | Стандарт C++ |
---|---|---|
generic | C99 | C++ 03 |
gnu3.4 , gnu4.6 , gnu4.7 , gnu4.8 , gnu4.9 | C99 | C++ 03 |
gnu5.x | C11 | C++ 03 |
gnu6.x | C11 | C++ 14 |
gnu7.x | C11 | C++ 14 |
gnu8.x | C11 | C++ 14 |
clang3.x | C99 | C++ 03 Анализ принимает некоторый C++ 11 расширений. |
clang4.x | C99 | C++ 03 Анализ принимает C++ 14 расширений. |
clang5.x | C99 | C++ 03 Анализ принимает C++ 14 расширений. |
visual9.0 , visual10.0 , visual11.0 , visual12.0 | C99 | C++ 03 |
visual14.0 | C99 | C++ 14 |
visual15.x | C99 | C++ 14 |
visual16.x | C99 | C++ 14 |
keil | C99 | C++ 03 |
iar | C99 | C++ 03 |
armcc | C99 | C++ 03 |
armclang | C11 | C++ 03 |
codewarrior | C99 | C++ 03 |
cosmic | C99 | Не поддерживаемый |
diab | C99 | C++ 03 |
greenhills | C99 | C++ 03 |
iar-ew | C99 | C++ 03 |
microchip | C99 | Не поддерживаемый |
renesas | C99 | C++ 03 |
tasking | C99 | C++ 03 |
ti | C99 | C++ 03 |
C standard version (-c-version)
| C++ standard version (-cpp-version)
| Compiler (-compiler)