Files
2026-01-23 13:01:50 +01:00

51 lines
1.7 KiB
Plaintext

digraph CFG {
node [fontname="Helvetica"];
n1082 [label="START", shape=ellipse, style=filled, color=gray];
n1082 -> n1108;
n1108 [label="4", shape=box];
n1108 -> n1109;
n1109 [label="10", shape=box];
n1109 -> n1110;
n1110 [label="CALL wrapper", shape=box, style=filled, color=orange];
n1110 -> n1084;
n1110 -> n1112;
n1084 [label="START wrapper(number, threshold)", shape=ellipse, style=filled, color=green];
n1084 -> n1103;
n1103 [label="number", shape=box];
n1103 -> n1104;
n1104 [label="CALL square", shape=box, style=filled, color=orange];
n1104 -> n1087;
n1104 -> n1106;
n1087 [label="START square(x)", shape=ellipse, style=filled, color=green];
n1087 -> n1090;
n1090 [label="x", shape=box];
n1090 -> n1091;
n1091 [label="x", shape=box];
n1091 -> n1092;
n1092 [label="x * x", shape=box];
n1092 -> n1093;
n1093 [label="threshold", shape=box];
n1093 -> n1094;
n1094 [label="(x * x) > threshold", shape=box];
n1094 -> n1095;
n1095 [label="<?>", shape=diamond];
n1095 -> n1099 [label="T"];
n1095 -> n1100 [label="F"];
n1099 [label="x", shape=box];
n1099 -> n1088;
n1088 [label="END square(x)", shape=ellipse, style=filled, color=green];
n1088 -> n1106;
n1106 [label="RET square", shape=box, style=filled, color=orange];
n1106 -> n1085;
n1085 [label="END wrapper(number, threshold)", shape=ellipse, style=filled, color=green];
n1085 -> n1112;
n1112 [label="RET wrapper", shape=box, style=filled, color=orange];
n1112 -> n1083;
n1083 [label="END", shape=ellipse, style=filled, color=gray];
n1100 [label="x", shape=box];
n1100 -> n1101;
n1101 [label="x", shape=box];
n1101 -> n1102;
n1102 [label="x * x", shape=box];
n1102 -> n1088;
}