MISRA C:2012 Rule 21.4

Rule Definition

The standard header file <setjmp.h> shall not be used.

Rationale

Using setjmp and longjmp, you can bypass normal function call mechanisms and cause undefined behavior.

Polyspace Implementation

If the longjmp function is a macro and the macro is expanded in the code, this rule is violated. It is assumed that rule 21.2 is not violated.

Additional Message in Report

Troubleshooting

If you expect a rule violation but do not see it, refer to Diagnose Why Coding Standard Violations Do Not Appear as Expected.