Keywords: xcoral

Next: Function definitions and calls Up: Errors statically detected Previous: Errors statically detected

## Control structures

- for (..; void; ..) .. if the for end test form is not empty and returns no value.
- for without test and body, I think it too dangerous !
- if (void) .. when the if test form returns no value.
- (void) ? .. : .. if the test form returns no value.
- while (void) .. when the while test form returns no value.
- do .. while(void) when the do while test form returns no value.
- more than one default: in switch
- duplicate case <case_entry>
- case <case_entry> out of switch

  `{ case 1: ; } /* case 1 out of switch */`

- illegal break or illegal continue when you use a break or a continue out of a loop or a switch.

  `{ continue; }`

- return at top level signals a return out of a function.

  `{ return; }`