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 a (17)
 394     of type PRIMA
 395 "
 396 }
 397 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 398 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 399 node: {title: "n187" label: "Jmp 187"  info1: "Jmp 187
 400   mode:    X
 401   visited: 45
 402   irg:     PRIMA_set_a
 403   arity:   0
 404   pred nodes:
 405     -1:    Block 74
 406   Private Attributes:
 407 "
 408 }
 409 }
 410
 411 graph: { title: "n64"  label: "Block 64" status:clustered color:yellow
 412 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 413 node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
 414   mode:    M
 415   visited: 45
 416   irg:     PRIMA_set_a
 417   arity:   1
 418   pred nodes:
 419     -1:    Block 64
 420      0:    Start PRIMA_set_a 65
 421   Private Attributes:
 422   inter arity: 1
 423   inter pred nodes:
 424      0:    Proj 47
 425   backedges:
 426 "
 427 color: yellow}
 428 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 429 node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
 430   mode:    P
 431   visited: 45
 432   irg:     PRIMA_set_a
 433   arity:   1
 434   pred nodes:
 435     -1:    Block 64
 436      0:    Proj 72
 437   Private Attributes:
 438   inter arity: 1
 439   inter pred nodes:
 440      0:    Proj 48
 441   backedges:
 442 "
 443 color: yellow}
 444 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 445 node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
 446   mode:    Is
 447   visited: 45
 448   irg:     PRIMA_set_a
 449   arity:   1
 450   pred nodes:
 451     -1:    Block 64
 452      0:    Proj 72
 453   Private Attributes:
 454   inter arity: 1
 455   inter pred nodes:
 456      0:    0x2 41
 457   backedges:
 458 "
 459 color: yellow}
 460 node: {title: "n186n41" label: "0x2Is 41"  info1: "0x2 41
 461   mode:    Is
 462   visited: 45
 463   irg:     OO_PROGRAM_EXAMPLE_main
 464   arity:   0
 465   pred nodes:
 466     -1:    Block 30
 467   Private Attributes:
 468   Const of type type_unknown
 469 "
 470 color: yellow}
 471 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
 472 node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
 473   mode:    X
 474   visited: 45
 475   irg:     PRIMA_set_a
 476   arity:   1
 477   pred nodes:
 478     -1:    Block 64
 479      0:    Start PRIMA_set_a 65
 480   Private Attributes:
 481 "
 482 color: yellow}
 483 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 484 node: {title: "n65" label: "Start PRIMA_set_a 65"  info1: "Start PRIMA_set_a 65
 485   mode:    T
 486   visited: 45
 487   irg:     PRIMA_set_a
 488   arity:   0
 489   pred nodes:
 490     -1:    Block 64
 491   Private Attributes:
 492   start of method of type set_a
 493     param 0 type: class_prima_ptr
 494     param 1 type: int
 495 "
 496 color: blue}
 497 }
 498
 499 }
 500
 501 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white
 502 graph: { title: "n180"  label: "Block 180" status:clustered color:yellow
 503 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 504 node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
 505   mode:    X
 506   visited: 45
 507   irg:     PRIMA_c
 508   arity:   1
 509   pred nodes:
 510     -1:    Block 180
 511      0:    EndReg PRIMA_c 181
 512   Private Attributes:
 513 "
 514 color: yellow}
 515 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 516 node: {title: "n181" label: "EndReg PRIMA_c 181"  info1: "EndReg PRIMA_c 181
 517   mode:    T
 518   visited: 45
 519   irg:     PRIMA_c
 520   arity:   0
 521   pred nodes:
 522     -1:    Block 180
 523   Private Attributes:
 524 "
 525 color: blue}
 526 }
 527
 528 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
 529 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 530 node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
 531   mode:    M
 532   visited: 45
 533   irg:     PRIMA_c
 534   arity:   1
 535   pred nodes:
 536     -1:    Block 97
 537      0:    Load[Is] 102
 538   Private Attributes:
 539 "
 540 color: yellow}
 541 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 542 node: {title: "n106" label: "AddIs 106"  info1: "Add 106
 543   mode:    Is
 544   visited: 45
 545   irg:     PRIMA_c
 546   arity:   2
 547   pred nodes:
 548     -1:    Block 97
 549      0:    Proj 105
 550      1:    Filter 178
 551   Private Attributes:
 552 "
 553 }
 554 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 555 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 556 node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
 557   mode:    Is
 558   visited: 45
 559   irg:     PRIMA_c
 560   arity:   1
 561   pred nodes:
 562     -1:    Block 97
 563      0:    Load[Is] 102
 564   Private Attributes:
 565 "
 566 color: yellow}
 567 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 568 node: {title: "n102" label: "Load[Is] 102"  info1: "Load[Is] 102
 569   mode:    T
 570   visited: 45
 571   irg:     PRIMA_c
 572   arity:   2
 573   pred nodes:
 574     -1:    Block 97
 575      0:    Filter 176
 576      1:    Sel 101
 577   Private Attributes:
 578   pinned state: op_pin_state_pinned
 579   mode of loaded value: Is
 580   volatility: volatility_non_volatile
 581 "
 582 }
 583 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 584 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 585 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
 586   mode:    P
 587   visited: 45
 588   irg:     PRIMA_c
 589   arity:   2
 590   pred nodes:
 591     -1:    Block 97
 592      0:    Filter 176
 593      1:    Filter 177
 594   Private Attributes:
 595   Selecting entity of type int
 596     from entity a (17)
 597     of type PRIMA
 598 "
 599 }
 600 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 601 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 602 node: {title: "n179" label: "Jmp 179"  info1: "Jmp 179
 603   mode:    X
 604   visited: 45
 605   irg:     PRIMA_c
 606   arity:   0
 607   pred nodes:
 608     -1:    Block 97
 609   Private Attributes:
 610 "
 611 }
 612 }
 613
 614 graph: { title: "n87"  label: "Block 87" status:clustered color:yellow
 615 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 616 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
 617   mode:    M
 618   visited: 45
 619   irg:     PRIMA_c
 620   arity:   1
 621   pred nodes:
 622     -1:    Block 87
 623      0:    Start PRIMA_c 88
 624   Private Attributes:
 625   inter arity: 1
 626   inter pred nodes:
 627      0:    Filter 196
 628   backedges:
 629 "
 630 color: yellow}
 631 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 632 node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
 633   mode:    P
 634   visited: 45
 635   irg:     PRIMA_c
 636   arity:   1
 637   pred nodes:
 638     -1:    Block 87
 639      0:    Proj 95
 640   Private Attributes:
 641   inter arity: 1
 642   inter pred nodes:
 643      0:    Proj 48
 644   backedges:
 645 "
 646 color: yellow}
 647 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 648 node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
 649   mode:    Is
 650   visited: 45
 651   irg:     PRIMA_c
 652   arity:   1
 653   pred nodes:
 654     -1:    Block 87
 655      0:    Proj 95
 656   Private Attributes:
 657   inter arity: 1
 658   inter pred nodes:
 659      0:    0x5 42
 660   backedges:
 661 "
 662 color: yellow}
 663 node: {title: "n178n42" label: "0x5Is 42"  info1: "0x5 42
 664   mode:    Is
 665   visited: 45
 666   irg:     OO_PROGRAM_EXAMPLE_main
 667   arity:   0
 668   pred nodes:
 669     -1:    Block 30
 670   Private Attributes:
 671   Const of type type_unknown
 672 "
 673 color: yellow}
 674 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
 675 node: {title: "n91" label: "ProjX 0 91"  info1: "Proj 91
 676   mode:    X
 677   visited: 45
 678   irg:     PRIMA_c
 679   arity:   1
 680   pred nodes:
 681     -1:    Block 87
 682      0:    Start PRIMA_c 88
 683   Private Attributes:
 684 "
 685 color: yellow}
 686 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
 687 node: {title: "n88" label: "Start PRIMA_c 88"  info1: "Start PRIMA_c 88
 688   mode:    T
 689   visited: 45
 690   irg:     PRIMA_c
 691   arity:   0
 692   pred nodes:
 693     -1:    Block 87
 694   Private Attributes:
 695   start of method of type c
 696     param 0 type: class_prima_ptr
 697     param 1 type: int
 698 "
 699 color: blue}
 700 }
 701
 702 }
 703
 704 node: {title: "e17" label: "ent a" color: yellow
 705  info1: "entity a (17)
 706   type:  int (14)
 707   owner: PRIMA (15)
 708   Does not overwrite other entities.
 709   Is not overwritten by other entities.
 710   allocation:  allocation_automatic
 711   visibility:  visibility_local
 712   variability: variability_uninitialized
 713   volatility:  volatility_non_volatile
 714   peculiarity: peculiarity_existent
 715   ld_name: no yet set
 716   offset:  -1
 717
 718 "
 719 }
 720 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 721 node: {title: "t15" label: "class PRIMA" info1: "state: layout_undefined
 722 size: -1b,
 723 peculiarity: peculiarity_existent
 724 " color: green}
 725 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 726 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 727 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 728 node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
 729  info1: "entity set_a (20)
 730   type:  set_a (18)
 731   owner: PRIMA (15)
 732   Does not overwrite other entities.
 733   Is not overwritten by other entities.
 734   allocation:  allocation_static
 735   visibility:  visibility_local
 736   variability: variability_constant
 737   atomic value: SymC &set_a
 738   volatility:  volatility_non_volatile
 739   peculiarity: peculiarity_existent
 740   ld_name: PRIMA_set_a
 741   offset:  -1
 742   irg = 73
 743
 744 "
 745 }
 746 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 747 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 748 node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
 749   mode:    P
 750   visited: 48
 751   arity:   0
 752   pred nodes:
 753     -1:    Block 3
 754   Private Attributes:
 755   kind:   addr_ent
 756   entity: entity PRIMA.set_a (20)
 757
 758   type of value: type_unknown
 759 "
 760 }
 761 node: {title: "t18" label: "method set_a" info1: "state: layout_fixed,
 762 mode: P,
 763 size: 32b,
 764 variadicity: variadicity_non_variadic
 765 params: 2
 766 results: 0
 767 "}
 768 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
 769 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 770 node: {title: "t16" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
 771 mode: P,
 772 size: 32b,
 773 "}
 774 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 775 node: {title: "t14" label: "primitive int" info1: "state: layout_fixed,
 776 mode: Is,
 777 size: 32b,
 778 "}
 779 node: {title: "e23" label: "ent PRIMA_c" color: yellow
 780  info1: "entity c (23)
 781   type:  c (21)
 782   owner: PRIMA (15)
 783   Does not overwrite other entities.
 784   Is not overwritten by other entities.
 785   allocation:  allocation_static
 786   visibility:  visibility_local
 787   variability: variability_constant
 788   atomic value: SymC &c
 789   volatility:  volatility_non_volatile
 790   peculiarity: peculiarity_existent
 791   ld_name: PRIMA_c
 792   offset:  -1
 793   irg = 96
 794
 795 "
 796 }
 797 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 798 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 799 node: {title: "n22" label: "SymC &c 22"  info1: "SymC &c 22
 800   mode:    P
 801   visited: 49
 802   arity:   0
 803   pred nodes:
 804     -1:    Block 3
 805   Private Attributes:
 806   kind:   addr_ent
 807   entity: entity PRIMA.c (23)
 808
 809   type of value: type_unknown
 810 "
 811 }
 812 node: {title: "t21" label: "method c" info1: "state: layout_fixed,
 813 mode: P,
 814 size: 32b,
 815 variadicity: variadicity_non_variadic
 816 params: 2
 817 results: 1
 818 "}
 819 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
 820 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
 821 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 822 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
 823  info1: "entity OO_PROGRAM_EXAMPLE_main (26)
 824   type:  OO_PROGRAM_EXAMPLE_main (24)
 825   owner: GlobalType (0)
 826   Does not overwrite other entities.
 827   Is not overwritten by other entities.
 828   allocation:  allocation_static
 829   visibility:  visibility_local
 830   variability: variability_constant
 831   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
 832   volatility:  volatility_non_volatile
 833   peculiarity: peculiarity_existent
 834   ld_name: no yet set
 835   offset:  -1
 836   irg = 39
 837
 838 "
 839 }
 840 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
 841 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
 842 node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25"  info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
 843   mode:    P
 844   visited: 50
 845   arity:   0
 846   pred nodes:
 847     -1:    Block 3
 848   Private Attributes:
 849   kind:   addr_ent
 850   entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)
 851
 852   type of value: type_unknown
 853 "
 854 }
 855 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 856 size: -1b,
 857 peculiarity: peculiarity_existent
 858 " color: green}
 859 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
 860 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
 861 mode: P,
 862 size: 32b,
 863 variadicity: variadicity_non_variadic
 864 params: 0
 865 results: 1
 866 "}
 867 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
 868 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 869 size: -1b,
 870 peculiarity: peculiarity_existent
 871 " color: green}
 872 edge: { sourcename: "n101" targetname: "e17"class:2 priority:2 linestyle:dotted}
 873 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
 874 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
 875 edge: { sourcename: "n78" targetname: "e17"class:2 priority:2 linestyle:dotted}
 876 }