colorentry 124: 255 240 240
colorentry 125: 255 250 250
-node: {title: "n22" label: "Block 22" info1: "Block 22
+node: {title: "n22" label: "Block 22" info1: "Block 22
mode: BB
visited: 11
irg: GLOBAL_VAR_main
"
color: lightyellow}
edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
-node: {title: "n23" label: "Start 23" info1: "Start 23
+node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
visited: 11
irg: GLOBAL_VAR_main
color: yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n26" targetname: "n22" class:2 priority:50 linestyle:dotted}
-node: {title: "n32" label: "Block 32" info1: "Block 32
+node: {title: "n32" label: "Block 32" info1: "Block 32
mode: BB
visited: 11
irg: GLOBAL_VAR_main
"
color: lightyellow}
edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
-node: {title: "n35" label: "0x2Is 35" info1: "0x2 35
+node: {title: "n35" label: "0x2Is 35" info1: "0x2 35
mode: Is
visited: 11
irg: GLOBAL_VAR_main
1: Proj 28
Private Attributes:
Selecting entity of type int
- from entity of type GlobalType
+ from entity i (18)
+ of type GlobalType
"
}
edge: {sourcename: "n34" targetname: "n29" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n34" targetname: "n28" label: "1" class:16 priority:10}
edge: { sourcename: "n34" targetname: "n32" class:2 priority:50 linestyle:dotted}
-node: {title: "n36" label: "Store 36" info1: "Store 36
+node: {title: "n36" label: "Store 36" info1: "Store 36
mode: T
visited: 11
irg: GLOBAL_VAR_main
color: yellow}
edge: {sourcename: "n38" targetname: "n36" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n38" targetname: "n32" class:2 priority:50 linestyle:dotted}
-node: {title: "n39" label: "Return 39" info1: "Return 39
+node: {title: "n39" label: "Return 39" info1: "Return 39
mode: X
visited: 11
irg: GLOBAL_VAR_main
}
edge: {sourcename: "n39" targetname: "n38" label: "0" class:14 priority:50 color:blue}
edge: { sourcename: "n39" targetname: "n32" class:2 priority:50 linestyle:dotted}
-node: {title: "n20" label: "Block 20" info1: "Block 20
+node: {title: "n20" label: "Block 20" info1: "Block 20
mode: BB
visited: 11
irg: GLOBAL_VAR_main
"
color: lightyellow}
edge: {sourcename: "n20" targetname: "n39" label: "0" class:13 priority:60 color:red}
-node: {title: "n41" label: "End 41" info1: "End 41
+node: {title: "n41" label: "End 41" info1: "End 41
mode: X
visited: 11
irg: GLOBAL_VAR_main
}
edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
-node: {title: "n16" label: "SymC &GLOBAL_VAR_main 16" info1: "SymC &GLOBAL_VAR_main 16
+node: {title: "n16" label: "SymC &GLOBAL_VAR_main 16" info1: "SymC &GLOBAL_VAR_main 16
mode: P
visited: 1
arity: 0