Checker | Guideline |
|---|
| ElseIfWithoutElse | MSC01-C. Strive for logical completeness |
| IncAndDecMixedWithOtherOperators | EXP30-C. Do not depend on the order of evaluation for side effects |
| NonEmptyCaseWithoutBreak | MSC17-C. Finish every set of statements associated with a case label with a break statement |
| S1116 | MSC12-C. Detect and remove code that has no effect or is never executed |
| S1656 | MSC12-C. Detect and remove code that has no effect or is never executed |
| S1751 | MSC07-C. Detect and remove dead code | S1751 | MSC12-C. Detect and remove code that has no effect or is never executed |
| S1762 | MSC00-C. Compile cleanly at high warning levels | S1763 | MSC07-C. Detect and remove dead code |
| S1763 | MSC12-C. Detect and remove code that has no effect or is never executed |
| S1764 | MSC12-C. Detect and remove code that has no effect or is never executed |
| S1836 | EXP43-C. Avoid undefined behavior when using restrict-qualified pointers |
| S1862 | MSC12-C. Detect and remove code that has no effect or is never executed | S929 | DCL20-C. Explicitly specify void when a function accepts no arguments |
| S935 | MSC37-C. Ensure that control never reaches the end of a non-void function |
| S973 | MSC00-C. Compile cleanly at high warning levels |
| SwitchWithoutDefault | MSC01-C. Strive for logical completeness |
| TrigraphUsage | PRE07-C. Avoid using repeated question marks |
