1 graph: { title: "ir graph of GLOBAL_VAR_main"
2 display_edge_labels: yes
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
9 classname 3: "Entity type"classname 4: "Entity owner"classname 5: "Method Param"classname 6: "Method Res"classname 7: "Super"classname 8: "Union"classname 9: "Points-to"classname 10: "Array Element Type"classname 11: "Overwrites"classname 12: "Member"
10 graph: { title: "n38" label: "38" status:clustered color:yellow
11 edge: {sourcename: "n38 " targetname: "n39" label: "0" color: red}
12 node: {title: "n37" label: "End 37" color: blue info1: "visited: 7
16 graph: { title: "n40" label: "40" status:clustered color:yellow
17 edge: {sourcename: "n40 " targetname: "n41" label: "0" color: red}
18 node: {title: "n39" label: "Return 39" info1: "visited: 8
20 edge: {sourcename: "n39 " targetname: "n44" label: "0" color: blue}
21 node: {title: "n44" label: "ProjM 0 44" color: yellow info1: "visited: 8
23 edge: {sourcename: "n44 " targetname: "n45" label: "0" color: blue}
24 node: {title: "n45" label: "Store 45" info1: "visited: 8
26 edge: {sourcename: "n45 " targetname: "n49" label: "0" color: blue}
27 edge: {sourcename: "n45 " targetname: "n47" label: "1" }
28 edge: {sourcename: "n45 " targetname: "n46" label: "2" }
29 node: {title: "n47" label: "Sel i 47" info1: "visited: 8
31 edge: {sourcename: "n47 " targetname: "n49" label: "0" color: blue}
32 edge: {sourcename: "n47 " targetname: "n48" label: "1" }
35 graph: { title: "n42" label: "42" status:clustered color:yellow
36 edge: {sourcename: "n42 " targetname: "n41" label: "0" color: red}
37 node: {title: "n41" label: "ProjX 0 41" color: yellow info1: "visited: 9
39 edge: {sourcename: "n41 " targetname: "n43" label: "0" color: red}
40 node: {title: "n43" label: "Start 43" color: blue info1: "visited: 9
42 node: {title: "n46" label: "0x2Is 46" color: yellow info1: "visited: 9
44 node: {title: "n48" label: "ProjP 3 48" color: yellow info1: "visited: 9
46 edge: {sourcename: "n48 " targetname: "n43" label: "0" }
47 node: {title: "n49" label: "ProjM 1 49" color: yellow info1: "visited: 9
49 edge: {sourcename: "n49 " targetname: "n43" label: "0" color: blue}
52 node: {title: "n52" label: "Bad 52" info1: "visited: 0