classname 12: "Member"
infoname 1: "Attribute"
infoname 2: "Verification errors"
+infoname 3: "Debug info"
colorentry 100: 0 0 0
colorentry 101: 20 0 0
colorentry 102: 40 0 0
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: "n50" label: "ProjX 1 50" info1: "Proj 50
+node: {title: "n50" label: "ProjX true 50" info1: "Proj 50
mode: X
visited: 12
irg: COND_EXAMPLE_main
-1: Block 32
0: Cond 48
Private Attributes:
+ proj nr: 1
"
color: yellow}
edge: {sourcename: "n50" targetname: "n48" label: "0" class:13 priority:60 color:red}
-node: {title: "n49" label: "ProjX 0 49" info1: "Proj 49
+node: {title: "n49" label: "ProjX false 49" info1: "Proj 49
mode: X
visited: 12
irg: COND_EXAMPLE_main
-1: Block 32
0: Cond 48
Private Attributes:
+ proj nr: 0
"
color: yellow}
edge: {sourcename: "n49" targetname: "n48" label: "0" class:13 priority:60 color:red}
-1: Block 32
0: Cmp 46
Private Attributes:
+ proj nr: 6
"
color: yellow}
edge: {sourcename: "n47" targetname: "n46" label: "0" class:1 priority:50}
-1: Block 32
0: Cmp 42
Private Attributes:
+ proj nr: 3
"
color: yellow}
edge: {sourcename: "n40" targetname: "n42" label: "0" class:1 priority:50}
-1: Block 32
0: Cmp 35
Private Attributes:
+ proj nr: 4
"
color: yellow}
edge: {sourcename: "n36" targetname: "n35" label: "0" class:1 priority:50}
}
edge: {sourcename: "n35" targetname: "n33" label: "0" class:1 priority:50}
edge: {sourcename: "n35" targetname: "n34" label: "1" class:16 priority:10}
-node: {title: "n33" label: "ProjIs 0 33" info1: "Proj 33
+node: {title: "n33" label: "ProjIs Arg 0 33" info1: "Proj 33
mode: Is
visited: 12
irg: COND_EXAMPLE_main
-1: Block 32
0: Proj 30
Private Attributes:
+ proj nr: 0
"
color: yellow}
edge: {sourcename: "n33" targetname: "n30" label: "0" class:16 priority:10}
-1: Block 22
0: Start 23
Private Attributes:
+ proj nr: 1
"
color: yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
Const of type type_unknown
"
color: yellow}
-node: {title: "n30" label: "ProjT 4 30" info1: "Proj 30
+node: {title: "n30" label: "ProjT T_args 30" info1: "Proj 30
mode: T
visited: 12
irg: COND_EXAMPLE_main
-1: Block 22
0: Start 23
Private Attributes:
+ proj nr: 4
"
color: yellow}
edge: {sourcename: "n30" targetname: "n23" label: "0" class:1 priority:50}
Const of type type_unknown
"
color: yellow}
-node: {title: "n26" label: "ProjX 0 26" info1: "Proj 26
+node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
visited: 12
irg: COND_EXAMPLE_main
-1: Block 22
0: Start 23
Private Attributes:
+ proj nr: 0
"
color: yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}