CFG: do-while Loop

The CFG for an example do-while loop is shown below. The False edge leads to the first statement after the while statement.

Example

do {
    i = i + i;
} while (i < x); 
...
diagram: CFG for example code

Browse