nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-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 18: "Exception Control Flow for Interval Analysis"
  12 classname 14: "intrablock Memory"
  13 classname 17: "interblock Memory"
  14 classname 15: "Dominators"
  15 classname 3:  "Entity type"
  16 classname 4:  "Entity owner"
  17 classname 5:  "Method Param"
  18 classname 6:  "Method Res"
  19 classname 7:  "Super"
  20 classname 8:  "Union"
  21 classname 9:  "Points-to"
  22 classname 10: "Array Element Type"
  23 classname 11: "Overwrites"
  24 classname 12: "Member"
  25 infoname 1: "Attribute"
  26 infoname 2: "Verification errors"
  27 colorentry 100:    0   0    0
  28 colorentry 101:   20   0    0
  29 colorentry 102:   40   0    0
  30 colorentry 103:   60   0    0
  31 colorentry 104:   80   0    0
  32 colorentry 105:  100   0    0
  33 colorentry 106:  120   0    0
  34 colorentry 107:  140   0    0
  35 colorentry 108:  150   0    0
  36 colorentry 109:  180   0    0
  37 colorentry 110:  200   0    0
  38 colorentry 111:  220   0    0
  39 colorentry 112:  240   0    0
  40 colorentry 113:  255   0    0
  41 colorentry 113:  255  20   20
  42 colorentry 114:  255  40   40
  43 colorentry 115:  255  60   60
  44 colorentry 116:  255  80   80
  45 colorentry 117:  255 100  100
  46 colorentry 118:  255 120  120
  47 colorentry 119:  255 140  140
  48 colorentry 120:  255 150  150
  49 colorentry 121:  255 180  180
  50 colorentry 122:  255 200  200
  51 colorentry 123:  255 220  220
  52 colorentry 124:  255 240  240
  53 colorentry 125:  255 250  250
  54
  55 graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white
  56 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
  57 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
  58 node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main  109"  info1: "End OO_PROGRAM_EXAMPLE_main 109
  59   mode:    X
  60   visited: 45
  61   irg:     OO_PROGRAM_EXAMPLE_main
  62   arity:   2
  63   pred nodes:
  64     -1:    Block 28
  65      0:    Block 191
  66      1:    Block 197
  67   Private Attributes:
  68 "
  69 color: blue}
  70 }
  71
  72 graph: { title: "n40"  label: "Block 40" status:clustered color:yellow
  73 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
  74 node: {title: "n59" label: "Return  59"  info1: "Return 59
  75   mode:    X
  76   visited: 45
  77   irg:     OO_PROGRAM_EXAMPLE_main
  78   arity:   2
  79   pred nodes:
  80     -1:    Block 40
  81      0:    Filter 202
  82      1:    Filter 203
  83   Private Attributes:
  84 "
  85 }
  86 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
  87 edge: {sourcename: "n59" targetname: "n203" label: "1" class:1  priority:50}
  88 node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
  89   mode:    M
  90   visited: 45
  91   irg:     OO_PROGRAM_EXAMPLE_main
  92   arity:   1
  93   pred nodes:
  94     -1:    Block 40
  95      0:    Call 54
  96   Private Attributes:
  97   inter arity: 1
  98   inter pred nodes:
  99      0:    Proj 104
 100   backedges:
 101 "
 102 color: yellow}
 103 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
 104 node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
 105   mode:    Is
 106   visited: 45
 107   irg:     OO_PROGRAM_EXAMPLE_main
 108   arity:   1
 109   pred nodes:
 110     -1:    Block 40
 111      0:    Proj 57
 112   Private Attributes:
 113   inter arity: 1
 114   inter pred nodes:
 115      0:    Add 106
 116   backedges:
 117 "
 118 color: yellow}
 119 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
 120 }
 121
 122 graph: { title: "n197"  label: "Block 197" status:clustered color:yellow
 123 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
 124 node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
 125   mode:    M
 126   visited: 45
 127   irg:     OO_PROGRAM_EXAMPLE_main
 128   arity:   1
 129   pred nodes:
 130     -1:    Block 197
 131      0:    Call 50
 132   Private Attributes:
 133   inter arity: 1
 134   inter pred nodes:
 135      0:    Proj 81
 136   backedges:
 137 "
 138 color: yellow}
 139 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 140 node: {title: "n201" label: "ProjX 0 201"  info1: "Proj 201
 141   mode:    X
 142   visited: 45
 143   irg:     OO_PROGRAM_EXAMPLE_main
 144   arity:   1
 145   pred nodes:
 146     -1:    Block 197
 147      0:    CallBegin c 199
 148   Private Attributes:
 149 "
 150 color: yellow}
 151 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
 152 node: {title: "n199" label: "CallBegin c  199"  info1: "CallBegin c 199
 153   mode:    T
 154   visited: 45
 155   irg:     OO_PROGRAM_EXAMPLE_main
 156   arity:   1
 157   pred nodes:
 158     -1:    Block 197
 159      0:    SymC &c 174
 160   Private Attributes:
 161   Call: 54
 162   possible callees:
 163     0: PRIMA_c
 164 "
 165 }
 166 node: {title: "n199n174" label: "SymC &c  174"  info1: "SymC &c 174
 167   mode:    P
 168   visited: 45
 169   irg:     OO_PROGRAM_EXAMPLE_main
 170   arity:   0
 171   pred nodes:
 172     -1:    Block 30
 173   Private Attributes:
 174   kind:   addr_ent
 175   entity: entity PRIMA.c (23)
 176
 177   type of value: type_unknown
 178 "
 179 }
 180 edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10}
 181 }
 182
 183 graph: { title: "n191"  label: "Block 191" status:clustered color:yellow
 184 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
 185 node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
 186   mode:    M
 187   visited: 45
 188   irg:     OO_PROGRAM_EXAMPLE_main
 189   arity:   1
 190   pred nodes:
 191     -1:    Block 191
 192      0:    Alloc 45
 193   Private Attributes:
 194 "
 195 color: yellow}
 196 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 197 node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
 198   mode:    P
 199   visited: 45
 200   irg:     OO_PROGRAM_EXAMPLE_main
 201   arity:   1
 202   pred nodes:
 203     -1:    Block 191
 204      0:    Alloc 45
 205   Private Attributes:
 206 "
 207 color: yellow}
 208 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 209 node: {title: "n45" label: "Alloc  45"  info1: "Alloc 45
 210   mode:    T
 211   visited: 45
 212   irg:     OO_PROGRAM_EXAMPLE_main
 213   arity:   2
 214   pred nodes:
 215     -1:    Block 191
 216      0:    Proj 37
 217      1:    SymC PRIMA size 43
 218   Private Attributes:
 219   pinned state: op_pin_state_pinned
 220   allocating entity of type: PRIMA
 221   allocating on: the heap
 222 "
 223 }
 224 node: {title: "n45n43" label: "SymC PRIMA size  43"  info1: "SymC PRIMA size 43
 225   mode:    Iu
 226   visited: 45
 227   irg:     OO_PROGRAM_EXAMPLE_main
 228   arity:   0
 229   pred nodes:
 230     -1:    Block 30
 231   Private Attributes:
 232   kind: size
 233   type: class type PRIMA (15)
 234   type of value: type_unknown
 235 "
 236 }
 237 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 238 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
 239 node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
 240   mode:    X
 241   visited: 45
 242   irg:     OO_PROGRAM_EXAMPLE_main
 243   arity:   1
 244   pred nodes:
 245     -1:    Block 191
 246      0:    CallBegin set_a 193
 247   Private Attributes:
 248 "
 249 color: yellow}
 250 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
 251 node: {title: "n193" label: "CallBegin set_a  193"  info1: "CallBegin set_a 193
 252   mode:    T
 253   visited: 45
 254   irg:     OO_PROGRAM_EXAMPLE_main
 255   arity:   1
 256   pred nodes:
 257     -1:    Block 191
 258      0:    SymC &set_a 175
 259   Private Attributes:
 260   Call: 50
 261   possible callees:
 262     0: PRIMA_set_a
 263 "
 264 }
 265 node: {title: "n193n175" label: "SymC &set_a  175"  info1: "SymC &set_a 175
 266   mode:    P
 267   visited: 45
 268   irg:     OO_PROGRAM_EXAMPLE_main
 269   arity:   0
 270   pred nodes:
 271     -1:    Block 30
 272   Private Attributes:
 273   kind:   addr_ent
 274   entity: entity PRIMA.set_a (20)
 275
 276   type of value: type_unknown
 277 "
 278 }
 279 edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10}
 280 }
 281
 282 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
 283 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
 284 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 285   mode:    M
 286   visited: 45
 287   irg:     OO_PROGRAM_EXAMPLE_main
 288   arity:   1
 289   pred nodes:
 290     -1:    Block 30
 291      0:    Start OO_PROGRAM_EXAMPLE_main 31
 292   Private Attributes:
 293 "
 294 color: yellow}
 295 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 296 node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
 297   mode:    X
 298   visited: 45
 299   irg:     OO_PROGRAM_EXAMPLE_main
 300   arity:   1
 301   pred nodes:
 302     -1:    Block 30
 303      0:    Start OO_PROGRAM_EXAMPLE_main 31
 304   Private Attributes:
 305 "
 306 color: yellow}
 307 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
 308 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main  31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
 309   mode:    T
 310   visited: 45
 311   irg:     OO_PROGRAM_EXAMPLE_main
 312   arity:   0
 313   pred nodes:
 314     -1:    Block 30
 315   Private Attributes:
 316   start of method of type OO_PROGRAM_EXAMPLE_main
 317 "
 318 color: blue}
 319 }
 320
 321 }
 322
 323 graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white
 324 graph: { title: "n188"  label: "Block 188" status:clustered color:yellow
 325 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
 326 node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
 327   mode:    X
 328   visited: 45
 329   irg:     PRIMA_set_a
 330   arity:   1
 331   pred nodes:
 332     -1:    Block 188
 333      0:    EndReg PRIMA_set_a 189
 334   Private Attributes:
 335 "
 336 color: yellow}
 337 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
 338 node: {title: "n189" label: "EndReg PRIMA_set_a  189"  info1: "EndReg PRIMA_set_a 189
 339   mode:    T
 340   visited: 45
 341   irg:     PRIMA_set_a
 342   arity:   0
 343   pred nodes:
 344     -1:    Block 188
 345   Private Attributes:
 346 "
 347 color: blue}
 348 }
 349
 350 graph: { title: "n74"  label: "Block 74" status:clustered color:yellow
 351 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
 352 node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
 353   mode:    M
 354   visited: 45
 355   irg:     PRIMA_set_a
 356   arity:   1
 357   pred nodes:
 358     -1:    Block 74
 359      0:    Store 79
 360   Private Attributes:
 361 "
 362 color: yellow}
 363 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 364 node: {title: "n79" label: "Store  79"  info1: "Store 79
 365   mode:    T
 366   visited: 45
 367   irg:     PRIMA_set_a
 368   arity:   3
 369   pred nodes:
 370     -1:    Block 74
 371      0:    Filter 184
 372      1:    Sel 78
 373      2:    Filter 186
 374   Private Attributes:
 375   pinned state: op_pin_state_pinned
 376   volatility: volatility_non_volatile
 377 "
 378 }
 379 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 380 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 381 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 382 node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
 383   mode:    P
 384   visited: 45
 385   irg:     PRIMA_set_a
 386   arity:   2
 387   pred nodes:
 388     -1:    Block 74
 389      0:    Filter 184
 390      1:    Filter 185
 391   Private Attributes:
 392   Selecting entity of type int
 393     from entity of type PRIMA
 394 "
 395 }
 396 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 397 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 398 node: {title: "n187" label: "Jmp  187"  info1: "Jmp 187
 399   mode:    X
 400   visited: 45
 401   irg:     PRIMA_set_a
 402   arity:   0
 403   pred nodes:
 404     -1:    Block 74
 405   Private Attributes:
 406 "
 407 }
 408 }
 409
 410 graph: { title: "n64"  label: "Block 64" status:clustered color:yellow
 411 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 412 node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
 413   mode:    M
 414   visited: 45
 415   irg:     PRIMA_set_a
 416   arity:   1
 417   pred nodes:
 418     -1:    Block 64
 419      0:    Start PRIMA_set_a 65
 420   Private Attributes:
 421   inter arity: 1
 422   inter pred nodes:
 423      0:    Proj 47
 424   backedges:
 425 "
 426 color: yellow}
 427 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 428 node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
 429   mode:    P
 430   visited: 45
 431   irg:     PRIMA_set_a
 432   arity:   1
 433   pred nodes:
 434     -1:    Block 64
 435      0:    Proj 72
 436   Private Attributes:
 437   inter arity: 1
 438   inter pred nodes:
 439      0:    Proj 48
 440   backedges:
 441 "
 442 color: yellow}
 443 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 444 node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
 445   mode:    Is
 446   visited: 45
 447   irg:     PRIMA_set_a
 448   arity:   1
 449   pred nodes:
 450     -1:    Block 64
 451      0:    Proj 72
 452   Private Attributes:
 453   inter arity: 1
 454   inter pred nodes:
 455      0:    0x2 41
 456   backedges:
 457 "
 458 color: yellow}
 459 node: {title: "n186n41" label: "0x2Is  41"  info1: "0x2 41
 460   mode:    Is
 461   visited: 45
 462   irg:     OO_PROGRAM_EXAMPLE_main
 463   arity:   0
 464   pred nodes:
 465     -1:    Block 30
 466   Private Attributes:
 467   Const of type type_unknown
 468 "
 469 color: yellow}
 470 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
 471 node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
 472   mode:    X
 473   visited: 45
 474   irg:     PRIMA_set_a
 475   arity:   1
 476   pred nodes:
 477     -1:    Block 64
 478      0:    Start PRIMA_set_a 65
 479   Private Attributes:
 480 "
 481 color: yellow}
 482 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 483 node: {title: "n65" label: "Start PRIMA_set_a  65"  info1: "Start PRIMA_set_a 65
 484   mode:    T
 485   visited: 45
 486   irg:     PRIMA_set_a
 487   arity:   0
 488   pred nodes:
 489     -1:    Block 64
 490   Private Attributes:
 491   start of method of type set_a
 492     param 0 type: class_prima_ptr
 493     param 1 type: int
 494 "
 495 color: blue}
 496 }
 497
 498 }
 499
 500 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white
 501 graph: { title: "n180"  label: "Block 180" status:clustered color:yellow
 502 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 503 node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
 504   mode:    X
 505   visited: 45
 506   irg:     PRIMA_c
 507   arity:   1
 508   pred nodes:
 509     -1:    Block 180
 510      0:    EndReg PRIMA_c 181
 511   Private Attributes:
 512 "
 513 color: yellow}
 514 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 515 node: {title: "n181" label: "EndReg PRIMA_c  181"  info1: "EndReg PRIMA_c 181
 516   mode:    T
 517   visited: 45
 518   irg:     PRIMA_c
 519   arity:   0
 520   pred nodes:
 521     -1:    Block 180
 522   Private Attributes:
 523 "
 524 color: blue}
 525 }
 526
 527 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
 528 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 529 node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
 530   mode:    M
 531   visited: 45
 532   irg:     PRIMA_c
 533   arity:   1
 534   pred nodes:
 535     -1:    Block 97
 536      0:    Load[Is] 102
 537   Private Attributes:
 538 "
 539 color: yellow}
 540 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 541 node: {title: "n106" label: "AddIs  106"  info1: "Add 106
 542   mode:    Is
 543   visited: 45
 544   irg:     PRIMA_c
 545   arity:   2
 546   pred nodes:
 547     -1:    Block 97
 548      0:    Proj 105
 549      1:    Filter 178
 550   Private Attributes:
 551 "
 552 }
 553 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 554 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 555 node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
 556   mode:    Is
 557   visited: 45
 558   irg:     PRIMA_c
 559   arity:   1
 560   pred nodes:
 561     -1:    Block 97
 562      0:    Load[Is] 102
 563   Private Attributes:
 564 "
 565 color: yellow}
 566 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 567 node: {title: "n102" label: "Load[Is]  102"  info1: "Load[Is] 102
 568   mode:    T
 569   visited: 45
 570   irg:     PRIMA_c
 571   arity:   2
 572   pred nodes:
 573     -1:    Block 97
 574      0:    Filter 176
 575      1:    Sel 101
 576   Private Attributes:
 577   pinned state: op_pin_state_pinned
 578   mode of loaded value: Is
 579   volatility: volatility_non_volatile
 580 "
 581 }
 582 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 583 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 584 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
 585   mode:    P
 586   visited: 45
 587   irg:     PRIMA_c
 588   arity:   2
 589   pred nodes:
 590     -1:    Block 97
 591      0:    Filter 176
 592      1:    Filter 177
 593   Private Attributes:
 594   Selecting entity of type int
 595     from entity of type PRIMA
 596 "
 597 }
 598 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 599 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 600 node: {title: "n179" label: "Jmp  179"  info1: "Jmp 179
 601   mode:    X
 602   visited: 45
 603   irg:     PRIMA_c
 604   arity:   0
 605   pred nodes:
 606     -1:    Block 97
 607   Private Attributes:
 608 "
 609 }
 610 }
 611
 612 graph: { title: "n87"  label: "Block 87" status:clustered color:yellow
 613 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 614 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
 615   mode:    M
 616   visited: 45
 617   irg:     PRIMA_c
 618   arity:   1
 619   pred nodes:
 620     -1:    Block 87
 621      0:    Start PRIMA_c 88
 622   Private Attributes:
 623   inter arity: 1
 624   inter pred nodes:
 625      0:    Filter 196
 626   backedges:
 627 "
 628 color: yellow}
 629 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 630 node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
 631   mode:    P
 632   visited: 45
 633   irg:     PRIMA_c
 634   arity:   1
 635   pred nodes:
 636     -1:    Block 87
 637      0:    Proj 95
 638   Private Attributes:
 639   inter arity: 1
 640   inter pred nodes:
 641      0:    Proj 48
 642   backedges:
 643 "
 644 color: yellow}
 645 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 646 node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
 647   mode:    Is
 648   visited: 45
 649   irg:     PRIMA_c
 650   arity:   1
 651   pred nodes:
 652     -1:    Block 87
 653      0:    Proj 95
 654   Private Attributes:
 655   inter arity: 1
 656   inter pred nodes:
 657      0:    0x5 42
 658   backedges:
 659 "
 660 color: yellow}
 661 node: {title: "n178n42" label: "0x5Is  42"  info1: "0x5 42
 662   mode:    Is
 663   visited: 45
 664   irg:     OO_PROGRAM_EXAMPLE_main
 665   arity:   0
 666   pred nodes:
 667     -1:    Block 30
 668   Private Attributes:
 669   Const of type type_unknown
 670 "
 671 color: yellow}
 672 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
 673 node: {title: "n91" label: "ProjX 0 91"  info1: "Proj 91
 674   mode:    X
 675   visited: 45
 676   irg:     PRIMA_c
 677   arity:   1
 678   pred nodes:
 679     -1:    Block 87
 680      0:    Start PRIMA_c 88
 681   Private Attributes:
 682 "
 683 color: yellow}
 684 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
 685 node: {title: "n88" label: "Start PRIMA_c  88"  info1: "Start PRIMA_c 88
 686   mode:    T
 687   visited: 45
 688   irg:     PRIMA_c
 689   arity:   0
 690   pred nodes:
 691     -1:    Block 87
 692   Private Attributes:
 693   start of method of type c
 694     param 0 type: class_prima_ptr
 695     param 1 type: int
 696 "
 697 color: blue}
 698 }
 699
 700 }
 701
 702 node: {title: "e17" label: "ent a" color: yellow
 703  info1: "entity a (17)
 704   type:  int (14)
 705   owner: PRIMA (15)
 706   Does not overwrite other entities.
 707   Is not overwritten by other entities.
 708   allocation:  allocation_automatic
 709   visibility:  visibility_local
 710   variability: variability_uninitialized
 711   volatility:  volatility_non_volatile
 712   peculiarity: peculiarity_existent
 713   ld_name: no yet set
 714   offset:  -1
 715
 716 "
 717 }
 718 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 719 node: {title: "t15" label: "class PRIMA" info1: "state: layout_undefined
 720 size: -1b,
 721 peculiarity: peculiarity_existent
 722 " color: green}
 723 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 724 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 725 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 726 node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
 727  info1: "entity set_a (20)
 728   type:  set_a (18)
 729   owner: PRIMA (15)
 730   Does not overwrite other entities.
 731   Is not overwritten by other entities.
 732   allocation:  allocation_static
 733   visibility:  visibility_local
 734   variability: variability_constant
 735   atomic value: SymC &set_a
 736   volatility:  volatility_non_volatile
 737   peculiarity: peculiarity_existent
 738   ld_name: PRIMA_set_a
 739   offset:  -1
 740   irg = 73
 741
 742 "
 743 }
 744 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 745 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 746 node: {title: "n19" label: "SymC &set_a  19"  info1: "SymC &set_a 19
 747   mode:    P
 748   visited: 48
 749   arity:   0
 750   pred nodes:
 751     -1:    Block 3
 752   Private Attributes:
 753   kind:   addr_ent
 754   entity: entity PRIMA.set_a (20)
 755
 756   type of value: type_unknown
 757 "
 758 }
 759 node: {title: "t18" label: "method set_a" info1: "state: layout_fixed,
 760 mode: P,
 761 size: 32b,
 762 variadicity: variadicity_non_variadic
 763 params: 2
 764 results: 0
 765 "}
 766 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
 767 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 768 node: {title: "t16" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
 769 mode: P,
 770 size: 32b,
 771 "}
 772 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 773 node: {title: "t14" label: "primitive int" info1: "state: layout_fixed,
 774 mode: Is,
 775 size: 32b,
 776 "}
 777 node: {title: "e23" label: "ent PRIMA_c" color: yellow
 778  info1: "entity c (23)
 779   type:  c (21)
 780   owner: PRIMA (15)
 781   Does not overwrite other entities.
 782   Is not overwritten by other entities.
 783   allocation:  allocation_static
 784   visibility:  visibility_local
 785   variability: variability_constant
 786   atomic value: SymC &c
 787   volatility:  volatility_non_volatile
 788   peculiarity: peculiarity_existent
 789   ld_name: PRIMA_c
 790   offset:  -1
 791   irg = 96
 792
 793 "
 794 }
 795 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 796 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 797 node: {title: "n22" label: "SymC &c  22"  info1: "SymC &c 22
 798   mode:    P
 799   visited: 49
 800   arity:   0
 801   pred nodes:
 802     -1:    Block 3
 803   Private Attributes:
 804   kind:   addr_ent
 805   entity: entity PRIMA.c (23)
 806
 807   type of value: type_unknown
 808 "
 809 }
 810 node: {title: "t21" label: "method c" info1: "state: layout_fixed,
 811 mode: P,
 812 size: 32b,
 813 variadicity: variadicity_non_variadic
 814 params: 2
 815 results: 1
 816 "}
 817 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
 818 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
 819 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 820 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
 821  info1: "entity OO_PROGRAM_EXAMPLE_main (26)
 822   type:  OO_PROGRAM_EXAMPLE_main (24)
 823   owner: GlobalType (0)
 824   Does not overwrite other entities.
 825   Is not overwritten by other entities.
 826   allocation:  allocation_static
 827   visibility:  visibility_local
 828   variability: variability_constant
 829   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
 830   volatility:  volatility_non_volatile
 831   peculiarity: peculiarity_existent
 832   ld_name: no yet set
 833   offset:  -1
 834   irg = 39
 835
 836 "
 837 }
 838 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
 839 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
 840 node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main  25"  info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
 841   mode:    P
 842   visited: 50
 843   arity:   0
 844   pred nodes:
 845     -1:    Block 3
 846   Private Attributes:
 847   kind:   addr_ent
 848   entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)
 849
 850   type of value: type_unknown
 851 "
 852 }
 853 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 854 size: -1b,
 855 peculiarity: peculiarity_existent
 856 " color: green}
 857 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
 858 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
 859 mode: P,
 860 size: 32b,
 861 variadicity: variadicity_non_variadic
 862 params: 0
 863 results: 1
 864 "}
 865 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
 866 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 867 size: -1b,
 868 peculiarity: peculiarity_existent
 869 " color: green}
 870 edge: { sourcename: "n101" targetname: "e17"class:2 priority:2 linestyle:dotted}
 871 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
 872 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
 873 edge: { sourcename: "n78" targetname: "e17"class:2 priority:2 linestyle:dotted}
 874 }