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: "mode:    X
  59 visited: 44
  60 irg:     OO_PROGRAM_EXAMPLE_main
  61 arity: 2
  62 "color: blue}
  63 }
  64
  65 graph: { title: "n40"  label: "Block 40" status:clustered color:yellow
  66 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
  67 node: {title: "n59" label: "Return  59"  info1: "mode:    X
  68 visited: 44
  69 irg:     OO_PROGRAM_EXAMPLE_main
  70 arity: 2
  71 "}
  72 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
  73 edge: {sourcename: "n59" targetname: "n203" label: "1" class:1  priority:50}
  74 node: {title: "n202" label: "FilterM 0 202"  info1: "mode:    M
  75 visited: 44
  76 irg:     OO_PROGRAM_EXAMPLE_main
  77 arity: 1 backedges:
  78 intra predecessor nodes:
  79   CallT 54
  80 "color: yellow}
  81 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
  82 node: {title: "n203" label: "FilterIs 0 203"  info1: "mode:    Is
  83 visited: 44
  84 irg:     OO_PROGRAM_EXAMPLE_main
  85 arity: 1 backedges:
  86 intra predecessor nodes:
  87   ProjT 57
  88 "color: yellow}
  89 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
  90 }
  91
  92 graph: { title: "n197"  label: "Block 197" status:clustered color:yellow
  93 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
  94 node: {title: "n196" label: "FilterM 0 196"  info1: "mode:    M
  95 visited: 44
  96 irg:     OO_PROGRAM_EXAMPLE_main
  97 arity: 1 backedges:
  98 intra predecessor nodes:
  99   CallT 50
 100 "color: yellow}
 101 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 102 node: {title: "n201" label: "ProjX 0 201"  info1: "mode:    X
 103 visited: 44
 104 irg:     OO_PROGRAM_EXAMPLE_main
 105 arity: 1
 106 "color: yellow}
 107 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
 108 node: {title: "n199" label: "CallBegin c  199"  info1: "mode:    T
 109 visited: 44
 110 irg:     OO_PROGRAM_EXAMPLE_main
 111 arity: 1
 112 Call: 54
 113 possible callees:
 114   0: PRIMA_c
 115 "}
 116 node: {title: "n199n174" label: "SymC &c  174"  info1: "mode:    P
 117 visited: 44
 118 irg:     OO_PROGRAM_EXAMPLE_main
 119 arity: 0
 120 kind addr_ent
 121 entity PRIMA.c (23)
 122
 123 SymConst of type type_unknown
 124 "}
 125 edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10}
 126 }
 127
 128 graph: { title: "n191"  label: "Block 191" status:clustered color:yellow
 129 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
 130 node: {title: "n47" label: "ProjM 0 47"  info1: "mode:    M
 131 visited: 44
 132 irg:     OO_PROGRAM_EXAMPLE_main
 133 arity: 1
 134 "color: yellow}
 135 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 136 node: {title: "n48" label: "ProjP 2 48"  info1: "mode:    P
 137 visited: 44
 138 irg:     OO_PROGRAM_EXAMPLE_main
 139 arity: 1
 140 "color: yellow}
 141 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 142 node: {title: "n45" label: "Alloc  45"  info1: "mode:    T
 143 visited: 44
 144 irg:     OO_PROGRAM_EXAMPLE_main
 145 arity: 2
 146 allocating entity of type PRIMA
 147 "}
 148 node: {title: "n45n43" label: "SymC PRIMA size  43"  info1: "mode:    Iu
 149 visited: 44
 150 irg:     OO_PROGRAM_EXAMPLE_main
 151 arity: 0
 152 kind size
 153 SymConst of type type_unknown
 154 "}
 155 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 156 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
 157 node: {title: "n195" label: "ProjX 0 195"  info1: "mode:    X
 158 visited: 44
 159 irg:     OO_PROGRAM_EXAMPLE_main
 160 arity: 1
 161 "color: yellow}
 162 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
 163 node: {title: "n193" label: "CallBegin set_a  193"  info1: "mode:    T
 164 visited: 44
 165 irg:     OO_PROGRAM_EXAMPLE_main
 166 arity: 1
 167 Call: 50
 168 possible callees:
 169   0: PRIMA_set_a
 170 "}
 171 node: {title: "n193n175" label: "SymC &set_a  175"  info1: "mode:    P
 172 visited: 44
 173 irg:     OO_PROGRAM_EXAMPLE_main
 174 arity: 0
 175 kind addr_ent
 176 entity PRIMA.set_a (20)
 177
 178 SymConst of type type_unknown
 179 "}
 180 edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10}
 181 }
 182
 183 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
 184 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
 185 node: {title: "n37" label: "ProjM 1 37"  info1: "mode:    M
 186 visited: 44
 187 irg:     OO_PROGRAM_EXAMPLE_main
 188 arity: 1
 189 "color: yellow}
 190 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 191 node: {title: "n34" label: "ProjX 0 34"  info1: "mode:    X
 192 visited: 44
 193 irg:     OO_PROGRAM_EXAMPLE_main
 194 arity: 1
 195 "color: yellow}
 196 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
 197 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main  31"  info1: "mode:    T
 198 visited: 44
 199 irg:     OO_PROGRAM_EXAMPLE_main
 200 arity: 0
 201 start of method of type OO_PROGRAM_EXAMPLE_main
 202 "color: blue}
 203 }
 204
 205 }
 206
 207 graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white
 208 graph: { title: "n188"  label: "Block 188" status:clustered color:yellow
 209 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
 210 node: {title: "n194" label: "ProjX 0 194"  info1: "mode:    X
 211 visited: 44
 212 irg:     PRIMA_set_a
 213 arity: 1
 214 "color: yellow}
 215 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
 216 node: {title: "n189" label: "EndReg PRIMA_set_a  189"  info1: "mode:    T
 217 visited: 44
 218 irg:     PRIMA_set_a
 219 arity: 0
 220 "color: blue}
 221 }
 222
 223 graph: { title: "n74"  label: "Block 74" status:clustered color:yellow
 224 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
 225 node: {title: "n81" label: "ProjM 0 81"  info1: "mode:    M
 226 visited: 44
 227 irg:     PRIMA_set_a
 228 arity: 1
 229 "color: yellow}
 230 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 231 node: {title: "n79" label: "Store  79"  info1: "mode:    T
 232 visited: 44
 233 irg:     PRIMA_set_a
 234 arity: 3
 235 volatility: volatility_non_volatile
 236 "}
 237 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 238 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 239 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 240 node: {title: "n78" label: "Sel a 78"  info1: "mode:    P
 241 visited: 44
 242 irg:     PRIMA_set_a
 243 arity: 2
 244 Selecting entity of type int
 245   from entity of type PRIMA
 246 "}
 247 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 248 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 249 node: {title: "n187" label: "Jmp  187"  info1: "mode:    X
 250 visited: 44
 251 irg:     PRIMA_set_a
 252 arity: 0
 253 "}
 254 }
 255
 256 graph: { title: "n64"  label: "Block 64" status:clustered color:yellow
 257 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 258 node: {title: "n184" label: "FilterM 1 184"  info1: "mode:    M
 259 visited: 44
 260 irg:     PRIMA_set_a
 261 arity: 1 backedges:
 262 intra predecessor nodes:
 263   StartT 65
 264 "color: yellow}
 265 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 266 node: {title: "n185" label: "FilterP 0 185"  info1: "mode:    P
 267 visited: 44
 268 irg:     PRIMA_set_a
 269 arity: 1 backedges:
 270 intra predecessor nodes:
 271   ProjT 72
 272 "color: yellow}
 273 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 274 node: {title: "n186" label: "FilterIs 1 186"  info1: "mode:    Is
 275 visited: 44
 276 irg:     PRIMA_set_a
 277 arity: 1 backedges:
 278 intra predecessor nodes:
 279   ProjT 72
 280 "color: yellow}
 281 node: {title: "n186n41" label: "0x2Is  41"  info1: "mode:    Is
 282 visited: 44
 283 irg:     OO_PROGRAM_EXAMPLE_main
 284 arity: 0
 285 Const of type type_unknown
 286 "color: yellow}
 287 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
 288 node: {title: "n68" label: "ProjX 0 68"  info1: "mode:    X
 289 visited: 44
 290 irg:     PRIMA_set_a
 291 arity: 1
 292 "color: yellow}
 293 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 294 node: {title: "n65" label: "Start PRIMA_set_a  65"  info1: "mode:    T
 295 visited: 44
 296 irg:     PRIMA_set_a
 297 arity: 0
 298 start of method of type set_a
 299   param 0 type: class_prima_ptr
 300   param 1 type: int
 301 "color: blue}
 302 }
 303
 304 }
 305
 306 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white
 307 graph: { title: "n180"  label: "Block 180" status:clustered color:yellow
 308 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 309 node: {title: "n200" label: "ProjX 0 200"  info1: "mode:    X
 310 visited: 44
 311 irg:     PRIMA_c
 312 arity: 1
 313 "color: yellow}
 314 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 315 node: {title: "n181" label: "EndReg PRIMA_c  181"  info1: "mode:    T
 316 visited: 44
 317 irg:     PRIMA_c
 318 arity: 0
 319 "color: blue}
 320 }
 321
 322 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
 323 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 324 node: {title: "n104" label: "ProjM 0 104"  info1: "mode:    M
 325 visited: 44
 326 irg:     PRIMA_c
 327 arity: 1
 328 "color: yellow}
 329 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 330 node: {title: "n106" label: "AddIs  106"  info1: "mode:    Is
 331 visited: 44
 332 irg:     PRIMA_c
 333 arity: 2
 334 "}
 335 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 336 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 337 node: {title: "n105" label: "ProjIs 2 105"  info1: "mode:    Is
 338 visited: 44
 339 irg:     PRIMA_c
 340 arity: 1
 341 "color: yellow}
 342 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 343 node: {title: "n102" label: "Load[Is]  102"  info1: "mode:    T
 344 visited: 44
 345 irg:     PRIMA_c
 346 arity: 2
 347 volatility: volatility_non_volatile
 348 "}
 349 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 350 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 351 node: {title: "n101" label: "Sel a 101"  info1: "mode:    P
 352 visited: 44
 353 irg:     PRIMA_c
 354 arity: 2
 355 Selecting entity of type int
 356   from entity of type PRIMA
 357 "}
 358 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 359 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 360 node: {title: "n179" label: "Jmp  179"  info1: "mode:    X
 361 visited: 44
 362 irg:     PRIMA_c
 363 arity: 0
 364 "}
 365 }
 366
 367 graph: { title: "n87"  label: "Block 87" status:clustered color:yellow
 368 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 369 node: {title: "n176" label: "FilterM 1 176"  info1: "mode:    M
 370 visited: 44
 371 irg:     PRIMA_c
 372 arity: 1 backedges:
 373 intra predecessor nodes:
 374   StartT 88
 375 "color: yellow}
 376 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 377 node: {title: "n177" label: "FilterP 0 177"  info1: "mode:    P
 378 visited: 44
 379 irg:     PRIMA_c
 380 arity: 1 backedges:
 381 intra predecessor nodes:
 382   ProjT 95
 383 "color: yellow}
 384 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 385 node: {title: "n178" label: "FilterIs 1 178"  info1: "mode:    Is
 386 visited: 44
 387 irg:     PRIMA_c
 388 arity: 1 backedges:
 389 intra predecessor nodes:
 390   ProjT 95
 391 "color: yellow}
 392 node: {title: "n178n42" label: "0x5Is  42"  info1: "mode:    Is
 393 visited: 44
 394 irg:     OO_PROGRAM_EXAMPLE_main
 395 arity: 0
 396 Const of type type_unknown
 397 "color: yellow}
 398 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
 399 node: {title: "n91" label: "ProjX 0 91"  info1: "mode:    X
 400 visited: 44
 401 irg:     PRIMA_c
 402 arity: 1
 403 "color: yellow}
 404 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
 405 node: {title: "n88" label: "Start PRIMA_c  88"  info1: "mode:    T
 406 visited: 44
 407 irg:     PRIMA_c
 408 arity: 0
 409 start of method of type c
 410   param 0 type: class_prima_ptr
 411   param 1 type: int
 412 "color: blue}
 413 }
 414
 415 }
 416
 417 node: {title: "e17" label: "ent a" color: yellow
 418  info1: "entity a (17)
 419   type:  int (14)
 420   owner: PRIMA (15)
 421   Does not overwrite other entities.
 422   Is not overwritten by other entities.
 423   allocation:  allocation_automatic
 424   visibility:  visibility_local
 425   variability: variability_uninitialized
 426   volatility:  volatility_non_volatile
 427   peculiarity: peculiarity_existent
 428   ld_name: no yet set
 429   offset:  -1
 430
 431 "
 432 }
 433 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 434 node: {title: "t15" label: "class PRIMA" info1: "state: layout_undefined
 435 size: -1b,
 436 peculiarity: peculiarity_existent
 437 " color: green}
 438 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 439 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 440 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 441 node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
 442  info1: "entity set_a (20)
 443   type:  set_a (18)
 444   owner: PRIMA (15)
 445   Does not overwrite other entities.
 446   Is not overwritten by other entities.
 447   allocation:  allocation_static
 448   visibility:  visibility_local
 449   variability: variability_constant
 450   atomic value: SymC &set_a
 451   volatility:  volatility_non_volatile
 452   peculiarity: peculiarity_existent
 453   ld_name: PRIMA_set_a
 454   offset:  -1
 455   irg = 73
 456
 457 "
 458 }
 459 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 460 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 461 node: {title: "n19" label: "SymC &set_a  19"  info1: "mode:    P
 462 visited: 47
 463 arity: 0
 464 kind addr_ent
 465 entity PRIMA.set_a (20)
 466
 467 SymConst of type type_unknown
 468 "}
 469 node: {title: "t18" label: "method set_a" info1: "state: layout_fixed,
 470 mode: P,
 471 size: 32b,
 472 variadicity: variadicity_non_variadic
 473 params: 2
 474 results: 0
 475 "}
 476 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
 477 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 478 node: {title: "t16" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
 479 mode: P,
 480 size: 32b,
 481 "}
 482 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 483 node: {title: "t14" label: "primitive int" info1: "state: layout_fixed,
 484 mode: Is,
 485 size: 32b,
 486 "}
 487 node: {title: "e23" label: "ent PRIMA_c" color: yellow
 488  info1: "entity c (23)
 489   type:  c (21)
 490   owner: PRIMA (15)
 491   Does not overwrite other entities.
 492   Is not overwritten by other entities.
 493   allocation:  allocation_static
 494   visibility:  visibility_local
 495   variability: variability_constant
 496   atomic value: SymC &c
 497   volatility:  volatility_non_volatile
 498   peculiarity: peculiarity_existent
 499   ld_name: PRIMA_c
 500   offset:  -1
 501   irg = 96
 502
 503 "
 504 }
 505 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 506 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 507 node: {title: "n22" label: "SymC &c  22"  info1: "mode:    P
 508 visited: 48
 509 arity: 0
 510 kind addr_ent
 511 entity PRIMA.c (23)
 512
 513 SymConst of type type_unknown
 514 "}
 515 node: {title: "t21" label: "method c" info1: "state: layout_fixed,
 516 mode: P,
 517 size: 32b,
 518 variadicity: variadicity_non_variadic
 519 params: 2
 520 results: 1
 521 "}
 522 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
 523 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
 524 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 525 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
 526  info1: "entity OO_PROGRAM_EXAMPLE_main (26)
 527   type:  OO_PROGRAM_EXAMPLE_main (24)
 528   owner: GlobalType (0)
 529   Does not overwrite other entities.
 530   Is not overwritten by other entities.
 531   allocation:  allocation_static
 532   visibility:  visibility_local
 533   variability: variability_constant
 534   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
 535   volatility:  volatility_non_volatile
 536   peculiarity: peculiarity_existent
 537   ld_name: no yet set
 538   offset:  -1
 539   irg = 39
 540
 541 "
 542 }
 543 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
 544 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
 545 node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main  25"  info1: "mode:    P
 546 visited: 49
 547 arity: 0
 548 kind addr_ent
 549 entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)
 550
 551 SymConst of type type_unknown
 552 "}
 553 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 554 size: -1b,
 555 peculiarity: peculiarity_existent
 556 " color: green}
 557 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
 558 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
 559 mode: P,
 560 size: 32b,
 561 variadicity: variadicity_non_variadic
 562 params: 0
 563 results: 1
 564 "}
 565 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
 566 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 567 size: -1b,
 568 peculiarity: peculiarity_existent
 569 " color: green}
 570 edge: { sourcename: "n101" targetname: "e17"class:2 priority:2 linestyle:dotted}
 571 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
 572 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
 573 edge: { sourcename: "n78" targetname: "e17"class:2 priority:2 linestyle:dotted}
 574 }