MISRA C:2012 Rule 21.4

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

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.

Additional Message in Report

• The macro '<name> shall not be used.

• Identifier XX should not be used.

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 R2014b