nsz Git - libfirm/blob - testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg

   1 graph: { title: "ir graph of GlobalType_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 14: "intrablock Memory"
  12 classname 17: "interblock Memory"
  13 classname 15: "Dominators"
  14 classname 3:  "Entity type"
  15 classname 4:  "Entity owner"
  16 classname 5:  "Method Param"
  17 classname 6:  "Method Res"
  18 classname 7:  "Super"
  19 classname 8:  "Union"
  20 classname 9:  "Points-to"
  21 classname 10: "Array Element Type"
  22 classname 11: "Overwrites"
  23 classname 12: "Member"
  24 infoname 1: "Attribute"
  25 infoname 2: "Verification errors"
  26
  27 node: {title: "n108" label: "Block  108"  info1: "visited: 33
  28 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  29 arity: 1 backedges:
  30 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
  31 edge: {sourcename: "n108" targetname: "n107" label: "0" class:13 priority:60 color:red}
  32 node: {title: "n109" label: "Start GlobalType_OO_PROGRAM_EXAMPLE_main  109"  info1: "visited: 33
  33 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  34 arity: 0
  35 start of method of type OO_PROGRAM_EXAMPLE_main
  36 " info2: "mymode == mode_T && Start node"color: blue}
  37 edge: { sourcename: "n109" targetname: "n108" class:2  priority:50 linestyle:dotted}
  38 node: {title: "n107" label: "ProjX 0 107"  info1: "visited: 33
  39 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  40 arity: 1
  41 "color: yellow}
  42 edge: {sourcename: "n107" targetname: "n109" label: "0" class:13 priority:60 color:red}
  43 edge: { sourcename: "n107" targetname: "n108" class:2  priority:50 linestyle:dotted}
  44 node: {title: "n182" label: "Block  182"  info1: "visited: 33
  45 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  46 arity: 1 backedges:
  47 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
  48 edge: {sourcename: "n182" targetname: "n107" label: "0" class:13 priority:60 color:red}
  49 node: {title: "n184" label: "CallBegin  184"  info1: "visited: 33
  50 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  51 arity: 1
  52 possible callees:
  53   0: PRIMA_set_a
  54 "}
  55 node: {title: "n184n166" label: "&(PRIMA_set_a)P  166"  info1: "visited: 33
  56 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  57 arity: 0
  58 Const of type type_unknown
  59 "color: yellow}
  60 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
  61 edge: { sourcename: "n184" targetname: "n182" class:2  priority:50 linestyle:dotted}
  62 node: {title: "n186" label: "ProjX 0 186"  info1: "visited: 33
  63 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  64 arity: 1
  65 "color: yellow}
  66 edge: {sourcename: "n186" targetname: "n184" label: "0" class:13 priority:60 color:red}
  67 edge: { sourcename: "n186" targetname: "n182" class:2  priority:50 linestyle:dotted}
  68 node: {title: "n134" label: "Block  134"  info1: "visited: 33
  69 irg:     PRIMA_set_a
  70 arity: 1 backedges:
  71 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
  72 edge: {sourcename: "n134" targetname: "n186" label: "0" class:13 priority:60 color:red}
  73 node: {title: "n135" label: "Start PRIMA_set_a  135"  info1: "visited: 33
  74 irg:     PRIMA_set_a
  75 arity: 0
  76 start of method of type set_a
  77   param 0 type: class_prima_ptr
  78   param 1 type: int
  79 " info2: "mymode == mode_T && Start node"color: blue}
  80 edge: { sourcename: "n135" targetname: "n134" class:2  priority:50 linestyle:dotted}
  81 node: {title: "n133" label: "ProjX 0 133"  info1: "visited: 33
  82 irg:     PRIMA_set_a
  83 arity: 1
  84 "color: yellow}
  85 edge: {sourcename: "n133" targetname: "n135" label: "0" class:13 priority:60 color:red}
  86 edge: { sourcename: "n133" targetname: "n134" class:2  priority:50 linestyle:dotted}
  87 node: {title: "n132" label: "Block  132"  info1: "visited: 33
  88 irg:     PRIMA_set_a
  89 arity: 1 backedges:
  90 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
  91 edge: {sourcename: "n132" targetname: "n133" label: "0" class:13 priority:60 color:red}
  92 node: {title: "n178" label: "Jmp  178"  info1: "visited: 33
  93 irg:     PRIMA_set_a
  94 arity: 0
  95 " info2: "mymode == mode_X && Jmp node"}
  96 edge: { sourcename: "n178" targetname: "n132" class:2  priority:50 linestyle:dotted}
  97 node: {title: "n179" label: "Block  179"  info1: "visited: 33
  98 irg:     PRIMA_set_a
  99 arity: 1 backedges:
 100 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 101 edge: {sourcename: "n179" targetname: "n178" label: "0" class:13 priority:60 color:red}
 102 node: {title: "n180" label: "EndReg  180"  info1: "visited: 33
 103 irg:     PRIMA_set_a
 104 arity: 0
 105 "color: blue}
 106 edge: { sourcename: "n180" targetname: "n179" class:2  priority:50 linestyle:dotted}
 107 node: {title: "n185" label: "ProjX 0 185"  info1: "visited: 33
 108 irg:     PRIMA_set_a
 109 arity: 1
 110 "color: yellow}
 111 edge: {sourcename: "n185" targetname: "n180" label: "0" class:13 priority:60 color:red}
 112 edge: { sourcename: "n185" targetname: "n179" class:2  priority:50 linestyle:dotted}
 113 node: {title: "n188" label: "Block  188"  info1: "visited: 33
 114 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 115 arity: 1 backedges:
 116 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 117 edge: {sourcename: "n188" targetname: "n185" label: "0" class:13 priority:60 color:red}
 118 node: {title: "n190" label: "CallBegin  190"  info1: "visited: 33
 119 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 120 arity: 1
 121 possible callees:
 122   0: PRIMA_c
 123 "}
 124 node: {title: "n190n165" label: "&(PRIMA_c)P  165"  info1: "visited: 33
 125 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 126 arity: 0
 127 Const of type type_unknown
 128 "color: yellow}
 129 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
 130 edge: { sourcename: "n190" targetname: "n188" class:2  priority:50 linestyle:dotted}
 131 node: {title: "n192" label: "ProjX 0 192"  info1: "visited: 33
 132 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 133 arity: 1
 134 "color: yellow}
 135 edge: {sourcename: "n192" targetname: "n190" label: "0" class:13 priority:60 color:red}
 136 edge: { sourcename: "n192" targetname: "n188" class:2  priority:50 linestyle:dotted}
 137 node: {title: "n151" label: "Block  151"  info1: "visited: 33
 138 irg:     PRIMA_c
 139 arity: 1 backedges:
 140 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 141 edge: {sourcename: "n151" targetname: "n192" label: "0" class:13 priority:60 color:red}
 142 node: {title: "n152" label: "Start PRIMA_c  152"  info1: "visited: 33
 143 irg:     PRIMA_c
 144 arity: 0
 145 start of method of type c
 146   param 0 type: class_prima_ptr
 147   param 1 type: int
 148 " info2: "mymode == mode_T && Start node"color: blue}
 149 edge: { sourcename: "n152" targetname: "n151" class:2  priority:50 linestyle:dotted}
 150 node: {title: "n150" label: "ProjX 0 150"  info1: "visited: 33
 151 irg:     PRIMA_c
 152 arity: 1
 153 "color: yellow}
 154 edge: {sourcename: "n150" targetname: "n152" label: "0" class:13 priority:60 color:red}
 155 edge: { sourcename: "n150" targetname: "n151" class:2  priority:50 linestyle:dotted}
 156 node: {title: "n149" label: "Block  149"  info1: "visited: 33
 157 irg:     PRIMA_c
 158 arity: 1 backedges:
 159 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 160 edge: {sourcename: "n149" targetname: "n150" label: "0" class:13 priority:60 color:red}
 161 node: {title: "n170" label: "Jmp  170"  info1: "visited: 33
 162 irg:     PRIMA_c
 163 arity: 0
 164 " info2: "mymode == mode_X && Jmp node"}
 165 edge: { sourcename: "n170" targetname: "n149" class:2  priority:50 linestyle:dotted}
 166 node: {title: "n171" label: "Block  171"  info1: "visited: 33
 167 irg:     PRIMA_c
 168 arity: 1 backedges:
 169 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 170 edge: {sourcename: "n171" targetname: "n170" label: "0" class:13 priority:60 color:red}
 171 node: {title: "n172" label: "EndReg  172"  info1: "visited: 33
 172 irg:     PRIMA_c
 173 arity: 0
 174 "color: blue}
 175 edge: { sourcename: "n172" targetname: "n171" class:2  priority:50 linestyle:dotted}
 176 node: {title: "n191" label: "ProjX 0 191"  info1: "visited: 33
 177 irg:     PRIMA_c
 178 arity: 1
 179 "color: yellow}
 180 edge: {sourcename: "n191" targetname: "n172" label: "0" class:13 priority:60 color:red}
 181 edge: { sourcename: "n191" targetname: "n171" class:2  priority:50 linestyle:dotted}
 182 node: {title: "n106" label: "Block  106"  info1: "visited: 33
 183 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 184 arity: 1 backedges:
 185 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 186 edge: {sourcename: "n106" targetname: "n191" label: "0" class:13 priority:60 color:red}
 187 node: {title: "n167" label: "FilterIs 1 167"  info1: "visited: 33
 188 irg:     PRIMA_c
 189 arity: 1 backedges:
 190 intra predecessor nodes:
 191   ProjT 158
 192 "color: yellow}
 193 node: {title: "n167n113" label: "0x5Is  113"  info1: "visited: 33
 194 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 195 arity: 0
 196 Const of type type_unknown
 197 "color: yellow}
 198 edge: {sourcename: "n167" targetname: "n167n113" label: "0" class:16 priority:10}
 199 edge: { sourcename: "n167" targetname: "n151" class:2  priority:50 linestyle:dotted}
 200 node: {title: "n117" label: "ProjM 1 117"  info1: "visited: 33
 201 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 202 arity: 1
 203 "color: yellow}
 204 edge: {sourcename: "n117" targetname: "n109" label: "0" class:17 priority:10 color:blue}
 205 edge: { sourcename: "n117" targetname: "n108" class:2  priority:50 linestyle:dotted}
 206 node: {title: "n115" label: "Alloc  115"  info1: "visited: 33
 207 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 208 arity: 2
 209 allocating entity of type PRIMA
 210 "}
 211 node: {title: "n115n116" label: "SymC PRIMA size  116"  info1: "visited: 33
 212 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 213 arity: 0
 214 "}
 215 edge: {sourcename: "n115" targetname: "n117" label: "0" class:17 priority:10 color:blue}
 216 edge: {sourcename: "n115" targetname: "n115n116" label: "1" class:16 priority:10}
 217 edge: { sourcename: "n115" targetname: "n182" class:2  priority:50 linestyle:dotted}
 218 node: {title: "n114" label: "ProjP 2 114"  info1: "visited: 33
 219 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 220 arity: 1
 221 "color: yellow}
 222 edge: {sourcename: "n114" targetname: "n115" label: "0" class:1  priority:50}
 223 edge: { sourcename: "n114" targetname: "n182" class:2  priority:50 linestyle:dotted}
 224 node: {title: "n169" label: "FilterP 0 169"  info1: "visited: 33
 225 irg:     PRIMA_c
 226 arity: 1 backedges:
 227 intra predecessor nodes:
 228   ProjT 158
 229 "color: yellow}
 230 edge: {sourcename: "n169" targetname: "n114" label: "0" class:16 priority:10}
 231 edge: { sourcename: "n169" targetname: "n151" class:2  priority:50 linestyle:dotted}
 232 node: {title: "n177" label: "FilterIs 1 177"  info1: "visited: 33
 233 irg:     PRIMA_set_a
 234 arity: 1 backedges:
 235 intra predecessor nodes:
 236   ProjT 139
 237 "color: yellow}
 238 node: {title: "n177n121" label: "0x2Is  121"  info1: "visited: 33
 239 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 240 arity: 0
 241 Const of type type_unknown
 242 "color: yellow}
 243 edge: {sourcename: "n177" targetname: "n177n121" label: "0" class:16 priority:10}
 244 edge: { sourcename: "n177" targetname: "n134" class:2  priority:50 linestyle:dotted}
 245 node: {title: "n176" label: "FilterP 0 176"  info1: "visited: 33
 246 irg:     PRIMA_set_a
 247 arity: 1 backedges:
 248 intra predecessor nodes:
 249   ProjT 139
 250 "color: yellow}
 251 edge: {sourcename: "n176" targetname: "n114" label: "0" class:16 priority:10}
 252 edge: { sourcename: "n176" targetname: "n134" class:2  priority:50 linestyle:dotted}
 253 node: {title: "n123" label: "ProjM 0 123"  info1: "visited: 33
 254 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 255 arity: 1
 256 "color: yellow}
 257 edge: {sourcename: "n123" targetname: "n115" label: "0" class:17 priority:10 color:blue}
 258 edge: { sourcename: "n123" targetname: "n182" class:2  priority:50 linestyle:dotted}
 259 node: {title: "n175" label: "FilterM 1 175"  info1: "visited: 33
 260 irg:     PRIMA_set_a
 261 arity: 1 backedges:
 262 intra predecessor nodes:
 263   StartT 135
 264 "color: yellow}
 265 edge: {sourcename: "n175" targetname: "n123" label: "0" class:17 priority:10 color:blue}
 266 edge: { sourcename: "n175" targetname: "n134" class:2  priority:50 linestyle:dotted}
 267 node: {title: "n140" label: "Sel a 140"  info1: "visited: 33
 268 irg:     PRIMA_set_a
 269 arity: 2
 270 Selecting entity of type int
 271   from entity of type PRIMA
 272 "}
 273 edge: {sourcename: "n140" targetname: "n175" label: "0" class:17 priority:10 color:blue}
 274 edge: {sourcename: "n140" targetname: "n176" label: "1" class:16 priority:10}
 275 edge: { sourcename: "n140" targetname: "n132" class:2  priority:50 linestyle:dotted}
 276 node: {title: "n137" label: "Store  137"  info1: "visited: 33
 277 irg:     PRIMA_set_a
 278 arity: 3
 279 " info2: "mymode == mode_T && Store node"}
 280 edge: {sourcename: "n137" targetname: "n175" label: "0" class:17 priority:10 color:blue}
 281 edge: {sourcename: "n137" targetname: "n140" label: "1" class:1  priority:50}
 282 edge: {sourcename: "n137" targetname: "n177" label: "2" class:16 priority:10}
 283 edge: { sourcename: "n137" targetname: "n132" class:2  priority:50 linestyle:dotted}
 284 node: {title: "n136" label: "ProjM 0 136"  info1: "visited: 33
 285 irg:     PRIMA_set_a
 286 arity: 1
 287 "color: yellow}
 288 edge: {sourcename: "n136" targetname: "n137" label: "0" class:17 priority:10 color:blue}
 289 edge: { sourcename: "n136" targetname: "n132" class:2  priority:50 linestyle:dotted}
 290 node: {title: "n187" label: "FilterM 0 187"  info1: "visited: 33
 291 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 292 arity: 1 backedges:
 293 intra predecessor nodes:
 294   CallT 120
 295 "color: yellow}
 296 edge: {sourcename: "n187" targetname: "n136" label: "0" class:17 priority:10 color:blue}
 297 edge: { sourcename: "n187" targetname: "n188" class:2  priority:50 linestyle:dotted}
 298 node: {title: "n168" label: "FilterM 1 168"  info1: "visited: 33
 299 irg:     PRIMA_c
 300 arity: 1 backedges:
 301 intra predecessor nodes:
 302   StartT 152
 303 "color: yellow}
 304 edge: {sourcename: "n168" targetname: "n187" label: "0" class:17 priority:10 color:blue}
 305 edge: { sourcename: "n168" targetname: "n151" class:2  priority:50 linestyle:dotted}
 306 node: {title: "n156" label: "Sel a 156"  info1: "visited: 33
 307 irg:     PRIMA_c
 308 arity: 2
 309 Selecting entity of type int
 310   from entity of type PRIMA
 311 "}
 312 edge: {sourcename: "n156" targetname: "n168" label: "0" class:17 priority:10 color:blue}
 313 edge: {sourcename: "n156" targetname: "n169" label: "1" class:16 priority:10}
 314 edge: { sourcename: "n156" targetname: "n149" class:2  priority:50 linestyle:dotted}
 315 node: {title: "n155" label: "Load  155"  info1: "visited: 33
 316 irg:     PRIMA_c
 317 arity: 2
 318 " info2: "mymode == mode_T && Load node"}
 319 edge: {sourcename: "n155" targetname: "n168" label: "0" class:17 priority:10 color:blue}
 320 edge: {sourcename: "n155" targetname: "n156" label: "1" class:1  priority:50}
 321 edge: { sourcename: "n155" targetname: "n149" class:2  priority:50 linestyle:dotted}
 322 node: {title: "n154" label: "ProjIs 2 154"  info1: "visited: 33
 323 irg:     PRIMA_c
 324 arity: 1
 325 "color: yellow}
 326 edge: {sourcename: "n154" targetname: "n155" label: "0" class:1  priority:50}
 327 edge: { sourcename: "n154" targetname: "n149" class:2  priority:50 linestyle:dotted}
 328 node: {title: "n153" label: "AddIs  153"  info1: "visited: 33
 329 irg:     PRIMA_c
 330 arity: 2
 331 "}
 332 edge: {sourcename: "n153" targetname: "n154" label: "0" class:1  priority:50}
 333 edge: {sourcename: "n153" targetname: "n167" label: "1" class:16 priority:10}
 334 edge: { sourcename: "n153" targetname: "n149" class:2  priority:50 linestyle:dotted}
 335 node: {title: "n194" label: "FilterIs 0 194"  info1: "visited: 33
 336 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 337 arity: 1 backedges:
 338 intra predecessor nodes:
 339   ProjT 111
 340 "color: yellow}
 341 edge: {sourcename: "n194" targetname: "n153" label: "0" class:16 priority:10}
 342 edge: { sourcename: "n194" targetname: "n106" class:2  priority:50 linestyle:dotted}
 343 node: {title: "n161" label: "ProjM 0 161"  info1: "visited: 33
 344 irg:     PRIMA_c
 345 arity: 1
 346 "color: yellow}
 347 edge: {sourcename: "n161" targetname: "n155" label: "0" class:17 priority:10 color:blue}
 348 edge: { sourcename: "n161" targetname: "n149" class:2  priority:50 linestyle:dotted}
 349 node: {title: "n193" label: "FilterM 0 193"  info1: "visited: 33
 350 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 351 arity: 1 backedges:
 352 intra predecessor nodes:
 353   CallT 112
 354 "color: yellow}
 355 edge: {sourcename: "n193" targetname: "n161" label: "0" class:17 priority:10 color:blue}
 356 edge: { sourcename: "n193" targetname: "n106" class:2  priority:50 linestyle:dotted}
 357 node: {title: "n105" label: "Return  105"  info1: "visited: 33
 358 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 359 arity: 2
 360 " info2: "mymode == mode_X && Result X"}
 361 edge: {sourcename: "n105" targetname: "n193" label: "0" class:14 priority:50 color:blue}
 362 edge: {sourcename: "n105" targetname: "n194" label: "1" class:1  priority:50}
 363 edge: { sourcename: "n105" targetname: "n106" class:2  priority:50 linestyle:dotted}
 364 node: {title: "n104" label: "Block  104"  info1: "visited: 33
 365 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 366 arity: 1 backedges:
 367 " info2: "((get_irn_op(pred) == op_Return) || is_Bad(pred) || (get_irn_op(pred) == op_Raise) || is_fragile_op(pred) ) && End Block node"color: lightyellow}
 368 edge: {sourcename: "n104" targetname: "n105" label: "0" class:13 priority:60 color:red}
 369 node: {title: "n103" label: "End  103"  info1: "visited: 33
 370 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 371 arity: 0
 372 "color: blue}
 373 edge: { sourcename: "n103" targetname: "n104" class:2  priority:50 linestyle:dotted}
 374 node: {title: "e14" label: "ent a" color: yellow
 375  info1: "
 376 id: e14
 377 allocation:  allocation_automatic
 378 visibility:  visibility_local
 379 variability: variability_uninitialized
 380 volatility:  volatility_non_volatile
 381 peculiarity: peculiarity_existent
 382 name:    a
 383 ld_name: no yet set
 384 offset:  -1"
 385 }
 386 edge: { sourcename: "e14" targetname: "t11"class: 3 label: "type" color: red}
 387 node: {title: "t12" label: "class PRIMA" info1: "state: layout_undefined
 388 size: -1B,
 389 peculiarity: peculiarity_existent
 390 " color: green}
 391 edge: { sourcename: "t12" targetname: "e14"class: 12 label: "member" color:blue}
 392 edge: { sourcename: "t12" targetname: "e17"class: 12 label: "member" color:blue}
 393 edge: { sourcename: "t12" targetname: "e20"class: 12 label: "member" color:blue}
 394 node: {title: "e17" label: "ent PRIMA_set_a" color: yellow
 395  info1: "
 396 id: e17
 397 allocation:  allocation_static
 398 visibility:  visibility_local
 399 variability: variability_constant
 400 volatility:  volatility_non_volatile
 401 peculiarity: peculiarity_existent
 402 name:    set_a
 403 ld_name: PRIMA_set_a
 404 offset:  -1
 405 irg = g68"
 406 }
 407 edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
 408 edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
 409 node: {title: "n16" label: "&(PRIMA_set_a)P  16"  info1: "visited: 36
 410 arity: 0
 411 Const of type type_unknown
 412 " info2: "(mode_is_data (mymode) || mymode == mode_b) && Const node"color: yellow}
 413 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 414 mode: P,
 415 size: 4B,
 416 variadicity: variadicity_non_variadic
 417 params: 2
 418 results: 0
 419 "}
 420 edge: { sourcename: "t15" targetname: "t13"class: 5 label: "param 0" color: green}
 421 edge: { sourcename: "t15" targetname: "t11"class: 5 label: "param 1" color: green}
 422 node: {title: "t13" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
 423 mode: P,
 424 size: 4B,
 425 "}
 426 edge: { sourcename: "t13" targetname: "t12"class: 9 label: "points to" color:green}
 427 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
 428 mode: Is,
 429 size: 4B,
 430 "}
 431 node: {title: "e20" label: "ent PRIMA_c" color: yellow
 432  info1: "
 433 id: e20
 434 allocation:  allocation_static
 435 visibility:  visibility_local
 436 variability: variability_constant
 437 volatility:  volatility_non_volatile
 438 peculiarity: peculiarity_existent
 439 name:    c
 440 ld_name: PRIMA_c
 441 offset:  -1
 442 irg = g90"
 443 }
 444 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 445 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 446 node: {title: "n19" label: "&(PRIMA_c)P  19"  info1: "visited: 37
 447 arity: 0
 448 Const of type type_unknown
 449 " info2: "(mode_is_data (mymode) || mymode == mode_b) && Const node"color: yellow}
 450 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 451 mode: P,
 452 size: 4B,
 453 variadicity: variadicity_non_variadic
 454 params: 2
 455 results: 1
 456 "}
 457 edge: { sourcename: "t18" targetname: "t13"class: 5 label: "param 0" color: green}
 458 edge: { sourcename: "t18" targetname: "t11"class: 5 label: "param 1" color: green}
 459 edge: { sourcename: "t18" targetname: "t11"class: 6 label: "res 0" color: green}
 460 node: {title: "e23" label: "ent GlobalType_OO_PROGRAM_EXAMPLE_main" color: yellow
 461  info1: "
 462 id: e23
 463 allocation:  allocation_static
 464 visibility:  visibility_local
 465 variability: variability_constant
 466 volatility:  volatility_non_volatile
 467 peculiarity: peculiarity_existent
 468 name:    OO_PROGRAM_EXAMPLE_main
 469 ld_name: GlobalType_OO_PROGRAM_EXAMPLE_main
 470 offset:  -1
 471 irg = g35"
 472 }
 473 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 474 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 475 node: {title: "n22" label: "&(GlobalType_OO_PROGRAM_EXAMPLE_main)P  22"  info1: "visited: 38
 476 arity: 0
 477 Const of type type_unknown
 478 " info2: "(mode_is_data (mymode) || mymode == mode_b) && Const node"color: yellow}
 479 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 480 size: -1B,
 481 peculiarity: peculiarity_existent
 482 " color: green}
 483 edge: { sourcename: "t0" targetname: "e23"class: 12 label: "member" color:blue}
 484 node: {title: "t21" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
 485 mode: P,
 486 size: 4B,
 487 variadicity: variadicity_non_variadic
 488 params: 0
 489 results: 1
 490 "}
 491 edge: { sourcename: "t21" targetname: "t11"class: 6 label: "res 0" color: green}
 492 node: {title: "t24" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 493 size: -1B,
 494 peculiarity: peculiarity_existent
 495 " color: green}
 496 edge: { sourcename: "n156" targetname: "e14"class:2 priority:2 linestyle:dotted}
 497 edge: { sourcename: "n115" targetname: "t12"class:2 priority:2 linestyle:dotted}
 498 edge: { sourcename: "n116" targetname: "t12"class:2 priority:2 linestyle:dotted}
 499 edge: { sourcename: "n140" targetname: "e14"class:2 priority:2 linestyle:dotted}
 500 }