42 lines
1.3 KiB
Plaintext
42 lines
1.3 KiB
Plaintext
digraph CFG {
|
|
node [fontname="Helvetica"];
|
|
n774 [label="START", shape=ellipse, style=filled, color=gray];
|
|
n774 -> n793;
|
|
n793 [label="1", shape=box];
|
|
n793 -> n794;
|
|
n794 [label="2", shape=box];
|
|
n794 -> n795;
|
|
n795 [label="CALL f", shape=box, style=filled, color=orange];
|
|
n795 -> n776;
|
|
n795 -> n797;
|
|
n776 [label="START f(x, y)", shape=ellipse, style=filled, color=green];
|
|
n776 -> n786;
|
|
n786 [label="5", shape=box];
|
|
n786 -> n787;
|
|
n787 [label="CALL g", shape=box, style=filled, color=orange];
|
|
n787 -> n779;
|
|
n787 -> n789;
|
|
n779 [label="START g(x)", shape=ellipse, style=filled, color=green];
|
|
n779 -> n782;
|
|
n782 [label="x", shape=box];
|
|
n782 -> n783;
|
|
n783 [label="7", shape=box];
|
|
n783 -> n784;
|
|
n784 [label="x + 7", shape=box];
|
|
n784 -> n785;
|
|
n785 [label="y = (x + 7)", shape=box];
|
|
n785 -> n780;
|
|
n780 [label="END g(x)", shape=ellipse, style=filled, color=green];
|
|
n780 -> n789;
|
|
n789 [label="RET g", shape=box, style=filled, color=orange];
|
|
n789 -> n790;
|
|
n790 [label="x = g(5)", shape=box];
|
|
n790 -> n792;
|
|
n792 [label="y", shape=box];
|
|
n792 -> n777;
|
|
n777 [label="END f(x, y)", shape=ellipse, style=filled, color=green];
|
|
n777 -> n797;
|
|
n797 [label="RET f", shape=box, style=filled, color=orange];
|
|
n797 -> n775;
|
|
n775 [label="END", shape=ellipse, style=filled, color=gray];
|
|
} |