| Number | Description |
|---|
| Directive 4.3 | Assembly language shall be encapsulated and isolated. |
| Rule 6.2 | Single-bit named bit fields shall not be of a signed type. |
| Rule 7.1 | Octal constants shall not be used. |
| Rule 7.2 | A "u" or "U" suffix shall be applied to all integer constants that are represented in an unsigned type. |
| Rule 7.3 | The lowercase character "l" shall not be used in a literal suffix. |
| Rule 7.4 | A string literal shall not be assigned to an object unless the object's type is "pointer to const-qualified char". |
| Rule 8.10 | An inline function shall be declared with the static storage class. |
| Rule 8.11 | When an array with external linkage is declared, its size should be explicitly specified. |
| Rule 8.12 | Within an enumerator list, the value of an implicitly-specified enumeration constant shall be unique. |
| Rule 8.14 | The restrict type qualifier shall not be used. |
| Rule 9.3 | Arrays shall not be partially initialized. |
| Rule 9.5 | Where designated initializers are used to initialize an array object the size of the array shall be specified explicitly. |
| Rule 10.2 | Expressions of essentially character type shall not be used inappropriately in addition and subtraction operations. |
| Rule 11.2 | Conversions shall not be performed between a pointer to an incomplete type and any other type. |
| Rule 11.3 | A cast shall not be performed between a pointer to object type and a pointer to a different object type. |
| Rule 11.5 | A conversion should not be performed from a pointer to void into pointer to object. |
| Rule 11.9 | The macro NULL shall be the only permitted form of integer null pointer constant. |
| Rule 12.2 | The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand. |
| Rule 12.3 | The comma operator should not be used. |
| Rule 12.5 | The sizeof operator shall not have an operand which is a function parameter declared as "array of type". |
| Rule 13.1 | Initializer lists shall not contain persistent side effects. |
| Rule 13.3 | A full expression containing an increment (++) or decrement (–) operator should have no other potential side effects other than that caused by the increment or decrement operator. |
| Rule 13.4 | The result of an assignment operator should not be used. |
| Rule 15.1 | The goto statement should not be used. |
| Rule 15.2 | The goto statement shall jump to a label declared later in the same function. |
| Rule 15.7 | All if ... else if constructs shall be terminated with an else statement. |
| Rule 16.4 | Every switch statement shall have a default label. |
| Rule 16.5 | A default label shall appear as either the first or the last switch label of a switch statement. |
| Rule 16.6 | Every switch statement shall have at least two switch-clauses. |
| Rule 17.5 | The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements. |
| Rule 17.6 | The declaration of an array parameter shall not contain the static keyword between the []. |
| Rule 17.7 | The value returned by a function having non-void return type shall be used. |
| Rule 18.4 | The +, -, += and -= operators should not be applied to an expression of pointer type. |
| Rule 18.5 | Declarations should contain no more than two levels of pointer nesting. |
| Rule 18.7 | Flexible array members shall not be declared. |
| Rule 18.8 | Variable-length array types shall not be used. |
| Rule 19.2 | The union keyword should not be used. |
