projects / libfirm / blob
? search:


55246e76e5e1fd19621ca551c79b00d4f636bfab
[libfirm] / testprograms / ref-results / OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
1 graph: { title: "ir graph of OO_PROGRAM_EXAMPLE_main"
2 display_edge_labels: no
3 layoutalgorithm: mindepth
4 manhattan_edges: yes
5 port_sharing: no
6 orientation: bottom_to_top
7 classname 1:  "intrablock Data"
8 classname 16: "interblock Data"
9 classname 2:  "Block"
10 classname 13: "Control Flow"
11 classname 14: "intrablock Memory"
12 classname 17: "interblock Memory"
13 classname 15: "Dominators"
14 classname 3:  "Entity type"
15 classname 4:  "Entity owner"
16 classname 5:  "Method Param"
17 classname 6:  "Method Res"
18 classname 7:  "Super"
19 classname 8:  "Union"
20 classname 9:  "Points-to"
21 classname 10: "Array Element Type"
22 classname 11: "Overwrites"
23 classname 12: "Member"
24 infoname 1: "Attribute"
25 infoname 2: "Verification errors"
26 colorentry 100:    0   0    0
27 colorentry 101:   20   0    0
28 colorentry 102:   40   0    0
29 colorentry 103:   60   0    0
30 colorentry 104:   80   0    0
31 colorentry 105:  100   0    0
32 colorentry 106:  120   0    0
33 colorentry 107:  140   0    0
34 colorentry 108:  150   0    0
35 colorentry 109:  180   0    0
36 colorentry 110:  200   0    0
37 colorentry 111:  220   0    0
38 colorentry 112:  240   0    0
39 colorentry 113:  255   0    0
40 colorentry 113:  255  20   20
41 colorentry 114:  255  40   40
42 colorentry 115:  255  60   60
43 colorentry 116:  255  80   80
44 colorentry 117:  255 100  100
45 colorentry 118:  255 120  120
46 colorentry 119:  255 140  140
47 colorentry 120:  255 150  150
48 colorentry 121:  255 180  180
49 colorentry 122:  255 200  200
50 colorentry 123:  255 220  220
51 colorentry 124:  255 240  240
52 colorentry 125:  255 250  250
53
54 node: {title: "n109" label: "Block  109"  info1: "mode:    BB
55 visited: 36
56 irg:     OO_PROGRAM_EXAMPLE_main
57 arity: 1 backedges:
58 "color: lightyellow}
59 edge: {sourcename: "n109" targetname: "n108" label: "0" class:13 priority:60 color:red}
60 node: {title: "n110" label: "Start OO_PROGRAM_EXAMPLE_main  110"  info1: "mode:    T
61 visited: 36
62 irg:     OO_PROGRAM_EXAMPLE_main
63 arity: 0
64 start of method of type OO_PROGRAM_EXAMPLE_main
65 "color: blue}
66 edge: { sourcename: "n110" targetname: "n109" class:2  priority:50 linestyle:dotted}
67 node: {title: "n108" label: "ProjX 0 108"  info1: "mode:    X
68 visited: 36
69 irg:     OO_PROGRAM_EXAMPLE_main
70 arity: 1
71 "color: yellow}
72 edge: {sourcename: "n108" targetname: "n110" label: "0" class:13 priority:60 color:red}
73 edge: { sourcename: "n108" targetname: "n109" class:2  priority:50 linestyle:dotted}
74 node: {title: "n182" label: "Block  182"  info1: "mode:    BB
75 visited: 36
76 irg:     OO_PROGRAM_EXAMPLE_main
77 arity: 1 backedges:
78 "color: lightyellow}
79 edge: {sourcename: "n182" targetname: "n108" label: "0" class:13 priority:60 color:red}
80 node: {title: "n184" label: "CallBegin set_a  184"  info1: "mode:    T
81 visited: 36
82 irg:     OO_PROGRAM_EXAMPLE_main
83 arity: 1
84 possible callees:
85   0: PRIMA_set_a
86 "}
87 node: {title: "n184n166" label: "SymC &set_a  166"  info1: "mode:    P
88 visited: 36
89 irg:     OO_PROGRAM_EXAMPLE_main
90 arity: 0
91 kind addr_ent
92 "}
93 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
94 edge: { sourcename: "n184" targetname: "n182" class:2  priority:50 linestyle:dotted}
95 node: {title: "n186" label: "ProjX 0 186"  info1: "mode:    X
96 visited: 36
97 irg:     OO_PROGRAM_EXAMPLE_main
98 arity: 1
99 "color: yellow}
100 edge: {sourcename: "n186" targetname: "n184" label: "0" class:13 priority:60 color:red}
101 edge: { sourcename: "n186" targetname: "n182" class:2  priority:50 linestyle:dotted}
102 node: {title: "n135" label: "Block  135"  info1: "mode:    BB
103 visited: 36
104 irg:     PRIMA_set_a
105 arity: 1 backedges:
106 "color: lightyellow}
107 edge: {sourcename: "n135" targetname: "n186" label: "0" class:13 priority:60 color:red}
108 node: {title: "n136" label: "Start PRIMA_set_a  136"  info1: "mode:    T
109 visited: 36
110 irg:     PRIMA_set_a
111 arity: 0
112 start of method of type set_a
113   param 0 type: class_prima_ptr
114   param 1 type: int
115 "color: blue}
116 edge: { sourcename: "n136" targetname: "n135" class:2  priority:50 linestyle:dotted}
117 node: {title: "n134" label: "ProjX 0 134"  info1: "mode:    X
118 visited: 36
119 irg:     PRIMA_set_a
120 arity: 1
121 "color: yellow}
122 edge: {sourcename: "n134" targetname: "n136" label: "0" class:13 priority:60 color:red}
123 edge: { sourcename: "n134" targetname: "n135" class:2  priority:50 linestyle:dotted}
124 node: {title: "n133" label: "Block  133"  info1: "mode:    BB
125 visited: 36
126 irg:     PRIMA_set_a
127 arity: 1 backedges:
128 "color: lightyellow}
129 edge: {sourcename: "n133" targetname: "n134" label: "0" class:13 priority:60 color:red}
130 node: {title: "n178" label: "Jmp  178"  info1: "mode:    X
131 visited: 36
132 irg:     PRIMA_set_a
133 arity: 0
134 "}
135 edge: { sourcename: "n178" targetname: "n133" class:2  priority:50 linestyle:dotted}
136 node: {title: "n179" label: "Block  179"  info1: "mode:    BB
137 visited: 36
138 irg:     PRIMA_set_a
139 arity: 1 backedges:
140 "color: lightyellow}
141 edge: {sourcename: "n179" targetname: "n178" label: "0" class:13 priority:60 color:red}
142 node: {title: "n180" label: "EndReg PRIMA_set_a  180"  info1: "mode:    T
143 visited: 36
144 irg:     PRIMA_set_a
145 arity: 0
146 "color: blue}
147 edge: { sourcename: "n180" targetname: "n179" class:2  priority:50 linestyle:dotted}
148 node: {title: "n185" label: "ProjX 0 185"  info1: "mode:    X
149 visited: 36
150 irg:     PRIMA_set_a
151 arity: 1
152 "color: yellow}
153 edge: {sourcename: "n185" targetname: "n180" label: "0" class:13 priority:60 color:red}
154 edge: { sourcename: "n185" targetname: "n179" class:2  priority:50 linestyle:dotted}
155 node: {title: "n188" label: "Block  188"  info1: "mode:    BB
156 visited: 36
157 irg:     OO_PROGRAM_EXAMPLE_main
158 arity: 1 backedges:
159 "color: lightyellow}
160 edge: {sourcename: "n188" targetname: "n185" label: "0" class:13 priority:60 color:red}
161 node: {title: "n190" label: "CallBegin c  190"  info1: "mode:    T
162 visited: 36
163 irg:     OO_PROGRAM_EXAMPLE_main
164 arity: 1
165 possible callees:
166   0: PRIMA_c
167 "}
168 node: {title: "n190n165" label: "SymC &c  165"  info1: "mode:    P
169 visited: 36
170 irg:     OO_PROGRAM_EXAMPLE_main
171 arity: 0
172 kind addr_ent
173 "}
174 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
175 edge: { sourcename: "n190" targetname: "n188" class:2  priority:50 linestyle:dotted}
176 node: {title: "n192" label: "ProjX 0 192"  info1: "mode:    X
177 visited: 36
178 irg:     OO_PROGRAM_EXAMPLE_main
179 arity: 1
180 "color: yellow}
181 edge: {sourcename: "n192" targetname: "n190" label: "0" class:13 priority:60 color:red}
182 edge: { sourcename: "n192" targetname: "n188" class:2  priority:50 linestyle:dotted}
183 node: {title: "n152" label: "Block  152"  info1: "mode:    BB
184 visited: 36
185 irg:     PRIMA_c
186 arity: 1 backedges:
187 "color: lightyellow}
188 edge: {sourcename: "n152" targetname: "n192" label: "0" class:13 priority:60 color:red}
189 node: {title: "n153" label: "Start PRIMA_c  153"  info1: "mode:    T
190 visited: 36
191 irg:     PRIMA_c
192 arity: 0
193 start of method of type c
194   param 0 type: class_prima_ptr
195   param 1 type: int
196 "color: blue}
197 edge: { sourcename: "n153" targetname: "n152" class:2  priority:50 linestyle:dotted}
198 node: {title: "n151" label: "ProjX 0 151"  info1: "mode:    X
199 visited: 36
200 irg:     PRIMA_c
201 arity: 1
202 "color: yellow}
203 edge: {sourcename: "n151" targetname: "n153" label: "0" class:13 priority:60 color:red}
204 edge: { sourcename: "n151" targetname: "n152" class:2  priority:50 linestyle:dotted}
205 node: {title: "n150" label: "Block  150"  info1: "mode:    BB
206 visited: 36
207 irg:     PRIMA_c
208 arity: 1 backedges:
209 "color: lightyellow}
210 edge: {sourcename: "n150" targetname: "n151" label: "0" class:13 priority:60 color:red}
211 node: {title: "n170" label: "Jmp  170"  info1: "mode:    X
212 visited: 36
213 irg:     PRIMA_c
214 arity: 0
215 "}
216 edge: { sourcename: "n170" targetname: "n150" class:2  priority:50 linestyle:dotted}
217 node: {title: "n171" label: "Block  171"  info1: "mode:    BB
218 visited: 36
219 irg:     PRIMA_c
220 arity: 1 backedges:
221 "color: lightyellow}
222 edge: {sourcename: "n171" targetname: "n170" label: "0" class:13 priority:60 color:red}
223 node: {title: "n172" label: "EndReg PRIMA_c  172"  info1: "mode:    T
224 visited: 36
225 irg:     PRIMA_c
226 arity: 0
227 "color: blue}
228 edge: { sourcename: "n172" targetname: "n171" class:2  priority:50 linestyle:dotted}
229 node: {title: "n191" label: "ProjX 0 191"  info1: "mode:    X
230 visited: 36
231 irg:     PRIMA_c
232 arity: 1
233 "color: yellow}
234 edge: {sourcename: "n191" targetname: "n172" label: "0" class:13 priority:60 color:red}
235 edge: { sourcename: "n191" targetname: "n171" class:2  priority:50 linestyle:dotted}
236 node: {title: "n107" label: "Block  107"  info1: "mode:    BB
237 visited: 36
238 irg:     OO_PROGRAM_EXAMPLE_main
239 arity: 1 backedges:
240 "color: lightyellow}
241 edge: {sourcename: "n107" targetname: "n191" label: "0" class:13 priority:60 color:red}
242 node: {title: "n167" label: "FilterIs 1 167"  info1: "mode:    Is
243 visited: 36
244 irg:     PRIMA_c
245 arity: 1 backedges:
246 intra predecessor nodes:
247   ProjT 159
248 "color: yellow}
249 node: {title: "n167n114" label: "0x5Is  114"  info1: "mode:    Is
250 visited: 36
251 irg:     OO_PROGRAM_EXAMPLE_main
252 arity: 0
253 Const of type type_unknown
254 "color: yellow}
255 edge: {sourcename: "n167" targetname: "n167n114" label: "0" class:16 priority:10}
256 edge: { sourcename: "n167" targetname: "n152" class:2  priority:50 linestyle:dotted}
257 node: {title: "n118" label: "ProjM 1 118"  info1: "mode:    M
258 visited: 36
259 irg:     OO_PROGRAM_EXAMPLE_main
260 arity: 1
261 "color: yellow}
262 edge: {sourcename: "n118" targetname: "n110" label: "0" class:17 priority:10 color:blue}
263 edge: { sourcename: "n118" targetname: "n109" class:2  priority:50 linestyle:dotted}
264 node: {title: "n116" label: "Alloc  116"  info1: "mode:    T
265 visited: 36
266 irg:     OO_PROGRAM_EXAMPLE_main
267 arity: 2
268 allocating entity of type PRIMA
269 "}
270 node: {title: "n116n117" label: "SymC PRIMA size  117"  info1: "mode:    Iu
271 visited: 36
272 irg:     OO_PROGRAM_EXAMPLE_main
273 arity: 0
274 kind size
275 "}
276 edge: {sourcename: "n116" targetname: "n118" label: "0" class:17 priority:10 color:blue}
277 edge: {sourcename: "n116" targetname: "n116n117" label: "1" class:16 priority:10}
278 edge: { sourcename: "n116" targetname: "n182" class:2  priority:50 linestyle:dotted}
279 node: {title: "n115" label: "ProjP 2 115"  info1: "mode:    P
280 visited: 36
281 irg:     OO_PROGRAM_EXAMPLE_main
282 arity: 1
283 "color: yellow}
284 edge: {sourcename: "n115" targetname: "n116" label: "0" class:1  priority:50}
285 edge: { sourcename: "n115" targetname: "n182" class:2  priority:50 linestyle:dotted}
286 node: {title: "n169" label: "FilterP 0 169"  info1: "mode:    P
287 visited: 36
288 irg:     PRIMA_c
289 arity: 1 backedges:
290 intra predecessor nodes:
291   ProjT 159
292 "color: yellow}
293 edge: {sourcename: "n169" targetname: "n115" label: "0" class:16 priority:10}
294 edge: { sourcename: "n169" targetname: "n152" class:2  priority:50 linestyle:dotted}
295 node: {title: "n177" label: "FilterIs 1 177"  info1: "mode:    Is
296 visited: 36
297 irg:     PRIMA_set_a
298 arity: 1 backedges:
299 intra predecessor nodes:
300   ProjT 140
301 "color: yellow}
302 node: {title: "n177n122" label: "0x2Is  122"  info1: "mode:    Is
303 visited: 36
304 irg:     OO_PROGRAM_EXAMPLE_main
305 arity: 0
306 Const of type type_unknown
307 "color: yellow}
308 edge: {sourcename: "n177" targetname: "n177n122" label: "0" class:16 priority:10}
309 edge: { sourcename: "n177" targetname: "n135" class:2  priority:50 linestyle:dotted}
310 node: {title: "n176" label: "FilterP 0 176"  info1: "mode:    P
311 visited: 36
312 irg:     PRIMA_set_a
313 arity: 1 backedges:
314 intra predecessor nodes:
315   ProjT 140
316 "color: yellow}
317 edge: {sourcename: "n176" targetname: "n115" label: "0" class:16 priority:10}
318 edge: { sourcename: "n176" targetname: "n135" class:2  priority:50 linestyle:dotted}
319 node: {title: "n124" label: "ProjM 0 124"  info1: "mode:    M
320 visited: 36
321 irg:     OO_PROGRAM_EXAMPLE_main
322 arity: 1
323 "color: yellow}
324 edge: {sourcename: "n124" targetname: "n116" label: "0" class:17 priority:10 color:blue}
325 edge: { sourcename: "n124" targetname: "n182" class:2  priority:50 linestyle:dotted}
326 node: {title: "n175" label: "FilterM 1 175"  info1: "mode:    M
327 visited: 36
328 irg:     PRIMA_set_a
329 arity: 1 backedges:
330 intra predecessor nodes:
331   StartT 136
332 "color: yellow}
333 edge: {sourcename: "n175" targetname: "n124" label: "0" class:17 priority:10 color:blue}
334 edge: { sourcename: "n175" targetname: "n135" class:2  priority:50 linestyle:dotted}
335 node: {title: "n141" label: "Sel a 141"  info1: "mode:    P
336 visited: 36
337 irg:     PRIMA_set_a
338 arity: 2
339 Selecting entity of type int
340   from entity of type PRIMA
341 "}
342 edge: {sourcename: "n141" targetname: "n175" label: "0" class:17 priority:10 color:blue}
343 edge: {sourcename: "n141" targetname: "n176" label: "1" class:16 priority:10}
344 edge: { sourcename: "n141" targetname: "n133" class:2  priority:50 linestyle:dotted}
345 node: {title: "n138" label: "Store  138"  info1: "mode:    T
346 visited: 36
347 irg:     PRIMA_set_a
348 arity: 3
349 "}
350 edge: {sourcename: "n138" targetname: "n175" label: "0" class:17 priority:10 color:blue}
351 edge: {sourcename: "n138" targetname: "n141" label: "1" class:1  priority:50}
352 edge: {sourcename: "n138" targetname: "n177" label: "2" class:16 priority:10}
353 edge: { sourcename: "n138" targetname: "n133" class:2  priority:50 linestyle:dotted}
354 node: {title: "n137" label: "ProjM 0 137"  info1: "mode:    M
355 visited: 36
356 irg:     PRIMA_set_a
357 arity: 1
358 "color: yellow}
359 edge: {sourcename: "n137" targetname: "n138" label: "0" class:17 priority:10 color:blue}
360 edge: { sourcename: "n137" targetname: "n133" class:2  priority:50 linestyle:dotted}
361 node: {title: "n187" label: "FilterM 0 187"  info1: "mode:    M
362 visited: 36
363 irg:     OO_PROGRAM_EXAMPLE_main
364 arity: 1 backedges:
365 intra predecessor nodes:
366   CallT 121
367 "color: yellow}
368 edge: {sourcename: "n187" targetname: "n137" label: "0" class:17 priority:10 color:blue}
369 edge: { sourcename: "n187" targetname: "n188" class:2  priority:50 linestyle:dotted}
370 node: {title: "n168" label: "FilterM 1 168"  info1: "mode:    M
371 visited: 36
372 irg:     PRIMA_c
373 arity: 1 backedges:
374 intra predecessor nodes:
375   StartT 153
376 "color: yellow}
377 edge: {sourcename: "n168" targetname: "n187" label: "0" class:17 priority:10 color:blue}
378 edge: { sourcename: "n168" targetname: "n152" class:2  priority:50 linestyle:dotted}
379 node: {title: "n157" label: "Sel a 157"  info1: "mode:    P
380 visited: 36
381 irg:     PRIMA_c
382 arity: 2
383 Selecting entity of type int
384   from entity of type PRIMA
385 "}
386 edge: {sourcename: "n157" targetname: "n168" label: "0" class:17 priority:10 color:blue}
387 edge: {sourcename: "n157" targetname: "n169" label: "1" class:16 priority:10}
388 edge: { sourcename: "n157" targetname: "n150" class:2  priority:50 linestyle:dotted}
389 node: {title: "n156" label: "Load  156"  info1: "mode:    T
390 visited: 36
391 irg:     PRIMA_c
392 arity: 2
393 "}
394 edge: {sourcename: "n156" targetname: "n168" label: "0" class:17 priority:10 color:blue}
395 edge: {sourcename: "n156" targetname: "n157" label: "1" class:1  priority:50}
396 edge: { sourcename: "n156" targetname: "n150" class:2  priority:50 linestyle:dotted}
397 node: {title: "n155" label: "ProjIs 2 155"  info1: "mode:    Is
398 visited: 36
399 irg:     PRIMA_c
400 arity: 1
401 "color: yellow}
402 edge: {sourcename: "n155" targetname: "n156" label: "0" class:1  priority:50}
403 edge: { sourcename: "n155" targetname: "n150" class:2  priority:50 linestyle:dotted}
404 node: {title: "n154" label: "AddIs  154"  info1: "mode:    Is
405 visited: 36
406 irg:     PRIMA_c
407 arity: 2
408 "}
409 edge: {sourcename: "n154" targetname: "n155" label: "0" class:1  priority:50}
410 edge: {sourcename: "n154" targetname: "n167" label: "1" class:16 priority:10}
411 edge: { sourcename: "n154" targetname: "n150" class:2  priority:50 linestyle:dotted}
412 node: {title: "n194" label: "FilterIs 0 194"  info1: "mode:    Is
413 visited: 36
414 irg:     OO_PROGRAM_EXAMPLE_main
415 arity: 1 backedges:
416 intra predecessor nodes:
417   ProjT 112
418 "color: yellow}
419 edge: {sourcename: "n194" targetname: "n154" label: "0" class:16 priority:10}
420 edge: { sourcename: "n194" targetname: "n107" class:2  priority:50 linestyle:dotted}
421 node: {title: "n162" label: "ProjM 0 162"  info1: "mode:    M
422 visited: 36
423 irg:     PRIMA_c
424 arity: 1
425 "color: yellow}
426 edge: {sourcename: "n162" targetname: "n156" label: "0" class:17 priority:10 color:blue}
427 edge: { sourcename: "n162" targetname: "n150" class:2  priority:50 linestyle:dotted}
428 node: {title: "n193" label: "FilterM 0 193"  info1: "mode:    M
429 visited: 36
430 irg:     OO_PROGRAM_EXAMPLE_main
431 arity: 1 backedges:
432 intra predecessor nodes:
433   CallT 113
434 "color: yellow}
435 edge: {sourcename: "n193" targetname: "n162" label: "0" class:17 priority:10 color:blue}
436 edge: { sourcename: "n193" targetname: "n107" class:2  priority:50 linestyle:dotted}
437 node: {title: "n106" label: "Return  106"  info1: "mode:    X
438 visited: 36
439 irg:     OO_PROGRAM_EXAMPLE_main
440 arity: 2
441 "}
442 edge: {sourcename: "n106" targetname: "n193" label: "0" class:14 priority:50 color:blue}
443 edge: {sourcename: "n106" targetname: "n194" label: "1" class:1  priority:50}
444 edge: { sourcename: "n106" targetname: "n107" class:2  priority:50 linestyle:dotted}
445 node: {title: "n105" label: "Block  105"  info1: "mode:    BB
446 visited: 36
447 irg:     OO_PROGRAM_EXAMPLE_main
448 arity: 1 backedges:
449 "color: lightyellow}
450 edge: {sourcename: "n105" targetname: "n106" label: "0" class:13 priority:60 color:red}
451 node: {title: "n103" label: "End OO_PROGRAM_EXAMPLE_main  103"  info1: "mode:    X
452 visited: 36
453 irg:     OO_PROGRAM_EXAMPLE_main
454 arity: 2
455 "color: blue}
456 edge: { sourcename: "n103" targetname: "n105" class:2  priority:50 linestyle:dotted}
457 node: {title: "e14" label: "ent a" color: yellow
458  info1: "entity a (14)
459   type:  int (11)
460   owner: PRIMA (12)
461   Does not overwrite other entities.
462   Is not overwriten by other entities.
463   allocation:  allocation_automatic
464   visibility:  visibility_local
465   variability: variability_uninitialized
466   volatility:  volatility_non_volatile
467   peculiarity: peculiarity_existent
468   ld_name: no yet set
469   offset:  -1
470
471 "
472 }
473 edge: { sourcename: "e14" targetname: "t11"class: 3 label: "type" color: red}
474 node: {title: "t12" label: "class PRIMA" info1: "state: layout_undefined
475 size: -1b,
476 peculiarity: peculiarity_existent
477 " color: green}
478 edge: { sourcename: "t12" targetname: "e14"class: 12 label: "member" color:blue}
479 edge: { sourcename: "t12" targetname: "e17"class: 12 label: "member" color:blue}
480 edge: { sourcename: "t12" targetname: "e20"class: 12 label: "member" color:blue}
481 node: {title: "e17" label: "ent PRIMA_set_a" color: yellow
482  info1: "entity set_a (17)
483   type:  set_a (15)
484   owner: PRIMA (12)
485   Does not overwrite other entities.
486   Is not overwriten by other entities.
487   allocation:  allocation_static
488   visibility:  visibility_local
489   variability: variability_constant
490   atomic value: SymC &set_a
491   volatility:  volatility_non_volatile
492   peculiarity: peculiarity_existent
493   ld_name: PRIMA_set_a
494   offset:  -1
495   irg = 68
496
497 "
498 }
499 edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
500 edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
501 node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
502 visited: 39
503 arity: 0
504 kind addr_ent
505 "}
506 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
507 mode: P,
508 size: 32b,
509 variadicity: variadicity_non_variadic
510 params: 2
511 results: 0
512 "}
513 edge: { sourcename: "t15" targetname: "t13"class: 5 label: "param 0" color: green}
514 edge: { sourcename: "t15" targetname: "t11"class: 5 label: "param 1" color: green}
515 node: {title: "t13" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
516 mode: P,
517 size: 32b,
518 "}
519 edge: { sourcename: "t13" targetname: "t12"class: 9 label: "points to" color:green}
520 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
521 mode: Is,
522 size: 32b,
523 "}
524 node: {title: "e20" label: "ent PRIMA_c" color: yellow
525  info1: "entity c (20)
526   type:  c (18)
527   owner: PRIMA (12)
528   Does not overwrite other entities.
529   Is not overwriten by other entities.
530   allocation:  allocation_static
531   visibility:  visibility_local
532   variability: variability_constant
533   atomic value: SymC &c
534   volatility:  volatility_non_volatile
535   peculiarity: peculiarity_existent
536   ld_name: PRIMA_c
537   offset:  -1
538   irg = 90
539
540 "
541 }
542 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
543 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
544 node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
545 visited: 40
546 arity: 0
547 kind addr_ent
548 "}
549 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
550 mode: P,
551 size: 32b,
552 variadicity: variadicity_non_variadic
553 params: 2
554 results: 1
555 "}
556 edge: { sourcename: "t18" targetname: "t13"class: 5 label: "param 0" color: green}
557 edge: { sourcename: "t18" targetname: "t11"class: 5 label: "param 1" color: green}
558 edge: { sourcename: "t18" targetname: "t11"class: 6 label: "res 0" color: green}
559 node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
560  info1: "entity OO_PROGRAM_EXAMPLE_main (23)
561   type:  OO_PROGRAM_EXAMPLE_main (21)
562   owner: GlobalType (0)
563   Does not overwrite other entities.
564   Is not overwriten by other entities.
565   allocation:  allocation_static
566   visibility:  visibility_local
567   variability: variability_constant
568   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
569   volatility:  volatility_non_volatile
570   peculiarity: peculiarity_existent
571   ld_name: no yet set
572   offset:  -1
573   irg = 35
574
575 "
576 }
577 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
578 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
579 node: {title: "n22" label: "SymC &OO_PROGRAM_EXAMPLE_main  22"  info1: "mode:    P
580 visited: 41
581 arity: 0
582 kind addr_ent
583 "}
584 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
585 size: -1b,
586 peculiarity: peculiarity_existent
587 " color: green}
588 edge: { sourcename: "t0" targetname: "e23"class: 12 label: "member" color:blue}
589 node: {title: "t21" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
590 mode: P,
591 size: 32b,
592 variadicity: variadicity_non_variadic
593 params: 0
594 results: 1
595 "}
596 edge: { sourcename: "t21" targetname: "t11"class: 6 label: "res 0" color: green}
597 node: {title: "t24" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
598 size: -1b,
599 peculiarity: peculiarity_existent
600 " color: green}
601 edge: { sourcename: "n157" targetname: "e14"class:2 priority:2 linestyle:dotted}
602 edge: { sourcename: "n116" targetname: "t12"class:2 priority:2 linestyle:dotted}
603 edge: { sourcename: "n117" targetname: "t12"class:2 priority:2 linestyle:dotted}
604 edge: { sourcename: "n141" targetname: "e14"class:2 priority:2 linestyle:dotted}
605 }
libfirm