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