Анализ 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 |
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 |
iar | C99 | C++ 03 |
armcc | C99 | C++ 03 |
armclang | C11 | C++ 03 |
keil | C99 | C++ 03 |
diab | C99 | C++ 03 |
tasking | C99 | C++ 03 |
greenhills | C99 | C++ 03 |
codewarrior | C99 | C++ 03 |
ti | C99 | C++ 03 |
iar-ew | C99 | C++ 03 |
renesas | C99 | C++ 03 |
C standard version (-c-version) | C++ standard version (-cpp-version) | Compiler (-compiler)
