Checker | Guideline |
|---|
| DCL31-C. Declare identifiers before using them | DCL36-C. Do not declare an identifier with conflicting linkage classifications | EXP30-C. Do not depend on the order of evaluation for side effects | |
| -Wchar-subscripts | STR34-C. Cast characters to unsigned char before converting to larger integer sizes |
| -Wunused-parameter | MSC12-C. Detect and remove code that has no effect or is never executed |
| -Wunused-value | MSC12-C. Detect and remove code that has no effect or is never executed |
| Can detect some violations of this recommendation when the -Wswitch and -Wswitch-default flags are used | MSC01-C. Strive for logical completeness |
| Can detect some violations of this rule when the -Wcast-align flag is used | EXP32-C. Do not access a volatile object through a nonvolatile reference | EXP33-C. Do not read uninitialized memory | EXP36-C. Do not cast pointers into more strictly aligned pointer types |
| Can detect some violations of this rule when the -Wuninitialized flag is used | EXP33-C. Do not read uninitialized memory |
| Can detect violation of this recommendation when the -Wstrict-prototypes flag is used | DCL07-C. Include the appropriate type information in function declarators |
| Can detect violation of this recommendation when the -Wtrigraphs flag is used | PRE07-C. Avoid using repeated question marks |
| Can detect violation of this rule when the -Wstrict-prototypes flag is used. However, it cannot detect violations involving variadic functions, such as the open() example described earlier | EXP37-C. Call functions with the correct number and type of arguments |
| Can detect violations of this recommendation when the -Wall flag is used | EXP45-C. Do not perform assignments in selection statements |
| Can detect violations of this recommendation when the -Wall flag is used | EXP16-C. Do not compare function pointers to constant values |
| Can detect violations of this recommendation when the -Wcast-qual flag is used | FIO30-C. Exclude user input from format strings | FIO47-C. Use valid format strings | DCL07-C. Include the appropriate type information in function declarators | DCL11-C. Understand the type issues associated with variadic functions | EXP05-C. Do not cast away a const qualification |
| Can detect violations of this recommendation when the -Wformat flag is used | FIO47-C. Use valid format strings |
| Can detect violations of this recommendation when the -Wunreachable-code flag is used | MSC07EXP13-C. Treat relational and equality operators as if they were nonassociativeDetect and remove dead code |
| Can detect violations of this rule when the -Wcast-qual flag is used | EXP32EXP16-C. Do not compare function pointers to constant valuesMSC01-C. Strive for logical completenessaccess a volatile object through a nonvolatile reference |
| Can detect violations of this rule when the -Wcomment flag is used | MSC04-C. Use comments consistently and in a readable fashion | MSC07-C. Detect and remove dead code | PRE07-C. Avoid using repeated question marks |
| -Wchar-subscripts | STR34-C. Cast characters to unsigned char before converting to larger integer sizes |
| -Wunused-parameter | MSC12-C. Detect and remove code that has no effect or is never executed |
|
| Can detect violations of this rule when the -Wformat-security flag is used | FIO30-C. Exclude user input from format strings |
| Can detect violations of this rule when the -Wimplicit and -Wreturn-type flags are used | DCL31-C. Declare identifiers before using them |
| Can detect violations of this rule when the -Wsequence-point flag is used | EXP30-C. Do not depend on the order of evaluation for side effects |
| Option -Wparentheses warns if a comparison like x<=y<=z appears; this warning is also enabled by -Wall | EXP13-C. Treat relational and equality operators as if they were nonassociative |
| Warns about inconsistently typed arguments to formatted output functions when the -Wall is used | DCL11-C. Understand the type issues associated with variadic functions | -Wunused-value | MSC12-C. Detect and remove code that has no effect or is never executed |
