1 graph: { title: "ir graph of OO_PROGRAM_EXAMPLE_main"
2 display_edge_labels: no
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
7 classname 1: "intrablock Data"
9 classname 3: "Entity type"
10 classname 4: "Entity owner"
11 classname 5: "Method Param"
12 classname 6: "Method Res"
15 classname 9: "Points-to"
16 classname 10: "Array Element Type"
17 classname 11: "Overwrites"
18 classname 12: "Member"
19 classname 13: "Control Flow"
20 classname 14: "intrablock Memory"
21 classname 15: "Dominators"
22 classname 16: "interblock Data"
23 classname 17: "interblock Memory"
24 classname 18: "Exception Control Flow for Interval Analysis"
25 classname 19: "Postdominators"
26 infoname 1: "Attribute"
27 infoname 2: "Verification errors"
28 infoname 3: "Debug info"
30 colorentry 101: 20 0 0
31 colorentry 102: 40 0 0
32 colorentry 103: 60 0 0
33 colorentry 104: 80 0 0
34 colorentry 105: 100 0 0
35 colorentry 106: 120 0 0
36 colorentry 107: 140 0 0
37 colorentry 108: 150 0 0
38 colorentry 109: 180 0 0
39 colorentry 110: 200 0 0
40 colorentry 111: 220 0 0
41 colorentry 112: 240 0 0
42 colorentry 113: 255 0 0
43 colorentry 113: 255 20 20
44 colorentry 114: 255 40 40
45 colorentry 115: 255 60 60
46 colorentry 116: 255 80 80
47 colorentry 117: 255 100 100
48 colorentry 118: 255 120 120
49 colorentry 119: 255 140 140
50 colorentry 120: 255 150 150
51 colorentry 121: 255 180 180
52 colorentry 122: 255 200 200
53 colorentry 123: 255 220 220
54 colorentry 124: 255 240 240
55 colorentry 125: 255 250 250
57 graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white
58 info1: "entity OO_PROGRAM_EXAMPLE_main (26)
59 type: OO_PROGRAM_EXAMPLE_main (24)
61 Does not overwrite other entities.
62 Is not overwritten by other entities.
63 allocation: allocation_static
64 visibility: visibility_local
65 variability: variability_constant
66 calling convention: cdecl
67 atomic value: SymC &OO_PROGRAM_EXAMPLE_main
68 volatility: volatility_non_volatile
69 peculiarity: peculiarity_existent
71 offset: -1 bits, -1 bytes
75 graph: { title: "n28" label: "Block 28" status:clustered color:yellow
79 irg: OO_PROGRAM_EXAMPLE_main
89 Execution freqency statistics:
91 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
92 node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109" info1: "End OO_PROGRAM_EXAMPLE_main 109
95 irg: OO_PROGRAM_EXAMPLE_main
106 graph: { title: "n40" label: "Block 40" status:clustered color:yellow
110 irg: OO_PROGRAM_EXAMPLE_main
120 Execution freqency statistics:
122 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
123 node: {title: "n59" label: "Return 59" info1: "Return 59
126 irg: OO_PROGRAM_EXAMPLE_main
135 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
136 edge: {sourcename: "n59" targetname: "n203" label: "1" class:1 priority:50}
137 node: {title: "n202" label: "FilterM 0 202" info1: "Filter 202
140 irg: OO_PROGRAM_EXAMPLE_main
152 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
153 node: {title: "n203" label: "FilterIs 0 203" info1: "Filter 203
156 irg: OO_PROGRAM_EXAMPLE_main
168 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
171 graph: { title: "n197" label: "Block 197" status:clustered color:yellow
175 irg: OO_PROGRAM_EXAMPLE_main
185 Execution freqency statistics:
187 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
188 node: {title: "n196" label: "FilterM 0 196" info1: "Filter 196
191 irg: OO_PROGRAM_EXAMPLE_main
203 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
204 node: {title: "n201" label: "ProjX 0 201" info1: "Proj 201
207 irg: OO_PROGRAM_EXAMPLE_main
216 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
217 node: {title: "n199" label: "CallBegin c 199" info1: "CallBegin c 199
220 irg: OO_PROGRAM_EXAMPLE_main
231 edge: {sourcename: "n199" targetname: "n174" label: "0" class:16 priority:10}
234 graph: { title: "n191" label: "Block 191" status:clustered color:yellow
238 irg: OO_PROGRAM_EXAMPLE_main
248 Execution freqency statistics:
250 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
251 node: {title: "n47" label: "ProjM M 47" info1: "Proj 47
254 irg: OO_PROGRAM_EXAMPLE_main
263 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
264 node: {title: "n48" label: "ProjP res 48" info1: "Proj 48
267 irg: OO_PROGRAM_EXAMPLE_main
276 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
277 node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
280 irg: OO_PROGRAM_EXAMPLE_main
285 1: SymC PRIMA size 43
287 pinned state: op_pin_state_pinned
288 allocating entity of type: PRIMA
289 allocating on: the heap
292 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
293 edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10}
294 node: {title: "n195" label: "ProjX 0 195" info1: "Proj 195
297 irg: OO_PROGRAM_EXAMPLE_main
301 0: CallBegin set_a 193
306 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
307 node: {title: "n193" label: "CallBegin set_a 193" info1: "CallBegin set_a 193
310 irg: OO_PROGRAM_EXAMPLE_main
321 edge: {sourcename: "n193" targetname: "n175" label: "0" class:16 priority:10}
324 graph: { title: "n30" label: "Block 30" status:clustered color:yellow
328 irg: OO_PROGRAM_EXAMPLE_main
338 Execution freqency statistics:
340 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
341 node: {title: "n41" label: "0x2Is 41" info1: "0x2 41
344 irg: OO_PROGRAM_EXAMPLE_main
349 Const of type type_unknown
352 node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37
355 irg: OO_PROGRAM_EXAMPLE_main
359 0: Start OO_PROGRAM_EXAMPLE_main 31
364 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
365 node: {title: "n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43
368 irg: OO_PROGRAM_EXAMPLE_main
374 type: class type PRIMA (15)
375 type of value: type_unknown
378 node: {title: "n42" label: "0x5Is 42" info1: "0x5 42
381 irg: OO_PROGRAM_EXAMPLE_main
386 Const of type type_unknown
389 node: {title: "n174" label: "SymC &c 174" info1: "SymC &c 174
392 irg: OO_PROGRAM_EXAMPLE_main
398 entity: entity PRIMA.c (23)
400 type of value: type_unknown
403 node: {title: "n175" label: "SymC &set_a 175" info1: "SymC &set_a 175
406 irg: OO_PROGRAM_EXAMPLE_main
412 entity: entity PRIMA.set_a (20)
414 type of value: type_unknown
417 node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
420 irg: OO_PROGRAM_EXAMPLE_main
424 0: Start OO_PROGRAM_EXAMPLE_main 31
429 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
430 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31" info1: "Start OO_PROGRAM_EXAMPLE_main 31
433 irg: OO_PROGRAM_EXAMPLE_main
438 start of method of type OO_PROGRAM_EXAMPLE_main
445 graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white
446 info1: "entity set_a (20)
449 Does not overwrite other entities.
450 Is not overwritten by other entities.
451 allocation: allocation_static
452 visibility: visibility_local
453 variability: variability_constant
454 calling convention: cdecl
455 atomic value: SymC &set_a
456 volatility: volatility_non_volatile
457 peculiarity: peculiarity_existent
459 offset: -1 bits, -1 bytes
463 graph: { title: "n188" label: "Block 188" status:clustered color:yellow
477 Execution freqency statistics:
479 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
480 node: {title: "n194" label: "ProjX 0 194" info1: "Proj 194
487 0: EndReg PRIMA_set_a 189
492 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
493 node: {title: "n189" label: "EndReg PRIMA_set_a 189" info1: "EndReg PRIMA_set_a 189
505 graph: { title: "n74" label: "Block 74" status:clustered color:yellow
519 Execution freqency statistics:
521 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
522 node: {title: "n81" label: "ProjM M 81" info1: "Proj 81
534 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
535 node: {title: "n79" label: "Store 79" info1: "Store 79
546 pinned state: op_pin_state_pinned
547 volatility: volatility_non_volatile
550 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
551 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1 priority:50}
552 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
553 node: {title: "n78" label: "Sel a 78" info1: "Sel 78
563 Selecting entity a (17)
568 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
569 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
570 node: {title: "n187" label: "Jmp 187" info1: "Jmp 187
582 graph: { title: "n64" label: "Block 64" status:clustered color:yellow
596 Execution freqency statistics:
598 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
599 node: {title: "n184" label: "FilterM 1 184" info1: "Filter 184
606 0: Start PRIMA_set_a 65
614 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
615 node: {title: "n185" label: "FilterP 0 185" info1: "Filter 185
630 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
631 node: {title: "n186" label: "FilterIs 1 186" info1: "Filter 186
646 edge: {sourcename: "n186" targetname: "n41" label: "0" class:16 priority:10}
647 node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
654 0: Start PRIMA_set_a 65
659 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
660 node: {title: "n65" label: "Start PRIMA_set_a 65" info1: "Start PRIMA_set_a 65
668 start of method of type set_a
669 param 0 type: class_prima_ptr
677 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white
678 info1: "entity c (23)
681 Does not overwrite other entities.
682 Is not overwritten by other entities.
683 allocation: allocation_static
684 visibility: visibility_local
685 variability: variability_constant
686 calling convention: cdecl
687 atomic value: SymC &c
688 volatility: volatility_non_volatile
689 peculiarity: peculiarity_existent
691 offset: -1 bits, -1 bytes
695 graph: { title: "n180" label: "Block 180" status:clustered color:yellow
709 Execution freqency statistics:
711 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
712 node: {title: "n200" label: "ProjX 0 200" info1: "Proj 200
719 0: EndReg PRIMA_c 181
724 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
725 node: {title: "n181" label: "EndReg PRIMA_c 181" info1: "EndReg PRIMA_c 181
737 graph: { title: "n97" label: "Block 97" status:clustered color:yellow
751 Execution freqency statistics:
753 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
754 node: {title: "n104" label: "ProjM M 104" info1: "Proj 104
766 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
767 node: {title: "n106" label: "AddIs 106" info1: "Add 106
779 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1 priority:50}
780 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
781 node: {title: "n105" label: "ProjIs res 105" info1: "Proj 105
793 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
794 node: {title: "n102" label: "Load[Is] 102" info1: "Load[Is] 102
804 pinned state: op_pin_state_pinned
805 mode of loaded value: Is
806 volatility: volatility_non_volatile
809 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
810 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1 priority:50}
811 node: {title: "n101" label: "Sel a 101" info1: "Sel 101
821 Selecting entity a (17)
826 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
827 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
828 node: {title: "n179" label: "Jmp 179" info1: "Jmp 179
840 graph: { title: "n87" label: "Block 87" status:clustered color:yellow
854 Execution freqency statistics:
856 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
857 node: {title: "n176" label: "FilterM 1 176" info1: "Filter 176
872 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
873 node: {title: "n177" label: "FilterP 0 177" info1: "Filter 177
888 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
889 node: {title: "n178" label: "FilterIs 1 178" info1: "Filter 178
904 edge: {sourcename: "n178" targetname: "n42" label: "0" class:16 priority:10}
905 node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
917 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
918 node: {title: "n88" label: "Start PRIMA_c 88" info1: "Start PRIMA_c 88
926 start of method of type c
927 param 0 type: class_prima_ptr
935 node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
936 info1: "entity set_a (20)
939 Does not overwrite other entities.
940 Is not overwritten by other entities.
941 allocation: allocation_static
942 visibility: visibility_local
943 variability: variability_constant
944 calling convention: cdecl
945 atomic value: SymC &set_a
946 volatility: volatility_non_volatile
947 peculiarity: peculiarity_existent
949 offset: -1 bits, -1 bytes
954 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
955 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
956 node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
964 entity: entity PRIMA.set_a (20)
966 type of value: type_unknown
969 node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
974 Does not overwrite other entities.
975 Is not overwritten by other entities.
976 allocation: allocation_automatic
977 visibility: visibility_local
978 variability: variability_uninitialized
979 volatility: volatility_non_volatile
980 peculiarity: peculiarity_existent
982 offset: -1 bits, -1 bytes
986 Does not overwrite other entities.
987 Is not overwritten by other entities.
988 allocation: allocation_static
989 visibility: visibility_local
990 variability: variability_constant
991 calling convention: cdecl
992 atomic value: SymC &set_a
993 volatility: volatility_non_volatile
994 peculiarity: peculiarity_existent
996 offset: -1 bits, -1 bytes
1001 Does not overwrite other entities.
1002 Is not overwritten by other entities.
1003 allocation: allocation_static
1004 visibility: visibility_local
1005 variability: variability_constant
1006 calling convention: cdecl
1007 atomic value: SymC &c
1008 volatility: volatility_non_volatile
1009 peculiarity: peculiarity_existent
1011 offset: -1 bits, -1 bytes
1015 peculiarity: peculiarity_existent
1016 visibility: visibility_external_allocated,
1017 state: layout_undefined,
1024 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
1025 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
1026 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
1027 node: {title: "e17" label: "ent a" color: yellow
1028 info1: "entity a (17)
1031 Does not overwrite other entities.
1032 Is not overwritten by other entities.
1033 allocation: allocation_automatic
1034 visibility: visibility_local
1035 variability: variability_uninitialized
1036 volatility: volatility_non_volatile
1037 peculiarity: peculiarity_existent
1039 offset: -1 bits, -1 bytes
1043 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
1044 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
1045 visibility: visibility_external_allocated,
1046 state: layout_fixed,
1054 node: {title: "e23" label: "ent PRIMA_c" color: yellow
1055 info1: "entity c (23)
1058 Does not overwrite other entities.
1059 Is not overwritten by other entities.
1060 allocation: allocation_static
1061 visibility: visibility_local
1062 variability: variability_constant
1063 calling convention: cdecl
1064 atomic value: SymC &c
1065 volatility: volatility_non_volatile
1066 peculiarity: peculiarity_existent
1068 offset: -1 bits, -1 bytes
1073 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
1074 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
1075 node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
1083 entity: entity PRIMA.c (23)
1085 type of value: type_unknown
1088 node: {title: "t21" label: "method c" info1: "method type c (21)
1089 variadicity: variadicity_non_variadic
1095 visibility: visibility_external_allocated,
1096 state: layout_fixed,
1104 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
1105 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
1106 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
1107 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
1108 points to PRIMA (15)
1109 visibility: visibility_external_allocated,
1110 state: layout_fixed,
1118 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
1119 node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
1120 variadicity: variadicity_non_variadic
1125 visibility: visibility_external_allocated,
1126 state: layout_fixed,
1134 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
1135 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
1136 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
1137 info1: "entity OO_PROGRAM_EXAMPLE_main (26)
1138 type: OO_PROGRAM_EXAMPLE_main (24)
1139 owner: GlobalType (0)
1140 Does not overwrite other entities.
1141 Is not overwritten by other entities.
1142 allocation: allocation_static
1143 visibility: visibility_local
1144 variability: variability_constant
1145 calling convention: cdecl
1146 atomic value: SymC &OO_PROGRAM_EXAMPLE_main
1147 volatility: volatility_non_volatile
1148 peculiarity: peculiarity_existent
1150 offset: -1 bits, -1 bytes
1155 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
1156 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
1157 node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25" info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
1165 entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)
1167 type of value: type_unknown
1170 node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
1172 entity OO_PROGRAM_EXAMPLE_main (26)
1173 type: OO_PROGRAM_EXAMPLE_main (24)
1174 owner: GlobalType (0)
1175 Does not overwrite other entities.
1176 Is not overwritten by other entities.
1177 allocation: allocation_static
1178 visibility: visibility_local
1179 variability: variability_constant
1180 calling convention: cdecl
1181 atomic value: SymC &OO_PROGRAM_EXAMPLE_main
1182 volatility: volatility_non_volatile
1183 peculiarity: peculiarity_existent
1185 offset: -1 bits, -1 bytes
1189 peculiarity: peculiarity_existent
1190 visibility: visibility_external_allocated,
1191 state: layout_undefined,
1198 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
1199 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type OO_PROGRAM_EXAMPLE_main (24)
1200 variadicity: variadicity_non_variadic
1204 visibility: visibility_external_allocated,
1205 state: layout_fixed,
1213 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
1214 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class type OO_PROGRAM_EXAMPLE_mainframe_tp (27)
1218 peculiarity: peculiarity_existent
1219 visibility: visibility_external_allocated,
1220 state: layout_undefined,
1227 edge: { sourcename: "n101" targetname: "e17"class:2 priority:2 linestyle:dotted}
1228 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
1229 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
1230 edge: { sourcename: "n78" targetname: "e17"class:2 priority:2 linestyle:dotted}