nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.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 2:  "Block"
   9 classname 3:  "Entity type"
  10 classname 4:  "Entity owner"
  11 classname 5:  "Method Param"
  12 classname 6:  "Method Res"
  13 classname 7:  "Super"
  14 classname 8:  "Union"
  15 classname 9:  "Points-to"
  16 classname 10: "Array Element Type"
  17 classname 11: "Overwrites"
  18 classname 12: "Member"
  19 classname 13: "Control Flow"
  20 classname 14: "intrablock Memory"
  21 classname 15: "Dominators"
  22 classname 16: "interblock Data"
  23 classname 17: "interblock Memory"
  24 classname 18: "Exception Control Flow for Interval Analysis"
  25 classname 19: "Postdominators"
  26 infoname 1: "Attribute"
  27 infoname 2: "Verification errors"
  28 infoname 3: "Debug info"
  29 colorentry 100:    0   0    0
  30 colorentry 101:   20   0    0
  31 colorentry 102:   40   0    0
  32 colorentry 103:   60   0    0
  33 colorentry 104:   80   0    0
  34 colorentry 105:  100   0    0
  35 colorentry 106:  120   0    0
  36 colorentry 107:  140   0    0
  37 colorentry 108:  150   0    0
  38 colorentry 109:  180   0    0
  39 colorentry 110:  200   0    0
  40 colorentry 111:  220   0    0
  41 colorentry 112:  240   0    0
  42 colorentry 113:  255   0    0
  43 colorentry 113:  255  20   20
  44 colorentry 114:  255  40   40
  45 colorentry 115:  255  60   60
  46 colorentry 116:  255  80   80
  47 colorentry 117:  255 100  100
  48 colorentry 118:  255 120  120
  49 colorentry 119:  255 140  140
  50 colorentry 120:  255 150  150
  51 colorentry 121:  255 180  180
  52 colorentry 122:  255 200  200
  53 colorentry 123:  255 220  220
  54 colorentry 124:  255 240  240
  55 colorentry 125:  255 250  250
  56
  57 node: {title: "n30" label: "Block 30"  info1: "Block 30
  58   mode:    BB
  59   visited: 20
  60   irg:     OO_PROGRAM_EXAMPLE_main
  61   arity:   1
  62   pred nodes:
  63      0:    Proj 34
  64   Private Attributes:
  65   backedges:
  66   block visited: 0
  67   Execution freqency statistics:
  68 "
  69 color:lightyellow}
  70 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
  71 node: {title: "n31" label: "Start 31"  info1: "Start 31
  72   mode:    T
  73   visited: 20
  74   irg:     OO_PROGRAM_EXAMPLE_main
  75   arity:   0
  76   pred nodes:
  77     -1:    Block 30
  78   Private Attributes:
  79   start of method of type OO_PROGRAM_EXAMPLE_main
  80 "
  81 color:blue}
  82 edge: { sourcename: "n31" targetname: "n30" class:2  priority:50 linestyle:dotted}
  83 node: {title: "n34" label: "ProjX X_initial_exec 34"  info1: "Proj 34
  84   mode:    X
  85   visited: 20
  86   irg:     OO_PROGRAM_EXAMPLE_main
  87   arity:   1
  88   pred nodes:
  89     -1:    Block 30
  90      0:    Start 31
  91   Private Attributes:
  92   proj nr: 0
  93 "
  94 color:yellow}
  95 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
  96 edge: { sourcename: "n34" targetname: "n30" class:2  priority:50 linestyle:dotted}
  97 node: {title: "n40" label: "Block 40"  info1: "Block 40
  98   mode:    BB
  99   visited: 20
 100   irg:     OO_PROGRAM_EXAMPLE_main
 101   arity:   1
 102   pred nodes:
 103      0:    Proj 34
 104   Private Attributes:
 105   backedges:
 106   block visited: 0
 107   Execution freqency statistics:
 108 "
 109 color:lightyellow}
 110 edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red}
 111 node: {title: "n42" label: "0x5Is 42"  info1: "0x5 42
 112   mode:    Is
 113   visited: 20
 114   irg:     OO_PROGRAM_EXAMPLE_main
 115   arity:   0
 116   pred nodes:
 117     -1:    Block 30
 118   Private Attributes:
 119   Const of type type_unknown
 120 "
 121 color:yellow}
 122 edge: { sourcename: "n42" targetname: "n30" class:2  priority:50 linestyle:dotted}
 123 node: {title: "n43" label: "SymC PRIMA size 43"  info1: "SymC PRIMA size 43
 124   mode:    Iu
 125   visited: 20
 126   irg:     OO_PROGRAM_EXAMPLE_main
 127   arity:   0
 128   pred nodes:
 129     -1:    Block 30
 130   Private Attributes:
 131   kind: size
 132   type: class type PRIMA (15)
 133   type of value: type_unknown
 134 "
 135 }
 136 edge: { sourcename: "n43" targetname: "n30" class:2  priority:50 linestyle:dotted}
 137 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 138   mode:    M
 139   visited: 20
 140   irg:     OO_PROGRAM_EXAMPLE_main
 141   arity:   1
 142   pred nodes:
 143     -1:    Block 30
 144      0:    Start 31
 145   Private Attributes:
 146   proj nr: 1
 147 "
 148 color:yellow}
 149 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 150 edge: { sourcename: "n37" targetname: "n30" class:2  priority:50 linestyle:dotted}
 151 node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
 152   mode:    T
 153   visited: 20
 154   irg:     OO_PROGRAM_EXAMPLE_main
 155   arity:   2
 156   pred nodes:
 157     -1:    Block 40
 158      0:    Proj 37
 159      1:    SymC PRIMA size 43
 160   Private Attributes:
 161   pinned state: op_pin_state_pinned
 162   allocating entity of type: PRIMA
 163   allocating on: the heap
 164 "
 165 }
 166 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 167 edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10}
 168 edge: { sourcename: "n45" targetname: "n40" class:2  priority:50 linestyle:dotted}
 169 node: {title: "n48" label: "ProjP res 48"  info1: "Proj 48
 170   mode:    P
 171   visited: 20
 172   irg:     OO_PROGRAM_EXAMPLE_main
 173   arity:   1
 174   pred nodes:
 175     -1:    Block 40
 176      0:    Alloc 45
 177   Private Attributes:
 178   proj nr: 2
 179 "
 180 color:yellow}
 181 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 182 edge: { sourcename: "n48" targetname: "n40" class:2  priority:50 linestyle:dotted}
 183 node: {title: "n41" label: "0x2Is 41"  info1: "0x2 41
 184   mode:    Is
 185   visited: 20
 186   irg:     OO_PROGRAM_EXAMPLE_main
 187   arity:   0
 188   pred nodes:
 189     -1:    Block 30
 190   Private Attributes:
 191   Const of type type_unknown
 192 "
 193 color:yellow}
 194 edge: { sourcename: "n41" targetname: "n30" class:2  priority:50 linestyle:dotted}
 195 node: {title: "n47" label: "ProjM M 47"  info1: "Proj 47
 196   mode:    M
 197   visited: 20
 198   irg:     OO_PROGRAM_EXAMPLE_main
 199   arity:   1
 200   pred nodes:
 201     -1:    Block 40
 202      0:    Alloc 45
 203   Private Attributes:
 204   proj nr: 0
 205 "
 206 color:yellow}
 207 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 208 edge: { sourcename: "n47" targetname: "n40" class:2  priority:50 linestyle:dotted}
 209 node: {title: "n49" label: "Sel PRIMA_set_a 49"  info1: "Sel 49
 210   mode:    P
 211   visited: 20
 212   irg:     OO_PROGRAM_EXAMPLE_main
 213   arity:   2
 214   pred nodes:
 215     -1:    Block 40
 216      0:    Proj 47
 217      1:    Proj 48
 218   Private Attributes:
 219   Selecting entity set_a (20)
 220     of type    set_a
 221     with owner PRIMA.
 222 "
 223 }
 224 edge: {sourcename: "n49" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 225 edge: {sourcename: "n49" targetname: "n48" label: "1" class:1  priority:50}
 226 edge: { sourcename: "n49" targetname: "n40" class:2  priority:50 linestyle:dotted}
 227 node: {title: "n50" label: "Call 50"  info1: "Call 50
 228   mode:    T
 229   visited: 20
 230   irg:     OO_PROGRAM_EXAMPLE_main
 231   arity:   4
 232   pred nodes:
 233     -1:    Block 40
 234      0:    Proj 47
 235      1:    Sel 49
 236      2:    Proj 48
 237      3:    0x2 41
 238   Private Attributes:
 239   pinned state: op_pin_state_pinned
 240   calling method of type set_a
 241     param 0 type: class_prima_ptr
 242     param 1 type: int
 243 "
 244 }
 245 edge: {sourcename: "n50" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 246 edge: {sourcename: "n50" targetname: "n49" label: "1" class:1  priority:50}
 247 edge: {sourcename: "n50" targetname: "n48" label: "2" class:1  priority:50}
 248 edge: {sourcename: "n50" targetname: "n41" label: "3" class:16 priority:10}
 249 edge: { sourcename: "n50" targetname: "n40" class:2  priority:50 linestyle:dotted}
 250 node: {title: "n52" label: "ProjM M_regular 52"  info1: "Proj 52
 251   mode:    M
 252   visited: 20
 253   irg:     OO_PROGRAM_EXAMPLE_main
 254   arity:   1
 255   pred nodes:
 256     -1:    Block 40
 257      0:    Call 50
 258   Private Attributes:
 259   proj nr: 0
 260 "
 261 color:yellow}
 262 edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
 263 edge: { sourcename: "n52" targetname: "n40" class:2  priority:50 linestyle:dotted}
 264 node: {title: "n53" label: "Sel PRIMA_c 53"  info1: "Sel 53
 265   mode:    P
 266   visited: 20
 267   irg:     OO_PROGRAM_EXAMPLE_main
 268   arity:   2
 269   pred nodes:
 270     -1:    Block 40
 271      0:    Proj 52
 272      1:    Proj 48
 273   Private Attributes:
 274   Selecting entity c (23)
 275     of type    c
 276     with owner PRIMA.
 277 "
 278 }
 279 edge: {sourcename: "n53" targetname: "n52" label: "0" class:14 priority:50 color:blue}
 280 edge: {sourcename: "n53" targetname: "n48" label: "1" class:1  priority:50}
 281 edge: { sourcename: "n53" targetname: "n40" class:2  priority:50 linestyle:dotted}
 282 node: {title: "n54" label: "Call 54"  info1: "Call 54
 283   mode:    T
 284   visited: 20
 285   irg:     OO_PROGRAM_EXAMPLE_main
 286   arity:   4
 287   pred nodes:
 288     -1:    Block 40
 289      0:    Proj 52
 290      1:    Sel 53
 291      2:    Proj 48
 292      3:    0x5 42
 293   Private Attributes:
 294   pinned state: op_pin_state_pinned
 295   calling method of type c
 296     param 0 type: class_prima_ptr
 297     param 1 type: int
 298     resul 0 type: int
 299 "
 300 }
 301 edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue}
 302 edge: {sourcename: "n54" targetname: "n53" label: "1" class:1  priority:50}
 303 edge: {sourcename: "n54" targetname: "n48" label: "2" class:1  priority:50}
 304 edge: {sourcename: "n54" targetname: "n42" label: "3" class:16 priority:10}
 305 edge: { sourcename: "n54" targetname: "n40" class:2  priority:50 linestyle:dotted}
 306 node: {title: "n57" label: "ProjT T_result 57"  info1: "Proj 57
 307   mode:    T
 308   visited: 20
 309   irg:     OO_PROGRAM_EXAMPLE_main
 310   arity:   1
 311   pred nodes:
 312     -1:    Block 40
 313      0:    Call 54
 314   Private Attributes:
 315   proj nr: 2
 316 "
 317 color:yellow}
 318 edge: {sourcename: "n57" targetname: "n54" label: "0" class:1  priority:50}
 319 edge: { sourcename: "n57" targetname: "n40" class:2  priority:50 linestyle:dotted}
 320 node: {title: "n58" label: "ProjIs 0 58"  info1: "Proj 58
 321   mode:    Is
 322   visited: 20
 323   irg:     OO_PROGRAM_EXAMPLE_main
 324   arity:   1
 325   pred nodes:
 326     -1:    Block 40
 327      0:    Proj 57
 328   Private Attributes:
 329   proj nr: 0
 330 "
 331 color:yellow}
 332 edge: {sourcename: "n58" targetname: "n57" label: "0" class:1  priority:50}
 333 edge: { sourcename: "n58" targetname: "n40" class:2  priority:50 linestyle:dotted}
 334 node: {title: "n56" label: "ProjM M_regular 56"  info1: "Proj 56
 335   mode:    M
 336   visited: 20
 337   irg:     OO_PROGRAM_EXAMPLE_main
 338   arity:   1
 339   pred nodes:
 340     -1:    Block 40
 341      0:    Call 54
 342   Private Attributes:
 343   proj nr: 0
 344 "
 345 color:yellow}
 346 edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
 347 edge: { sourcename: "n56" targetname: "n40" class:2  priority:50 linestyle:dotted}
 348 node: {title: "n59" label: "Return 59"  info1: "Return 59
 349   mode:    X
 350   visited: 20
 351   irg:     OO_PROGRAM_EXAMPLE_main
 352   arity:   2
 353   pred nodes:
 354     -1:    Block 40
 355      0:    Proj 56
 356      1:    Proj 58
 357   Private Attributes:
 358   return in method of type OO_PROGRAM_EXAMPLE_main
 359     res 0 type: int
 360 "
 361 }
 362 edge: {sourcename: "n59" targetname: "n56" label: "0" class:14 priority:50 color:blue}
 363 edge: {sourcename: "n59" targetname: "n58" label: "1" class:1  priority:50}
 364 edge: { sourcename: "n59" targetname: "n40" class:2  priority:50 linestyle:dotted}
 365 node: {title: "n28" label: "Block 28"  info1: "Block 28
 366   mode:    BB
 367   visited: 20
 368   irg:     OO_PROGRAM_EXAMPLE_main
 369   arity:   1
 370   pred nodes:
 371      0:    Return 59
 372   Private Attributes:
 373   backedges:
 374   block visited: 0
 375   Execution freqency statistics:
 376 "
 377 color:lightyellow}
 378 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
 379 node: {title: "n109" label: "End 109"  info1: "End 109
 380   mode:    X
 381   visited: 20
 382   irg:     OO_PROGRAM_EXAMPLE_main
 383   arity:   0
 384   pred nodes:
 385     -1:    Block 28
 386   Private Attributes:
 387 "
 388 color:blue}
 389 edge: { sourcename: "n109" targetname: "n28" class:2  priority:50 linestyle:dotted}
 390 node: {title: "t21" label: "method c" info1: "method type c (21)
 391   variadicity: variadicity_non_variadic
 392   return types: 1
 393     int
 394   parameter types: 2
 395     class_prima_ptr
 396     int
 397   visibility: visibility_external_allocated,
 398   state:      layout_fixed,
 399   size:       32 Bits,
 400   alignment:  32 Bits,
 401   mode:       P,
 402
 403
 404 "
 405 }
 406 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
 407 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
 408 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 409 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
 410   points to PRIMA (15)
 411   visibility: visibility_external_allocated,
 412   state:      layout_fixed,
 413   size:       32 Bits,
 414   alignment:  32 Bits,
 415   mode:       P,
 416
 417
 418 "
 419 }
 420 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 421 node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
 422   members:
 423     entity a (17)
 424       type:  int (14)
 425       owner: PRIMA (15)
 426       Does not overwrite other entities.
 427       Is not overwritten by other entities.
 428       allocation:  allocation_automatic
 429       visibility:  visibility_local
 430       variability: variability_uninitialized
 431       volatility:  volatility_non_volatile
 432       peculiarity: peculiarity_existent
 433       ld_name: no yet set
 434       offset:  -1 bits, -1 bytes
 435     entity set_a (20)
 436       type:  set_a (18)
 437       owner: PRIMA (15)
 438       Does not overwrite other entities.
 439       Is not overwritten by other entities.
 440       allocation:  allocation_static
 441       visibility:  visibility_local
 442       variability: variability_constant
 443       calling convention: cdecl
 444       atomic value: SymC &set_a
 445       volatility:  volatility_non_volatile
 446       peculiarity: peculiarity_existent
 447       ld_name: PRIMA_set_a
 448       offset:  -1 bits, -1 bytes
 449       irg = 73
 450     entity c (23)
 451       type:  c (21)
 452       owner: PRIMA (15)
 453       Does not overwrite other entities.
 454       Is not overwritten by other entities.
 455       allocation:  allocation_static
 456       visibility:  visibility_local
 457       variability: variability_constant
 458       calling convention: cdecl
 459       atomic value: SymC &c
 460       volatility:  volatility_non_volatile
 461       peculiarity: peculiarity_existent
 462       ld_name: PRIMA_c
 463       offset:  -1 bits, -1 bytes
 464       irg = 96
 465   supertypes:
 466   subtypes:
 467   peculiarity: peculiarity_existent
 468   visibility: visibility_external_allocated,
 469   state:      layout_undefined,
 470   size:       -1 Bits,
 471   alignment:  32 Bits,
 472
 473
 474 "
 475  color: green}
 476 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 477 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 478 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 479 node: {title: "e17" label: "ent a" color: yellow
 480  info1: "entity a (17)
 481   type:  int (14)
 482   owner: PRIMA (15)
 483   Does not overwrite other entities.
 484   Is not overwritten by other entities.
 485   allocation:  allocation_automatic
 486   visibility:  visibility_local
 487   variability: variability_uninitialized
 488   volatility:  volatility_non_volatile
 489   peculiarity: peculiarity_existent
 490   ld_name: no yet set
 491   offset:  -1 bits, -1 bytes
 492
 493 "
 494 }
 495 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 496 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
 497   visibility: visibility_external_allocated,
 498   state:      layout_fixed,
 499   size:       32 Bits,
 500   alignment:  32 Bits,
 501   mode:       Is,
 502
 503
 504 "
 505 }
 506 node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
 507  info1: "entity set_a (20)
 508   type:  set_a (18)
 509   owner: PRIMA (15)
 510   Does not overwrite other entities.
 511   Is not overwritten by other entities.
 512   allocation:  allocation_static
 513   visibility:  visibility_local
 514   variability: variability_constant
 515   calling convention: cdecl
 516   atomic value: SymC &set_a
 517   volatility:  volatility_non_volatile
 518   peculiarity: peculiarity_existent
 519   ld_name: PRIMA_set_a
 520   offset:  -1 bits, -1 bytes
 521   irg = 73
 522
 523 "
 524 }
 525 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 526 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 527 node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
 528   mode:    P
 529   visited: 3
 530   arity:   0
 531   pred nodes:
 532     -1:    Block 3
 533   Private Attributes:
 534   kind:   addr_ent
 535   entity: entity PRIMA.set_a (20)
 536
 537   type of value: type_unknown
 538 "
 539 }
 540 node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
 541   variadicity: variadicity_non_variadic
 542   return types: 0
 543   parameter types: 2
 544     class_prima_ptr
 545     int
 546   visibility: visibility_external_allocated,
 547   state:      layout_fixed,
 548   size:       32 Bits,
 549   alignment:  32 Bits,
 550   mode:       P,
 551
 552
 553 "
 554 }
 555 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
 556 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 557 node: {title: "e23" label: "ent PRIMA_c" color: yellow
 558  info1: "entity c (23)
 559   type:  c (21)
 560   owner: PRIMA (15)
 561   Does not overwrite other entities.
 562   Is not overwritten by other entities.
 563   allocation:  allocation_static
 564   visibility:  visibility_local
 565   variability: variability_constant
 566   calling convention: cdecl
 567   atomic value: SymC &c
 568   volatility:  volatility_non_volatile
 569   peculiarity: peculiarity_existent
 570   ld_name: PRIMA_c
 571   offset:  -1 bits, -1 bytes
 572   irg = 96
 573
 574 "
 575 }
 576 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 577 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 578 node: {title: "n22" label: "SymC &c 22"  info1: "SymC &c 22
 579   mode:    P
 580   visited: 3
 581   arity:   0
 582   pred nodes:
 583     -1:    Block 3
 584   Private Attributes:
 585   kind:   addr_ent
 586   entity: entity PRIMA.c (23)
 587
 588   type of value: type_unknown
 589 "
 590 }
 591 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
 592  info1: "entity OO_PROGRAM_EXAMPLE_main (26)
 593   type:  OO_PROGRAM_EXAMPLE_main (24)
 594   owner: GlobalType (0)
 595   Does not overwrite other entities.
 596   Is not overwritten by other entities.
 597   allocation:  allocation_static
 598   visibility:  visibility_local
 599   variability: variability_constant
 600   calling convention: cdecl
 601   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
 602   volatility:  volatility_non_volatile
 603   peculiarity: peculiarity_existent
 604   ld_name: no yet set
 605   offset:  -1 bits, -1 bytes
 606   irg = 39
 607
 608 "
 609 }
 610 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
 611 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
 612 node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25"  info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
 613   mode:    P
 614   visited: 3
 615   arity:   0
 616   pred nodes:
 617     -1:    Block 3
 618   Private Attributes:
 619   kind:   addr_ent
 620   entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)
 621
 622   type of value: type_unknown
 623 "
 624 }
 625 node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
 626   members:
 627     entity OO_PROGRAM_EXAMPLE_main (26)
 628       type:  OO_PROGRAM_EXAMPLE_main (24)
 629       owner: GlobalType (0)
 630       Does not overwrite other entities.
 631       Is not overwritten by other entities.
 632       allocation:  allocation_static
 633       visibility:  visibility_local
 634       variability: variability_constant
 635       calling convention: cdecl
 636       atomic value: SymC &OO_PROGRAM_EXAMPLE_main
 637       volatility:  volatility_non_volatile
 638       peculiarity: peculiarity_existent
 639       ld_name: no yet set
 640       offset:  -1 bits, -1 bytes
 641       irg = 39
 642   supertypes:
 643   subtypes:
 644   peculiarity: peculiarity_existent
 645   visibility: visibility_external_allocated,
 646   state:      layout_undefined,
 647   size:       -1 Bits,
 648   alignment:  32 Bits,
 649
 650
 651 "
 652  color: green}
 653 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
 654 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type OO_PROGRAM_EXAMPLE_main (24)
 655   variadicity: variadicity_non_variadic
 656   return types: 1
 657     int
 658   parameter types: 0
 659   visibility: visibility_external_allocated,
 660   state:      layout_fixed,
 661   size:       32 Bits,
 662   alignment:  32 Bits,
 663   mode:       P,
 664
 665
 666 "
 667 }
 668 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
 669 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class type OO_PROGRAM_EXAMPLE_mainframe_tp (27)
 670   members:
 671   supertypes:
 672   subtypes:
 673   peculiarity: peculiarity_existent
 674   visibility: visibility_external_allocated,
 675   state:      layout_undefined,
 676   size:       -1 Bits,
 677   alignment:   0 Bits,
 678
 679
 680 "
 681  color: green}
 682 edge: { sourcename: "n54" targetname: "t21"class:2 priority:2 linestyle:dotted}
 683 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
 684 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
 685 edge: { sourcename: "n53" targetname: "e23"class:2 priority:2 linestyle:dotted}
 686 edge: { sourcename: "n50" targetname: "t18"class:2 priority:2 linestyle:dotted}
 687 edge: { sourcename: "n49" targetname: "e20"class:2 priority:2 linestyle:dotted}
 688 }