CFG while Loop

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

Example

while (w > 0)
   w = w-5;
...  
diagram: CFG for example code

Browse