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 edge: {sourcename: "n199" targetname: "n174" label: "0" class:16 priority:10}
 169 }
 170
 171 graph: { title: "n191"  label: "Block 191" status:clustered color:yellow
 172 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
 173 node: {title: "n47" label: "ProjM M 47"  info1: "Proj 47
 174   mode:    M
 175   visited: 45
 176   irg:     OO_PROGRAM_EXAMPLE_main
 177   arity:   1
 178   pred nodes:
 179     -1:    Block 191
 180      0:    Alloc 45
 181   Private Attributes:
 182   proj nr: 0
 183 "
 184 color: yellow}
 185 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 186 node: {title: "n48" label: "ProjP res 48"  info1: "Proj 48
 187   mode:    P
 188   visited: 45
 189   irg:     OO_PROGRAM_EXAMPLE_main
 190   arity:   1
 191   pred nodes:
 192     -1:    Block 191
 193      0:    Alloc 45
 194   Private Attributes:
 195   proj nr: 2
 196 "
 197 color: yellow}
 198 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 199 node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
 200   mode:    T
 201   visited: 45
 202   irg:     OO_PROGRAM_EXAMPLE_main
 203   arity:   2
 204   pred nodes:
 205     -1:    Block 191
 206      0:    Proj 37
 207      1:    SymC PRIMA size 43
 208   Private Attributes:
 209   pinned state: op_pin_state_pinned
 210   allocating entity of type: PRIMA
 211   allocating on: the heap
 212 "
 213 }
 214 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 215 edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10}
 216 node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
 217   mode:    X
 218   visited: 45
 219   irg:     OO_PROGRAM_EXAMPLE_main
 220   arity:   1
 221   pred nodes:
 222     -1:    Block 191
 223      0:    CallBegin set_a 193
 224   Private Attributes:
 225   proj nr: 0
 226 "
 227 color: yellow}
 228 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
 229 node: {title: "n193" label: "CallBegin set_a 193"  info1: "CallBegin set_a 193
 230   mode:    T
 231   visited: 45
 232   irg:     OO_PROGRAM_EXAMPLE_main
 233   arity:   1
 234   pred nodes:
 235     -1:    Block 191
 236      0:    SymC &set_a 175
 237   Private Attributes:
 238   Call: 50
 239   possible callees:
 240     0: PRIMA_set_a
 241 "
 242 }
 243 edge: {sourcename: "n193" targetname: "n175" label: "0" class:16 priority:10}
 244 }
 245
 246 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
 247 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
 248 node: {title: "n41" label: "0x2Is 41"  info1: "0x2 41
 249   mode:    Is
 250   visited: 45
 251   irg:     OO_PROGRAM_EXAMPLE_main
 252   arity:   0
 253   pred nodes:
 254     -1:    Block 30
 255   Private Attributes:
 256   Const of type type_unknown
 257 "
 258 color: yellow}
 259 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 260   mode:    M
 261   visited: 45
 262   irg:     OO_PROGRAM_EXAMPLE_main
 263   arity:   1
 264   pred nodes:
 265     -1:    Block 30
 266      0:    Start OO_PROGRAM_EXAMPLE_main 31
 267   Private Attributes:
 268   proj nr: 1
 269 "
 270 color: yellow}
 271 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 272 node: {title: "n43" label: "SymC PRIMA size 43"  info1: "SymC PRIMA size 43
 273   mode:    Iu
 274   visited: 45
 275   irg:     OO_PROGRAM_EXAMPLE_main
 276   arity:   0
 277   pred nodes:
 278     -1:    Block 30
 279   Private Attributes:
 280   kind: size
 281   type: class type PRIMA (15)
 282   type of value: type_unknown
 283 "
 284 }
 285 node: {title: "n42" label: "0x5Is 42"  info1: "0x5 42
 286   mode:    Is
 287   visited: 45
 288   irg:     OO_PROGRAM_EXAMPLE_main
 289   arity:   0
 290   pred nodes:
 291     -1:    Block 30
 292   Private Attributes:
 293   Const of type type_unknown
 294 "
 295 color: yellow}
 296 node: {title: "n174" label: "SymC &c 174"  info1: "SymC &c 174
 297   mode:    P
 298   visited: 45
 299   irg:     OO_PROGRAM_EXAMPLE_main
 300   arity:   0
 301   pred nodes:
 302     -1:    Block 30
 303   Private Attributes:
 304   kind:   addr_ent
 305   entity: entity PRIMA.c (23)
 306
 307   type of value: type_unknown
 308 "
 309 }
 310 node: {title: "n175" label: "SymC &set_a 175"  info1: "SymC &set_a 175
 311   mode:    P
 312   visited: 45
 313   irg:     OO_PROGRAM_EXAMPLE_main
 314   arity:   0
 315   pred nodes:
 316     -1:    Block 30
 317   Private Attributes:
 318   kind:   addr_ent
 319   entity: entity PRIMA.set_a (20)
 320
 321   type of value: type_unknown
 322 "
 323 }
 324 node: {title: "n34" label: "ProjX X_initial_exec 34"  info1: "Proj 34
 325   mode:    X
 326   visited: 45
 327   irg:     OO_PROGRAM_EXAMPLE_main
 328   arity:   1
 329   pred nodes:
 330     -1:    Block 30
 331      0:    Start OO_PROGRAM_EXAMPLE_main 31
 332   Private Attributes:
 333   proj nr: 0
 334 "
 335 color: yellow}
 336 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
 337 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
 338   mode:    T
 339   visited: 45
 340   irg:     OO_PROGRAM_EXAMPLE_main
 341   arity:   0
 342   pred nodes:
 343     -1:    Block 30
 344   Private Attributes:
 345   start of method of type OO_PROGRAM_EXAMPLE_main
 346 "
 347 color: blue}
 348 }
 349
 350 }
 351
 352 graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white
 353 graph: { title: "n188"  label: "Block 188" status:clustered color:yellow
 354 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
 355 node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
 356   mode:    X
 357   visited: 45
 358   irg:     PRIMA_set_a
 359   arity:   1
 360   pred nodes:
 361     -1:    Block 188
 362      0:    EndReg PRIMA_set_a 189
 363   Private Attributes:
 364   proj nr: 0
 365 "
 366 color: yellow}
 367 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
 368 node: {title: "n189" label: "EndReg PRIMA_set_a 189"  info1: "EndReg PRIMA_set_a 189
 369   mode:    T
 370   visited: 45
 371   irg:     PRIMA_set_a
 372   arity:   0
 373   pred nodes:
 374     -1:    Block 188
 375   Private Attributes:
 376 "
 377 color: blue}
 378 }
 379
 380 graph: { title: "n74"  label: "Block 74" status:clustered color:yellow
 381 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
 382 node: {title: "n81" label: "ProjM M 81"  info1: "Proj 81
 383   mode:    M
 384   visited: 45
 385   irg:     PRIMA_set_a
 386   arity:   1
 387   pred nodes:
 388     -1:    Block 74
 389      0:    Store 79
 390   Private Attributes:
 391   proj nr: 0
 392 "
 393 color: yellow}
 394 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 395 node: {title: "n79" label: "Store 79"  info1: "Store 79
 396   mode:    T
 397   visited: 45
 398   irg:     PRIMA_set_a
 399   arity:   3
 400   pred nodes:
 401     -1:    Block 74
 402      0:    Filter 184
 403      1:    Sel 78
 404      2:    Filter 186
 405   Private Attributes:
 406   pinned state: op_pin_state_pinned
 407   volatility: volatility_non_volatile
 408 "
 409 }
 410 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 411 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 412 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 413 node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
 414   mode:    P
 415   visited: 45
 416   irg:     PRIMA_set_a
 417   arity:   2
 418   pred nodes:
 419     -1:    Block 74
 420      0:    Filter 184
 421      1:    Filter 185
 422   Private Attributes:
 423   Selecting entity a (17)
 424     of type    int
 425     with owner PRIMA.
 426 "
 427 }
 428 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 429 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 430 node: {title: "n187" label: "Jmp 187"  info1: "Jmp 187
 431   mode:    X
 432   visited: 45
 433   irg:     PRIMA_set_a
 434   arity:   0
 435   pred nodes:
 436     -1:    Block 74
 437   Private Attributes:
 438 "
 439 }
 440 }
 441
 442 graph: { title: "n64"  label: "Block 64" status:clustered color:yellow
 443 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 444 node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
 445   mode:    M
 446   visited: 45
 447   irg:     PRIMA_set_a
 448   arity:   1
 449   pred nodes:
 450     -1:    Block 64
 451      0:    Start PRIMA_set_a 65
 452   Private Attributes:
 453   inter arity: 1
 454   inter pred nodes:
 455      0:    Proj 47
 456   backedges:
 457 "
 458 color: yellow}
 459 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 460 node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
 461   mode:    P
 462   visited: 45
 463   irg:     PRIMA_set_a
 464   arity:   1
 465   pred nodes:
 466     -1:    Block 64
 467      0:    Proj 72
 468   Private Attributes:
 469   inter arity: 1
 470   inter pred nodes:
 471      0:    Proj 48
 472   backedges:
 473 "
 474 color: yellow}
 475 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 476 node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
 477   mode:    Is
 478   visited: 45
 479   irg:     PRIMA_set_a
 480   arity:   1
 481   pred nodes:
 482     -1:    Block 64
 483      0:    Proj 72
 484   Private Attributes:
 485   inter arity: 1
 486   inter pred nodes:
 487      0:    0x2 41
 488   backedges:
 489 "
 490 color: yellow}
 491 edge: {sourcename: "n186" targetname: "n41" label: "0" class:16 priority:10}
 492 node: {title: "n68" label: "ProjX X_initial_exec 68"  info1: "Proj 68
 493   mode:    X
 494   visited: 45
 495   irg:     PRIMA_set_a
 496   arity:   1
 497   pred nodes:
 498     -1:    Block 64
 499      0:    Start PRIMA_set_a 65
 500   Private Attributes:
 501   proj nr: 0
 502 "
 503 color: yellow}
 504 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 505 node: {title: "n65" label: "Start PRIMA_set_a 65"  info1: "Start PRIMA_set_a 65
 506   mode:    T
 507   visited: 45
 508   irg:     PRIMA_set_a
 509   arity:   0
 510   pred nodes:
 511     -1:    Block 64
 512   Private Attributes:
 513   start of method of type set_a
 514     param 0 type: class_prima_ptr
 515     param 1 type: int
 516 "
 517 color: blue}
 518 }
 519
 520 }
 521
 522 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white
 523 graph: { title: "n180"  label: "Block 180" status:clustered color:yellow
 524 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 525 node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
 526   mode:    X
 527   visited: 45
 528   irg:     PRIMA_c
 529   arity:   1
 530   pred nodes:
 531     -1:    Block 180
 532      0:    EndReg PRIMA_c 181
 533   Private Attributes:
 534   proj nr: 0
 535 "
 536 color: yellow}
 537 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 538 node: {title: "n181" label: "EndReg PRIMA_c 181"  info1: "EndReg PRIMA_c 181
 539   mode:    T
 540   visited: 45
 541   irg:     PRIMA_c
 542   arity:   0
 543   pred nodes:
 544     -1:    Block 180
 545   Private Attributes:
 546 "
 547 color: blue}
 548 }
 549
 550 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
 551 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 552 node: {title: "n104" label: "ProjM M 104"  info1: "Proj 104
 553   mode:    M
 554   visited: 45
 555   irg:     PRIMA_c
 556   arity:   1
 557   pred nodes:
 558     -1:    Block 97
 559      0:    Load[Is] 102
 560   Private Attributes:
 561   proj nr: 0
 562 "
 563 color: yellow}
 564 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 565 node: {title: "n106" label: "AddIs 106"  info1: "Add 106
 566   mode:    Is
 567   visited: 45
 568   irg:     PRIMA_c
 569   arity:   2
 570   pred nodes:
 571     -1:    Block 97
 572      0:    Proj 105
 573      1:    Filter 178
 574   Private Attributes:
 575 "
 576 }
 577 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 578 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 579 node: {title: "n105" label: "ProjIs res 105"  info1: "Proj 105
 580   mode:    Is
 581   visited: 45
 582   irg:     PRIMA_c
 583   arity:   1
 584   pred nodes:
 585     -1:    Block 97
 586      0:    Load[Is] 102
 587   Private Attributes:
 588   proj nr: 2
 589 "
 590 color: yellow}
 591 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 592 node: {title: "n102" label: "Load[Is] 102"  info1: "Load[Is] 102
 593   mode:    T
 594   visited: 45
 595   irg:     PRIMA_c
 596   arity:   2
 597   pred nodes:
 598     -1:    Block 97
 599      0:    Filter 176
 600      1:    Sel 101
 601   Private Attributes:
 602   pinned state: op_pin_state_pinned
 603   mode of loaded value: Is
 604   volatility: volatility_non_volatile
 605 "
 606 }
 607 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 608 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 609 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
 610   mode:    P
 611   visited: 45
 612   irg:     PRIMA_c
 613   arity:   2
 614   pred nodes:
 615     -1:    Block 97
 616      0:    Filter 176
 617      1:    Filter 177
 618   Private Attributes:
 619   Selecting entity a (17)
 620     of type    int
 621     with owner PRIMA.
 622 "
 623 }
 624 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 625 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 626 node: {title: "n179" label: "Jmp 179"  info1: "Jmp 179
 627   mode:    X
 628   visited: 45
 629   irg:     PRIMA_c
 630   arity:   0
 631   pred nodes:
 632     -1:    Block 97
 633   Private Attributes:
 634 "
 635 }
 636 }
 637
 638 graph: { title: "n87"  label: "Block 87" status:clustered color:yellow
 639 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 640 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
 641   mode:    M
 642   visited: 45
 643   irg:     PRIMA_c
 644   arity:   1
 645   pred nodes:
 646     -1:    Block 87
 647      0:    Start PRIMA_c 88
 648   Private Attributes:
 649   inter arity: 1
 650   inter pred nodes:
 651      0:    Filter 196
 652   backedges:
 653 "
 654 color: yellow}
 655 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 656 node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
 657   mode:    P
 658   visited: 45
 659   irg:     PRIMA_c
 660   arity:   1
 661   pred nodes:
 662     -1:    Block 87
 663      0:    Proj 95
 664   Private Attributes:
 665   inter arity: 1
 666   inter pred nodes:
 667      0:    Proj 48
 668   backedges:
 669 "
 670 color: yellow}
 671 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 672 node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
 673   mode:    Is
 674   visited: 45
 675   irg:     PRIMA_c
 676   arity:   1
 677   pred nodes:
 678     -1:    Block 87
 679      0:    Proj 95
 680   Private Attributes:
 681   inter arity: 1
 682   inter pred nodes:
 683      0:    0x5 42
 684   backedges:
 685 "
 686 color: yellow}
 687 edge: {sourcename: "n178" targetname: "n42" 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: "e20" label: "ent PRIMA_set_a" color: yellow
 719  info1: "entity set_a (20)
 720   type:  set_a (18)
 721   owner: PRIMA (15)
 722   Does not overwrite other entities.
 723   Is not overwritten by other entities.
 724   allocation:  allocation_static
 725   visibility:  visibility_local
 726   variability: variability_constant
 727   atomic value: SymC &set_a
 728   volatility:  volatility_non_volatile
 729   peculiarity: peculiarity_existent
 730   ld_name: PRIMA_set_a
 731   offset:  -1 bits, -1 bytes
 732   irg = 73
 733
 734 "
 735 }
 736 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 737 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 738 node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
 739   mode:    P
 740   visited: 48
 741   arity:   0
 742   pred nodes:
 743     -1:    Block 3
 744   Private Attributes:
 745   kind:   addr_ent
 746   entity: entity PRIMA.set_a (20)
 747
 748   type of value: type_unknown
 749 "
 750 }
 751 node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
 752   members:
 753     entity a (17)
 754       type:  int (14)
 755       owner: PRIMA (15)
 756       Does not overwrite other entities.
 757       Is not overwritten by other entities.
 758       allocation:  allocation_automatic
 759       visibility:  visibility_local
 760       variability: variability_uninitialized
 761       volatility:  volatility_non_volatile
 762       peculiarity: peculiarity_existent
 763       ld_name: no yet set
 764       offset:  -1 bits, -1 bytes
 765     entity set_a (20)
 766       type:  set_a (18)
 767       owner: PRIMA (15)
 768       Does not overwrite other entities.
 769       Is not overwritten by other entities.
 770       allocation:  allocation_static
 771       visibility:  visibility_local
 772       variability: variability_constant
 773       atomic value: SymC &set_a
 774       volatility:  volatility_non_volatile
 775       peculiarity: peculiarity_existent
 776       ld_name: PRIMA_set_a
 777       offset:  -1 bits, -1 bytes
 778       irg = 73
 779     entity c (23)
 780       type:  c (21)
 781       owner: PRIMA (15)
 782       Does not overwrite other entities.
 783       Is not overwritten by other entities.
 784       allocation:  allocation_static
 785       visibility:  visibility_local
 786       variability: variability_constant
 787       atomic value: SymC &c
 788       volatility:  volatility_non_volatile
 789       peculiarity: peculiarity_existent
 790       ld_name: PRIMA_c
 791       offset:  -1 bits, -1 bytes
 792       irg = 96
 793   supertypes:
 794   subtypes:
 795   peculiarity: peculiarity_existent
 796   visibility: visibility_external_allocated,
 797   state:      layout_undefined,
 798   size:       -1 Bits,
 799   alignment:  32 Bits,
 800
 801
 802 "
 803  color: green}
 804 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 805 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 806 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 807 node: {title: "e17" label: "ent a" color: yellow
 808  info1: "entity a (17)
 809   type:  int (14)
 810   owner: PRIMA (15)
 811   Does not overwrite other entities.
 812   Is not overwritten by other entities.
 813   allocation:  allocation_automatic
 814   visibility:  visibility_local
 815   variability: variability_uninitialized
 816   volatility:  volatility_non_volatile
 817   peculiarity: peculiarity_existent
 818   ld_name: no yet set
 819   offset:  -1 bits, -1 bytes
 820
 821 "
 822 }
 823 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 824 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
 825   visibility: visibility_external_allocated,
 826   state:      layout_fixed,
 827   size:       32 Bits,
 828   alignment:  32 Bits,
 829   mode:       Is,
 830
 831
 832 "
 833 }
 834 node: {title: "e23" label: "ent PRIMA_c" color: yellow
 835  info1: "entity c (23)
 836   type:  c (21)
 837   owner: PRIMA (15)
 838   Does not overwrite other entities.
 839   Is not overwritten by other entities.
 840   allocation:  allocation_static
 841   visibility:  visibility_local
 842   variability: variability_constant
 843   atomic value: SymC &c
 844   volatility:  volatility_non_volatile
 845   peculiarity: peculiarity_existent
 846   ld_name: PRIMA_c
 847   offset:  -1 bits, -1 bytes
 848   irg = 96
 849
 850 "
 851 }
 852 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 853 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 854 node: {title: "n22" label: "SymC &c 22"  info1: "SymC &c 22
 855   mode:    P
 856   visited: 49
 857   arity:   0
 858   pred nodes:
 859     -1:    Block 3
 860   Private Attributes:
 861   kind:   addr_ent
 862   entity: entity PRIMA.c (23)
 863
 864   type of value: type_unknown
 865 "
 866 }
 867 node: {title: "t21" label: "method c" info1: "method type c (21)
 868   variadicity: variadicity_non_variadic
 869   return types: 1
 870     int
 871   parameter types: 2
 872     class_prima_ptr
 873     int
 874   visibility: visibility_external_allocated,
 875   state:      layout_fixed,
 876   size:       32 Bits,
 877   alignment:  32 Bits,
 878   mode:       P,
 879
 880
 881 "
 882 }
 883 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
 884 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
 885 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 886 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
 887   points to PRIMA (15)
 888   visibility: visibility_external_allocated,
 889   state:      layout_fixed,
 890   size:       32 Bits,
 891   alignment:  32 Bits,
 892   mode:       P,
 893
 894
 895 "
 896 }
 897 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 898 node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
 899   variadicity: variadicity_non_variadic
 900   return types: 0
 901   parameter types: 2
 902     class_prima_ptr
 903     int
 904   visibility: visibility_external_allocated,
 905   state:      layout_fixed,
 906   size:       32 Bits,
 907   alignment:  32 Bits,
 908   mode:       P,
 909
 910
 911 "
 912 }
 913 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
 914 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" 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 }