1 graph: { title: "ir graph of THREE_CFPRED_EXAMPLE_main"
2 display_edge_labels: yes
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
9 classname 13:"Control Flow"
11 classname 15:"Dominators"
12 classname 3: "Entity type"
13 classname 4: "Entity owner"
14 classname 5: "Method Param"
15 classname 6: "Method Res"
18 classname 9: "Points-to"
19 classname 10: "Array Element Type"
20 classname 11: "Overwrites"
21 classname 12: "Member"
23 node: {title: "n75" label: "Block n75" }
24 edge: { sourcename: "n75" targetname: "n77"}
25 node: {title: "n77" label: "Block n77" }
26 edge: { sourcename: "n77" targetname: "n101"}
27 edge: { sourcename: "n77" targetname: "n98"}
28 edge: { sourcename: "n77" targetname: "n79"}
29 node: {title: "n79" label: "Block n79" }
30 edge: { sourcename: "n79" targetname: "n81"}
31 node: {title: "n81" label: "Block n81" }
32 edge: { sourcename: "n81" targetname: "n83"}
33 node: {title: "n83" label: "Block n83" }
34 edge: { sourcename: "n83" targetname: "n85"}
35 node: {title: "n85" label: "Block n85" }
36 edge: { sourcename: "n85" targetname: "n85"}
37 node: {title: "n98" label: "Block n98" }
38 edge: { sourcename: "n98" targetname: "n81"}
39 node: {title: "n101" label: "Block n101" }
40 edge: { sourcename: "n101" targetname: "n83"}
41 node: {title: "n109" label: "Bad 109" info1: "visited: 0
42 irg: THREE_CFPRED_EXAMPLE_main