graph: { title: "g36" label: "ARRAY-HEAP_EXAMPLE_main" status:clustered color:white
graph: { title: "n25" label: "Block 25" status:clustered color:yellow
edge: {sourcename: "n25" targetname: "n50" label: "0" class:13 priority:60 color:red}
-node: {title: "n52" label: "End 52" info1: "End 52
+node: {title: "n52" label: "End 52" info1: "End 52
mode: X
visited: 11
irg: ARRAY-HEAP_EXAMPLE_main
graph: { title: "n37" label: "Block 37" status:clustered color:yellow
edge: {sourcename: "n37" targetname: "n31" label: "0" class:13 priority:60 color:red}
-node: {title: "n50" label: "Return 50" info1: "Return 50
+node: {title: "n50" label: "Return 50" info1: "Return 50
mode: X
visited: 11
irg: ARRAY-HEAP_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n49" targetname: "n46" label: "0" class:1 priority:50}
-node: {title: "n46" label: "Load[Is] 46" info1: "Load[Is] 46
+node: {title: "n46" label: "Load[Is] 46" info1: "Load[Is] 46
mode: T
visited: 11
irg: ARRAY-HEAP_EXAMPLE_main
2: 0x3 44
Private Attributes:
Selecting entity of type int
- from entity of type a
+ from entity a_elem_ent (21)
+ of type a
"
}
edge: {sourcename: "n45" targetname: "n42" label: "0" class:14 priority:50 color:blue}
"
color: yellow}
edge: {sourcename: "n43" targetname: "n40" label: "0" class:1 priority:50}
-node: {title: "n40" label: "Alloc 40" info1: "Alloc 40
+node: {title: "n40" label: "Alloc 40" info1: "Alloc 40
mode: T
visited: 11
irg: ARRAY-HEAP_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n34" targetname: "n28" label: "0" class:17 priority:10 color:blue}
-node: {title: "n38" label: "0x28Iu 38" info1: "0x28 38
+node: {title: "n38" label: "0x28Iu 38" info1: "0x28 38
mode: Iu
visited: 11
irg: ARRAY-HEAP_EXAMPLE_main
Const of type type_unknown
"
color: yellow}
-node: {title: "n44" label: "0x3Iu 44" info1: "0x3 44
+node: {title: "n44" label: "0x3Iu 44" info1: "0x3 44
mode: Iu
visited: 11
irg: ARRAY-HEAP_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n31" targetname: "n28" label: "0" class:13 priority:60 color:red}
-node: {title: "n28" label: "Start 28" info1: "Start 28
+node: {title: "n28" label: "Start 28" info1: "Start 28
mode: T
visited: 11
irg: ARRAY-HEAP_EXAMPLE_main