+graph: { title: "g96" label: "PRIMA_INLINE_c" status:clustered color:white
+info1: "entity c (23)
+ type: c (21)
+ owner: PRIMA_INLINE (15)
+ Does not overwrite other entities.
+ Is not overwritten by other entities.
+ allocation: allocation_static
+ visibility: visibility_local
+ variability: variability_constant
+ calling convention: cdecl
+ atomic value: SymC &c
+ volatility: volatility_non_volatile
+ peculiarity: peculiarity_existent
+ ld_name: PRIMA_INLINE_c
+ offset: -1 bits, -1 bytes
+ irg = 96
+
+"
+graph: { title: "n102" label: "Block 102" status:clustered color:yellow
+ info1: "Block 102
+ mode: BB
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 2
+ pred nodes:
+ 0: Jmp 101
+ 1: Jmp 109
+ Private Attributes:
+ backedges:
+ block visited: 0
+ Execution freqency statistics:
+"
+edge: {sourcename: "n102" targetname: "n101" label: "0" class:13 priority:60 color:red}
+edge: {sourcename: "n102" targetname: "n109" label: "1" class:13 priority:60 color:red}
+node: {title: "n131" label: "PhiM 131" info1: "Phi 131
+ mode: M
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 2
+ pred nodes:
+ -1: Block 102
+ 0: Proj 94
+ 1: Proj 119
+ Private Attributes:
+ backedges:
+"
+color:green}
+edge: {sourcename: "n131" targetname: "n94" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n131" targetname: "n119" label: "1" class:17 priority:10 color:blue}
+node: {title: "n119" label: "ProjM M 119" info1: "Proj 119
+ mode: M
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 1
+ pred nodes:
+ -1: Block 102
+ 0: Store 117
+ Private Attributes:
+ proj nr: 0
+"
+color:yellow}
+edge: {sourcename: "n119" targetname: "n117" label: "0" class:17 priority:10 color:blue}
+node: {title: "n117" label: "Store 117" info1: "Store 117
+ mode: T
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 3
+ pred nodes:
+ -1: Block 102
+ 0: Phi 131
+ 1: Sel 116
+ 2: Phi 127
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n117" targetname: "n131" label: "0" class:14 priority:50 color:blue}
+edge: {sourcename: "n117" targetname: "n116" label: "1" class:1 priority:50}
+edge: {sourcename: "n117" targetname: "n127" label: "2" class:1 priority:50}
+node: {title: "n116" label: "Sel a 116" info1: "Sel 116
+ mode: P
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 2
+ pred nodes:
+ -1: Block 102
+ 0: Phi 131
+ 1: Proj 98
+ Private Attributes:
+ Selecting entity a (17)
+ of type int
+ with owner PRIMA_INLINE.
+"
+}
+edge: {sourcename: "n116" targetname: "n131" label: "0" class:14 priority:50 color:blue}
+edge: {sourcename: "n116" targetname: "n98" label: "1" class:16 priority:10}
+node: {title: "n127" label: "PhiIs 127" info1: "Phi 127
+ mode: Is
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 2
+ pred nodes:
+ -1: Block 102
+ 0: Proj 99
+ 1: Phi 128
+ Private Attributes:
+ backedges:
+"
+color:green}
+edge: {sourcename: "n127" targetname: "n99" label: "0" class:16 priority:10}
+edge: {sourcename: "n127" targetname: "n128" label: "1" class:1 priority:50}
+node: {title: "n128" label: "PhiIs 128" info1: "Phi 128
+ mode: Is
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 2
+ pred nodes:
+ -1: Block 102
+ 0: 0x0 100
+ 1: Phi 127
+ Private Attributes:
+ backedges:
+"
+color:green}
+edge: {sourcename: "n128" targetname: "n100" label: "0" class:16 priority:10}
+edge: {sourcename: "n128" targetname: "n127" label: "1" class:1 priority:50}
+node: {title: "n109" label: "Jmp 109" info1: "Jmp 109
+ mode: X
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 0
+ pred nodes:
+ -1: Block 102
+ Private Attributes:
+"
+}
+}
+
+graph: { title: "n97" label: "Block 97" status:clustered color:yellow
+ info1: "Block 97
+ mode: BB
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 1
+ pred nodes:
+ 0: Proj 91
+ Private Attributes:
+ backedges:
+ block visited: 0
+ Execution freqency statistics:
+"
+edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
+node: {title: "n98" label: "ProjP Arg 0 98" info1: "Proj 98
+ mode: P
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 1
+ pred nodes:
+ -1: Block 97
+ 0: Proj 95
+ Private Attributes:
+ proj nr: 0
+"
+color:yellow}
+edge: {sourcename: "n98" targetname: "n95" label: "0" class:16 priority:10}
+node: {title: "n99" label: "ProjIs Arg 1 99" info1: "Proj 99
+ mode: Is
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 1
+ pred nodes:
+ -1: Block 97
+ 0: Proj 95
+ Private Attributes:
+ proj nr: 1
+"
+color:yellow}
+edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10}
+node: {title: "n101" label: "Jmp 101" info1: "Jmp 101
+ mode: X
+ visited: 25
+ irg: PRIMA_INLINE_c
+ arity: 0
+ pred nodes:
+ -1: Block 97
+ Private Attributes:
+"
+}