This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly.

Version number:

Checker

Guideline

ElseIfWithoutElseMSC01-C. Strive for logical completeness
IncAndDecMixedWithOtherOperatorsEXP30-C. Do not depend on the order of evaluation for side effects
NonEmptyCaseWithoutBreakMSC17-C. Finish every set of statements associated with a case label with a break statement
S1116MSC12-C. Detect and remove code that has no effect or is never executed
S1656MSC12-C. Detect and remove code that has no effect or is never executed
S1751MSC07-C. Detect and remove dead code
S1751MSC12-C. Detect and remove code that has no effect or is never executed
S1762MSC00-C. Compile cleanly at high warning levels
S1763MSC07-C. Detect and remove dead code
S1763MSC12-C. Detect and remove code that has no effect or is never executed
S1764MSC12-C. Detect and remove code that has no effect or is never executed
S1836EXP43-C. Avoid undefined behavior when using restrict-qualified pointers
S1862MSC12-C. Detect and remove code that has no effect or is never executed
S935MSC37-C. Ensure that control never reaches the end of a non-void function
S973MSC00-C. Compile cleanly at high warning levels
SwitchWithoutDefaultMSC01-C. Strive for logical completeness
TrigraphUsagePRE07-C. Avoid using repeated question marks