Versions Compared

Key

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

...

Tool

Version

Checker

Description

Compass/ROSE

 

 

 

GCC

Include Page
GCC_V
GCC_V

 

Can detect violations of this rule when the -Wcast-qual flag is used.

Compass/ROSE

 

 

 

LDRA tool suite

Include Page
LDRA_V
LDRA_V

344 S

Fully implemented.

PRQA QA-C
Include Page
PRQA_V
PRQA_V
0312Fully implemented.

...

CERT C++ Secure Coding StandardEXP32-CPP. Do not access a volatile object through a non-volatile reference
ISO/IEC TR 24772Pointer casting and pointer type changes [HFC] and
Type system [IHN]
MISRA-CRule 11.5 (required): A cast shall not be performed that removes any const or volatile qualification from the type addressed by a pointer

Bibliography

[ISO/IEC 9899:2011]Section 6.7.3, "Type Qualifiers," and Section 6.5.16.1, "Simple Assignment"