graph: { title: "g31" label: "WHILE_EXAMPLE_main" status:clustered color:white
graph: { title: "n20" label: "Block 20" status:clustered color:yellow
edge: {sourcename: "n20" targetname: "n67" label: "0" class:13 priority:60 color:red}
-node: {title: "n68" label: "End 68" info1: "End 68
+node: {title: "n68" label: "End 68" info1: "End 68
mode: X
visited: 18
irg: WHILE_EXAMPLE_main
graph: { title: "n53" label: "Block 53" status:clustered color:yellow
edge: {sourcename: "n53" targetname: "n42" label: "0" class:13 priority:60 color:red}
-node: {title: "n67" label: "Return 67" info1: "Return 67
+node: {title: "n67" label: "Return 67" info1: "Return 67
mode: X
visited: 18
irg: WHILE_EXAMPLE_main
}
edge: {sourcename: "n67" targetname: "n29" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n67" targetname: "n58" label: "1" class:1 priority:50}
-node: {title: "n58" label: "SubIs 58" info1: "Sub 58
+node: {title: "n58" label: "SubIs 58" info1: "Sub 58
mode: Is
visited: 18
irg: WHILE_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n43" targetname: "n41" label: "0" class:13 priority:60 color:red}
-node: {title: "n41" label: "Cond 41" info1: "Cond 41
+node: {title: "n41" label: "Cond 41" info1: "Cond 41
mode: T
visited: 18
irg: WHILE_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n40" targetname: "n39" label: "0" class:1 priority:50}
-node: {title: "n39" label: "Cmp 39" info1: "Cmp 39
+node: {title: "n39" label: "Cmp 39" info1: "Cmp 39
mode: T
visited: 18
irg: WHILE_EXAMPLE_main
}
edge: {sourcename: "n39" targetname: "n38" label: "0" class:16 priority:10}
edge: {sourcename: "n39" targetname: "n52" label: "1" class:1 priority:50}
-node: {title: "n52" label: "PhiIs 52" info1: "Phi 52
+node: {title: "n52" label: "PhiIs 52" info1: "Phi 52
mode: Is
visited: 18
irg: WHILE_EXAMPLE_main
color: green}
edge: {sourcename: "n52" targetname: "n34" label: "0" class:16 priority:10}
edge: {sourcename: "n52" targetname: "n51" label: "1" class:1 priority:50}
-node: {title: "n51" label: "PhiIs 51" info1: "Phi 51
+node: {title: "n51" label: "PhiIs 51" info1: "Phi 51
mode: Is
visited: 18
irg: WHILE_EXAMPLE_main
graph: { title: "n44" label: "Block 44" status:clustered color:yellow
edge: {sourcename: "n44" targetname: "n43" label: "0" class:13 priority:60 color:red}
-node: {title: "n45" label: "Jmp 45" info1: "Jmp 45
+node: {title: "n45" label: "Jmp 45" info1: "Jmp 45
mode: X
visited: 18
irg: WHILE_EXAMPLE_main
graph: { title: "n32" label: "Block 32" status:clustered color:yellow
edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
-node: {title: "n35" label: "Jmp 35" info1: "Jmp 35
+node: {title: "n35" label: "Jmp 35" info1: "Jmp 35
mode: X
visited: 18
irg: WHILE_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
-node: {title: "n38" label: "0x0Is 38" info1: "0x0 38
+node: {title: "n38" label: "0x0Is 38" info1: "0x0 38
mode: Is
visited: 18
irg: WHILE_EXAMPLE_main
Const of type type_unknown
"
color: yellow}
-node: {title: "n34" label: "0x1Is 34" info1: "0x1 34
+node: {title: "n34" label: "0x1Is 34" info1: "0x1 34
mode: Is
visited: 18
irg: WHILE_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n26" targetname: "n23" 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: 18
irg: WHILE_EXAMPLE_main