Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

According to section subclause 6.2.7 of the C Standard [ISO/IEC 9899:2011],

...

(See also undefined behavior 15 of Annex J.)

Further, according to section 6subclause 6.4.2.1,

Any identifiers that differ in a significant character are different identifiers. If two identifiers differ only in nonsignificant characters, the behavior is undefined.

...

Tool

Version

Checker

Description

Compass/ROSE

 

 

Can detect some violations of this rule. However, it cannot flag violations involving universal names

LDRA tool suite

Include Page
LDRA_V
LDRA_V

17 D
355 S
61 X

Fully implemented

PRQA QA-C
Include Page
PRQA_V
PRQA_V

0777 (U)
0779 (U)

Partially implemented

...

Bibliography

[ISO/IEC 9899:2011]

Section Subclause 6.2.7, "Compatible Type and Composite Type"
Section Subclause 6.4.1, "Keywords"

 

...