irg: OO_PROGRAM_EXAMPLE_main
arity: 0
kind addr_ent
+entity PRIMA.c (20)
+
"}
edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
}
irg: OO_PROGRAM_EXAMPLE_main
arity: 0
kind addr_ent
+entity PRIMA.set_a (17)
+
"}
edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
}
visited: 51
irg: PRIMA_set_a
arity: 3
+volatility: volatility_non_volatile
"}
edge: {sourcename: "n74" targetname: "n175" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50}
arity: 2
"}
edge: {sourcename: "n100" targetname: "n99" label: "0" class:1 priority:50}
-edge: {sourcename: "n100" targetname: "n167" label: "1" class:16 priority:10}
+edge: {sourcename: "n100" targetname: "n169" label: "1" class:16 priority:10}
node: {title: "n99" label: "ProjIs 2 99" info1: "mode: Is
visited: 51
irg: PRIMA_c
arity: 1
"color: yellow}
edge: {sourcename: "n99" targetname: "n96" label: "0" class:1 priority:50}
-node: {title: "n96" label: "Load 96" info1: "mode: T
+node: {title: "n96" label: "Load[Is] 96" info1: "mode: T
visited: 51
irg: PRIMA_c
arity: 2
+volatility: volatility_non_volatile
"}
-edge: {sourcename: "n96" targetname: "n168" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n96" targetname: "n167" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50}
node: {title: "n95" label: "Sel a 95" info1: "mode: P
visited: 51
Selecting entity of type int
from entity of type PRIMA
"}
-edge: {sourcename: "n95" targetname: "n168" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n95" targetname: "n169" label: "1" class:16 priority:10}
+edge: {sourcename: "n95" targetname: "n167" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n95" targetname: "n168" label: "1" class:16 priority:10}
node: {title: "n170" label: "Jmp 170" info1: "mode: X
visited: 51
irg: PRIMA_c
graph: { title: "n82" label: "Block 82" status:clustered color:yellow
edge: {sourcename: "n82" targetname: "n192" label: "0" class:13 priority:60 color:red}
-node: {title: "n168" label: "FilterM 1 168" info1: "mode: M
+node: {title: "n167" label: "FilterM 1 167" info1: "mode: M
visited: 51
irg: PRIMA_c
arity: 1 backedges:
intra predecessor nodes:
StartT 83
"color: yellow}
-edge: {sourcename: "n168" targetname: "n187" label: "0" class:17 priority:10 color:blue}
-node: {title: "n169" label: "FilterP 0 169" info1: "mode: P
+edge: {sourcename: "n167" targetname: "n187" label: "0" class:17 priority:10 color:blue}
+node: {title: "n168" label: "FilterP 0 168" info1: "mode: P
visited: 51
irg: PRIMA_c
arity: 1 backedges:
intra predecessor nodes:
ProjT 89
"color: yellow}
-edge: {sourcename: "n169" targetname: "n44" label: "0" class:16 priority:10}
-node: {title: "n167" label: "FilterIs 1 167" info1: "mode: Is
+edge: {sourcename: "n168" targetname: "n44" label: "0" class:16 priority:10}
+node: {title: "n169" label: "FilterIs 1 169" info1: "mode: Is
visited: 51
irg: PRIMA_c
arity: 1 backedges:
intra predecessor nodes:
ProjT 89
"color: yellow}
-node: {title: "n167n38" label: "0x5Is 38" info1: "mode: Is
+node: {title: "n169n38" label: "0x5Is 38" info1: "mode: Is
visited: 51
irg: OO_PROGRAM_EXAMPLE_main
arity: 0
Const of type type_unknown
"color: yellow}
-edge: {sourcename: "n167" targetname: "n167n38" label: "0" class:16 priority:10}
+edge: {sourcename: "n169" targetname: "n169n38" label: "0" class:16 priority:10}
node: {title: "n85" label: "ProjX 0 85" info1: "mode: X
visited: 51
irg: PRIMA_c