graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white
graph: { title: "n28" label: "Block 28" status:clustered color:yellow
edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
-node: {title: "n109" label: "End 109" info1: "End 109
+node: {title: "n109" label: "End 109" info1: "End 109
mode: X
visited: 19
irg: OO_PROGRAM_EXAMPLE_main
graph: { title: "n40" label: "Block 40" status:clustered color:yellow
edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red}
-node: {title: "n59" label: "Return 59" info1: "Return 59
+node: {title: "n59" label: "Return 59" info1: "Return 59
mode: X
visited: 19
irg: OO_PROGRAM_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n57" targetname: "n54" label: "0" class:1 priority:50}
-node: {title: "n54" label: "Call 54" info1: "Call 54
+node: {title: "n54" label: "Call 54" info1: "Call 54
mode: T
visited: 19
irg: OO_PROGRAM_EXAMPLE_main
resul 0 type: int
"
}
-node: {title: "n54n42" label: "0x5Is 42" info1: "0x5 42
+node: {title: "n54n42" label: "0x5Is 42" info1: "0x5 42
mode: Is
visited: 19
irg: OO_PROGRAM_EXAMPLE_main
1: Proj 48
Private Attributes:
Selecting entity of type c
- from entity of type PRIMA
+ from entity c (23)
+ of type PRIMA
"
}
edge: {sourcename: "n53" targetname: "n52" label: "0" class:14 priority:50 color:blue}
"
color: yellow}
edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
-node: {title: "n50" label: "Call 50" info1: "Call 50
+node: {title: "n50" label: "Call 50" info1: "Call 50
mode: T
visited: 19
irg: OO_PROGRAM_EXAMPLE_main
param 1 type: int
"
}
-node: {title: "n50n41" label: "0x2Is 41" info1: "0x2 41
+node: {title: "n50n41" label: "0x2Is 41" info1: "0x2 41
mode: Is
visited: 19
irg: OO_PROGRAM_EXAMPLE_main
1: Proj 48
Private Attributes:
Selecting entity of type set_a
- from entity of type PRIMA
+ from entity set_a (20)
+ of type PRIMA
"
}
edge: {sourcename: "n49" targetname: "n47" label: "0" class:14 priority:50 color:blue}
"
color: yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
-node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
+node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
mode: T
visited: 19
irg: OO_PROGRAM_EXAMPLE_main
allocating on: the heap
"
}
-node: {title: "n45n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43
+node: {title: "n45n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43
mode: Iu
visited: 19
irg: OO_PROGRAM_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
-node: {title: "n31" label: "Start 31" info1: "Start 31
+node: {title: "n31" label: "Start 31" info1: "Start 31
mode: T
visited: 19
irg: OO_PROGRAM_EXAMPLE_main