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