MISRA C:2012 Rule 21.2

A reserved identifier or reserved macro name shall not be declared

Description

A reserved identifier or reserved macro name shall not be declared1 .

Rationale

The Standard allows implementations to treat reserved identifiers specially. If you reuse reserved identifiers, you can cause undefined behavior.

Polyspace Implementation

  • If you define a macro name that corresponds to a standard library macro, object, or function, rule 21.1 is violated.

  • The rule considers tentative definitions as definitions.

Reserved identifiers that Polyspace® report as violations include abort, error, function names like abs, atan, calloc, directives like elif, endif, special characters like EOF, and other language specific keywords.

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
PQL Name: std.misra_c_2012.R21_2

Version History

Introduced in R2014b

See Also

Topics

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

  • MISRA C:2004

  • MISRA C:2012

  • MISRA C:2023

  • MISRA C++:2008

  • MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.