AUTOSAR C++14 Rule M6-3-1

Rule Definition

The statement forming the body of a switch, while, do ... while or for statement shall be a compound statement.

Rationale

A compound statement is included in braces.

If a block of code associated with an iteration or selection statement is not contained in braces, you can make mistakes about the association. For example:

This checker enforces the practice of adding braces following a selection or iteration statement even for a single line in the body. Later, when more lines are added, the developer adding them does not need to note the absence of braces and include them.

Polyspace Implementation

The checker flags for loops where the first token following a for statement is not a left brace, for instance:

for (i=init_val; i > 0; i--)
   if (arr[i] < 0)
      arr[i] = 0;

The second line of the message on the Result Details pane indicates which statement is violating the rule. For instance, in the preceding example, the second line of the message states that the for loop is violating the rule.

Troubleshooting

If you expect a rule violation but Polyspace^® does not report it, see Diagnose Why Coding Standard Violations Do Not Appear as Expected.