Synopsis

(Required) The body of an iteration-statement or a selection-statement shall be a compound-statement

Enabled by default

Yes

Severity/Certainty

Low/Low

Full description

A while statement shall have a body This check is identical to MISRAC++2008-6-3-1_d, MISRAC2004-14.8_d, MISRAC2012-Rule-15.6_e.

Coding standards

Code examples

The following code example fails the check and will give a warning:

int example(void) {
  while (1)
    return 0;
}

The following code example passes the check and will not give a warning about this issue:

int example(void) {
  while (1) {
    return 0;
  }
}