C11 Language Elements Supported in Polyspace

C11 Language Elements Supported in Polyspace

This table provides a partial list of C language elements that have been introduced since C11 and the corresponding Polyspace^® support. If your code contains non-supported constructions, Polyspace reports a compilation error.

C11 Language Element	Supported
`alignas` and `alignof` convenience macros	Yes
`aligned_alloc` function	Yes
`noreturn` convenience macros	Yes
Generic selection	Yes
Thread support library (`threads.h`)	Yes
Atomic operations library (`stdatomic.h`)	Yes
Atomic types with `_Atomic`	Yes. If you use the Clang compiler, see limitations book for limitations on atomic data types. See Limitations of Polyspace Verification.
UTF-16 and UTF-32 character utilities	Yes
Bound-checking interfaces or alternative versions of standard library functions that check for buffer overflows (Annex K of C11) For instance, `strcpy_s` is an alternative to `strcpy` that checks for certain errors in the string copy.	No. Polyspace checks for certain run-time errors in use of standard library functions. The checking does not extend to these alternatives.
Anonymous structures and unions	Yes
Static assert declaration	Yes
Features related to error handling such as `errno_t` and `rsize_t` `typedef`-s	No. If you see compilation errors from use of these `typedef`-s, explicitly specify the path to your compiler headers. See Provide Standard Library Headers for Polyspace Analysis.
`quick_exit` and `at_quick_exit`	Yes. In Bug Finder, functions registered with `at_quick_exit` appear as uncalled.
`CMPLX`, `CMPLXF` and `CMPLXL` macros	Yes

See Also

C standard version (-c-version)

Related Topics

C/C++ Language Standard Used in Polyspace Analysis