1 graph: { title: "ir graph of ARRAY-HEAP_EXAMPLE_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 node: {title: "0x80a1f28" label: "ent a_elem_ent" color: yellow info1:"automatic allocated
16 edge: { sourcename: "0x80a1f28" targetname: "0x809f7c0" class: 3 label: "type" color: red}
17 node: {title: "0x80a1eb8" label: "array a"info1: "state: layout_undefined
20 edge: { sourcename: "0x80a1eb8" targetname: "0x809f7c0" class: 10 label: "arr elt tp" color:green}
21 edge: { sourcename: "0x80a1eb8" targetname: "0x80a1f28" class: 10 label: "arr ent" color: green}
22 node: {title: "0x809f7c0" label: "primitive int"info1: "state: layout_fixed,
26 node: {title: "0x809f850" label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow info1:"static allocated
33 edge: { sourcename: "0x809f850" targetname: "0x809f7e8" class: 3 label: "type" color: red}
34 edge: { sourcename: "0x809f850" targetname: "1" label: "value "}
35 node: {title: "1" label: "&(GlobalType_ARRAY-HEAP_EXAMPLE_main)P 1" color: yellow}
36 node: {title: "0x809d1e0" label: "class GlobalType"info1: "state: layout_undefined
39 edge: { sourcename: "0x809d1e0" targetname: "0x809f850" class: 12 label: "member" color:blue}
40 node: {title: "0x809f7e8" label: "method ARRAY-HEAP_EXAMPLE_main"info1: "state: layout_fixed,
44 edge: { sourcename: "0x809f7e8" targetname: "0x809f7c0" class: 6 label: "res 0" color: green}