colorentry 124: 255 240 240
colorentry 125: 255 250 250
-node: {title: "n30" label: "Block 30" info1: "Block 30
+node: {title: "n30" label: "Block 30" info1: "Block 30
mode: BB
visited: 18
irg: OO_PROGRAM_EXAMPLE_main
"
color: lightyellow}
edge: {sourcename: "n30" targetname: "n34" 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: 18
irg: OO_PROGRAM_EXAMPLE_main
color: yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n34" targetname: "n30" class:2 priority:50 linestyle:dotted}
-node: {title: "n40" label: "Block 40" info1: "Block 40
+node: {title: "n40" label: "Block 40" info1: "Block 40
mode: BB
visited: 18
irg: OO_PROGRAM_EXAMPLE_main
color: yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n37" targetname: "n30" class:2 priority:50 linestyle:dotted}
-node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
+node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
mode: T
visited: 18
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: 18
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}
edge: {sourcename: "n49" targetname: "n48" label: "1" class:1 priority:50}
edge: { sourcename: "n49" targetname: "n40" class:2 priority:50 linestyle:dotted}
-node: {title: "n50" label: "Call 50" info1: "Call 50
+node: {title: "n50" label: "Call 50" info1: "Call 50
mode: T
visited: 18
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: 18
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}
edge: {sourcename: "n53" targetname: "n48" label: "1" class:1 priority:50}
edge: { sourcename: "n53" targetname: "n40" class:2 priority:50 linestyle:dotted}
-node: {title: "n54" label: "Call 54" info1: "Call 54
+node: {title: "n54" label: "Call 54" info1: "Call 54
mode: T
visited: 18
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: 18
irg: OO_PROGRAM_EXAMPLE_main
color: yellow}
edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n56" targetname: "n40" class:2 priority:50 linestyle:dotted}
-node: {title: "n59" label: "Return 59" info1: "Return 59
+node: {title: "n59" label: "Return 59" info1: "Return 59
mode: X
visited: 18
irg: OO_PROGRAM_EXAMPLE_main
edge: {sourcename: "n59" targetname: "n56" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n59" targetname: "n58" label: "1" class:1 priority:50}
edge: { sourcename: "n59" targetname: "n40" class:2 priority:50 linestyle:dotted}
-node: {title: "n28" label: "Block 28" info1: "Block 28
+node: {title: "n28" label: "Block 28" info1: "Block 28
mode: BB
visited: 18
irg: OO_PROGRAM_EXAMPLE_main
"
color: lightyellow}
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: 18
irg: OO_PROGRAM_EXAMPLE_main