Main Content

ISO/IEC TS 17961 [resident]

Using identifiers that are reserved for the implementation

expand all in page

Description

Rule Definition

Using identifiers that are reserved for the implementation.1

Polyspace Implementation

This checker checks for Declaration of reserved identifiers or macro names.

Examples

expand all

Issue

The issue occurs when a reserved identifier or macro name is declared.

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.

Risk

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

Check Information

Decidability: Decidable

Version History

Introduced in R2019a

See Also

Topics

1 Extracts from the standard "ISO/IEC TS 17961 Technical Specification - 2013-11-15" are reproduced with the agreement of AFNOR. Only the original and complete text of the standard, as published by AFNOR Editions - accessible via the website www.boutique.afnor.org - has normative value.