graph: { title: "n180" label: "Block 180" status:clustered color:yellow
edge: {sourcename: "n180" targetname: "n141" label: "0" class:13 priority:60 color:red}
edge: {sourcename: "n180" targetname: "n181" label: "1" class:13 priority:60 color:red}
-node: {title: "n179" label: "PhiM 179" info1: "Phi 179
+node: {title: "n179" label: "PhiM 179" info1: "Phi 179
mode: M
visited: 26
irg: OO_INLINE_EXAMPLE_main
color: green}
edge: {sourcename: "n179" targetname: "n151" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n179" targetname: "n185" label: "1" class:17 priority:10 color:blue}
-node: {title: "n185" label: "Store 185" info1: "Store 185
+node: {title: "n185" label: "Store 185" info1: "Store 185
mode: T
visited: 26
irg: OO_INLINE_EXAMPLE_main
1: Proj 48
Private Attributes:
Selecting entity of type int
- from entity of type PRIMA_INLINE
+ from entity a (17)
+ of type PRIMA_INLINE
"
}
edge: {sourcename: "n189" targetname: "n179" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n189" targetname: "n48" label: "1" class:16 priority:10}
-node: {title: "n186" label: "PhiIs 186" info1: "Phi 186
+node: {title: "n186" label: "PhiIs 186" info1: "Phi 186
mode: Is
visited: 26
irg: OO_INLINE_EXAMPLE_main
color: green}
edge: {sourcename: "n186" targetname: "n42" label: "0" class:16 priority:10}
edge: {sourcename: "n186" targetname: "n187" label: "1" class:1 priority:50}
-node: {title: "n187" label: "PhiIs 187" info1: "Phi 187
+node: {title: "n187" label: "PhiIs 187" info1: "Phi 187
mode: Is
visited: 26
irg: OO_INLINE_EXAMPLE_main
color: green}
edge: {sourcename: "n187" targetname: "n188" label: "0" class:16 priority:10}
edge: {sourcename: "n187" targetname: "n186" label: "1" class:1 priority:50}
-node: {title: "n181" label: "Jmp 181" info1: "Jmp 181
+node: {title: "n181" label: "Jmp 181" info1: "Jmp 181
mode: X
visited: 26
irg: OO_INLINE_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n151" targetname: "n152" label: "0" class:17 priority:10 color:blue}
-node: {title: "n152" label: "Store 152" info1: "Store 152
+node: {title: "n152" label: "Store 152" info1: "Store 152
mode: T
visited: 26
irg: OO_INLINE_EXAMPLE_main
1: Proj 48
Private Attributes:
Selecting entity of type int
- from entity of type PRIMA_INLINE
+ from entity a (17)
+ of type PRIMA_INLINE
"
}
edge: {sourcename: "n155" 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: 26
irg: OO_INLINE_EXAMPLE_main
}
edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10}
-node: {title: "n188" label: "0x0Is 188" info1: "0x0 188
+node: {title: "n188" label: "0x0Is 188" info1: "0x0 188
mode: Is
visited: 26
irg: OO_INLINE_EXAMPLE_main
Const of type type_unknown
"
color: yellow}
-node: {title: "n141" label: "Jmp 141" info1: "Jmp 141
+node: {title: "n141" label: "Jmp 141" info1: "Jmp 141
mode: X
visited: 26
irg: OO_INLINE_EXAMPLE_main
graph: { title: "n30" label: "Block 30" status:clustered color:yellow
edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
-node: {title: "n41" label: "0x2Is 41" info1: "0x2 41
+node: {title: "n41" label: "0x2Is 41" info1: "0x2 41
mode: Is
visited: 26
irg: OO_INLINE_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
-node: {title: "n43" label: "SymC PRIMA_INLINE size 43" info1: "SymC PRIMA_INLINE size 43
+node: {title: "n43" label: "SymC PRIMA_INLINE size 43" info1: "SymC PRIMA_INLINE size 43
mode: Iu
visited: 26
irg: OO_INLINE_EXAMPLE_main
type of value: type_unknown
"
}
-node: {title: "n42" label: "0x5Is 42" info1: "0x5 42
+node: {title: "n42" label: "0x5Is 42" info1: "0x5 42
mode: Is
visited: 26
irg: OO_INLINE_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: 26
irg: OO_INLINE_EXAMPLE_main
}
graph: { title: "n28" label: "Block 28" status:clustered color:yellow
-node: {title: "n195" label: "End 195" info1: "End 195
+node: {title: "n195" label: "End 195" info1: "End 195
mode: X
visited: 26
irg: OO_INLINE_EXAMPLE_main
}
edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
-node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
+node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
visited: 1
arity: 0
pred nodes:
- -1: Block 1
+ -1: Block 3
Private Attributes:
kind: addr_ent
entity: entity PRIMA_INLINE.set_a (20)
}
edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
-node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
+node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
visited: 1
arity: 0
pred nodes:
- -1: Block 1
+ -1: Block 3
Private Attributes:
kind: addr_ent
entity: entity PRIMA_INLINE.c (23)
}
edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
-node: {title: "n25" label: "SymC &OO_INLINE_EXAMPLE_main 25" info1: "SymC &OO_INLINE_EXAMPLE_main 25
+node: {title: "n25" label: "SymC &OO_INLINE_EXAMPLE_main 25" info1: "SymC &OO_INLINE_EXAMPLE_main 25
mode: P
visited: 1
arity: 0
pred nodes:
- -1: Block 1
+ -1: Block 3
Private Attributes:
kind: addr_ent
entity: entity GlobalType.OO_INLINE_EXAMPLE_main (26)