3 C control structures

This section introduces simple transformations that turn regular C code into C code that has no control structures except for “conditional goto” constructs.

 3.1 Condition statements
 3.2 Pre-checking loop
 3.3 Post-checking loop