1 graph: { title: "ir graph of IRREGULAR_CF_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: "n63" label: "Block n63" }
24 edge: { sourcename: "n63" targetname: "n65"}
25 node: {title: "n65" label: "Block n65" }
26 edge: { sourcename: "n65" targetname: "n88"}
27 edge: { sourcename: "n65" targetname: "n67"}
28 node: {title: "n67" label: "Block n67" }
29 edge: { sourcename: "n67" targetname: "n81"}
30 edge: { sourcename: "n67" targetname: "n69"}
31 node: {title: "n69" label: "Block n69" }
32 edge: { sourcename: "n69" targetname: "n71"}
33 node: {title: "n71" label: "Block n71" }
34 edge: { sourcename: "n71" targetname: "n73"}
35 node: {title: "n73" label: "Block n73" }
36 edge: { sourcename: "n73" targetname: "n73"}
37 node: {title: "n81" label: "Block n81" }
38 edge: { sourcename: "n81" targetname: "n71"}
39 node: {title: "n88" label: "Block n88" }
40 edge: { sourcename: "n88" targetname: "n81"}
41 node: {title: "n94" label: "Bad 94" info1: "visited: 0
42 irg: IRREGULAR_CF_main