...
assert | errno | math_errhandling | setjmp |
va_start | va_arg | va_copy | va_end |
These cases are recorded in Annex J, subclause J.2, items described by undefined behaviors 110, 114, 122, 124, and 138. Programmers should never attempt must not suppress these macros to access anything underlying any of these macrosthe underlying object or function.
Noncompliant Code Example (assert)
...
Accessing objects or functions underlying these macros does not produce defined behavior, which may lead to incorrect or unexpected program results in undefined behavior.
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
MSC38-C | Low | Unlikely | Medium | P2 | L3 |
...