graph: { title: "g37" label: "ARRAY-STACK_EXAMPLE_main" status:clustered color:white
graph: { title: "n26" label: "Block 26" status:clustered color:yellow
edge: {sourcename: "n26" targetname: "n48" label: "0" class:13 priority:60 color:red}
-node: {title: "n50" label: "End 50" info1: "End 50
+node: {title: "n50" label: "End 50" info1: "End 50
mode: X
visited: 13
irg: ARRAY-STACK_EXAMPLE_main
graph: { title: "n38" label: "Block 38" status:clustered color:yellow
edge: {sourcename: "n38" targetname: "n32" label: "0" class:13 priority:60 color:red}
-node: {title: "n48" label: "Return 48" info1: "Return 48
+node: {title: "n48" label: "Return 48" info1: "Return 48
mode: X
visited: 13
irg: ARRAY-STACK_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n47" targetname: "n44" label: "0" class:1 priority:50}
-node: {title: "n44" label: "Load[Is] 44" info1: "Load[Is] 44
+node: {title: "n44" label: "Load[Is] 44" info1: "Load[Is] 44
mode: T
visited: 13
irg: ARRAY-STACK_EXAMPLE_main
2: 0x3 42
Private Attributes:
Selecting entity of type int
- from entity of type a_tp
+ from entity a_tp_elem_ent (22)
+ of type a_tp
"
}
edge: {sourcename: "n43" targetname: "n35" label: "0" class:17 priority:10 color:blue}
1: Proj 33
Private Attributes:
Selecting entity of type a_tp
- from entity of type mainframe_tp
+ from entity a (39)
+ of type mainframe_tp
"
}
edge: {sourcename: "n41" targetname: "n35" label: "0" class:17 priority:10 color:blue}
"
color: yellow}
edge: {sourcename: "n33" targetname: "n29" label: "0" class:1 priority:50}
-node: {title: "n42" label: "0x3Iu 42" info1: "0x3 42
+node: {title: "n42" label: "0x3Iu 42" info1: "0x3 42
mode: Iu
visited: 13
irg: ARRAY-STACK_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n32" targetname: "n29" label: "0" class:13 priority:60 color:red}
-node: {title: "n29" label: "Start 29" info1: "Start 29
+node: {title: "n29" label: "Start 29" info1: "Start 29
mode: T
visited: 13
irg: ARRAY-STACK_EXAMPLE_main
edge: { sourcename: "t19" targetname: "e22"class: 10 label: "arr ent" color: green}
edge: { sourcename: "n23" targetname: "t19"label: "upper 0"}
edge: { sourcename: "n24" targetname: "t19"label: "lower 0"}
-node: {title: "n23" label: "0x9Iu 23" info1: "0x9 23
+node: {title: "n23" label: "0x9Iu 23" info1: "0x9 23
mode: Iu
visited: 2
arity: 0
pred nodes:
- -1: Block 1
+ -1: Block 3
Private Attributes:
Const of type type_unknown
"
color: yellow}
-node: {title: "n24" label: "0x0Iu 24" info1: "0x0 24
+node: {title: "n24" label: "0x0Iu 24" info1: "0x0 24
mode: Iu
visited: 2
arity: 0
pred nodes:
- -1: Block 1
+ -1: Block 3
Private Attributes:
Const of type type_unknown
"
}
edge: { sourcename: "e18" targetname: "t16"class: 3 label: "type" color: red}
edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
-node: {title: "n17" label: "SymC &main 17" info1: "SymC &main 17
+node: {title: "n17" label: "SymC &main 17" info1: "SymC &main 17
mode: P
visited: 2
arity: 0
pred nodes:
- -1: Block 1
+ -1: Block 3
Private Attributes:
kind: addr_ent
entity: entity ARRAY-STACK_EXAMPLE.main (18)