CFG: if Statement

The CFG for an if statement has two out-edges: one for the consequent statements and one for the alternate statements. These are labeled True and False respectively.

Example

if (x < 0)
    i = 1;
else
    i = 2;
...
diagram: CFG for example code

Browse