Versions Compared

Key

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

...

Code Block
bgColor#FFcccc
if (a == b); { 
  /* ... */ 
} 

Compliant Solution

It is likely, in this example, that the semicolon was accidentally inserted.

Code Block
bgColor#ccccff
if (a == b) { 
  /* ... */ 
} 

Automated Detection

Klocwork can detect violations of this rule with the SEMICOL checker. See Klocwork Cross Reference

Bibliography

Wiki Markup
\[Hatton 95\] Section 2.7.2, "Errors of omission and addition" 
\[ISO/IEC PDTR 24772\] "KOA Likely Incorrect Expressions" 
\[MITRE 07\] CWE ID 480, "Use of Incorrect Operator"