MISRA C:2023 Rule 21.4

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

Since R2024a

Description

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.

Troubleshooting

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

Check Information

Group: Standard Libraries

Category: Required

AGC Category: Required

Version History

Introduced in R2024a