projects / libfirm / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Set array border to 0, needed for fixed add_compound_ent_value(), one node more
[libfirm] / testprograms / ref-results / OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
index 9516498..d63879e 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
@@ -24,6 +24,7 @@ classname 11: "Overwrites"
 classname 12: "Member"
 infoname 1: "Attribute"
 infoname 2: "Verification errors"
+infoname 3: "Debug info"
 colorentry 100:    0   0    0
 colorentry 101:   20   0    0
 colorentry 102:   40   0    0
@@ -146,6 +147,7 @@ node: {title: "n201" label: "ProjX 0 201"  info1: "Proj 201
     -1:    Block 197
      0:    CallBegin c 199
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
@@ -163,26 +165,12 @@ node: {title: "n199" label: "CallBegin c 199"  info1: "CallBegin c 199
     0: PRIMA_c
 "
 }
-node: {title: "n199n174" label: "SymC &c 174"  info1: "SymC &c 174
-  mode:    P
-  visited: 45
-  irg:     OO_PROGRAM_EXAMPLE_main
-  arity:   0
-  pred nodes:
-    -1:    Block 30
-  Private Attributes:
-  kind:   addr_ent
-  entity: entity PRIMA.c (23)
-
-  type of value: type_unknown
-"
-}
-edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10}
+edge: {sourcename: "n199" targetname: "n174" label: "0" class:16 priority:10}
 }
 
 graph: { title: "n191"  label: "Block 191" status:clustered color:yellow
 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
-node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
+node: {title: "n47" label: "ProjM M 47"  info1: "Proj 47
   mode:    M
   visited: 45
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -191,10 +179,11 @@ node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
     -1:    Block 191
      0:    Alloc 45
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
-node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
+node: {title: "n48" label: "ProjP res 48"  info1: "Proj 48
   mode:    P
   visited: 45
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -203,6 +192,7 @@ node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
     -1:    Block 191
      0:    Alloc 45
   Private Attributes:
+  proj nr: 2
 "
 color: yellow}
 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
@@ -221,21 +211,8 @@ node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
   allocating on: the heap
 "
 }
-node: {title: "n45n43" label: "SymC PRIMA size 43"  info1: "SymC PRIMA size 43
-  mode:    Iu
-  visited: 45
-  irg:     OO_PROGRAM_EXAMPLE_main
-  arity:   0
-  pred nodes:
-    -1:    Block 30
-  Private Attributes:
-  kind: size
-  type: class type PRIMA (15)
-  type of value: type_unknown
-"
-}
 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
+edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10}
 node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
   mode:    X
   visited: 45
@@ -245,6 +222,7 @@ node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
     -1:    Block 191
      0:    CallBegin set_a 193
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
@@ -262,25 +240,22 @@ node: {title: "n193" label: "CallBegin set_a 193"  info1: "CallBegin set_a 193
     0: PRIMA_set_a
 "
 }
-node: {title: "n193n175" label: "SymC &set_a 175"  info1: "SymC &set_a 175
-  mode:    P
+edge: {sourcename: "n193" targetname: "n175" label: "0" class:16 priority:10}
+}
+
+graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
+edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
+node: {title: "n41" label: "0x2Is 41"  info1: "0x2 41
+  mode:    Is
   visited: 45
   irg:     OO_PROGRAM_EXAMPLE_main
   arity:   0
   pred nodes:
     -1:    Block 30
   Private Attributes:
-  kind:   addr_ent
-  entity: entity PRIMA.set_a (20)
-
-  type of value: type_unknown
+  Const of type type_unknown
 "
-}
-edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10}
-}
-
-graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
-edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
+color: yellow}
 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
   mode:    M
   visited: 45
@@ -290,10 +265,63 @@ node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
     -1:    Block 30
      0:    Start OO_PROGRAM_EXAMPLE_main 31
   Private Attributes:
+  proj nr: 1
 "
 color: yellow}
 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
-node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
+node: {title: "n43" label: "SymC PRIMA size 43"  info1: "SymC PRIMA size 43
+  mode:    Iu
+  visited: 45
+  irg:     OO_PROGRAM_EXAMPLE_main
+  arity:   0
+  pred nodes:
+    -1:    Block 30
+  Private Attributes:
+  kind: size
+  type: class type PRIMA (15)
+  type of value: type_unknown
+"
+}
+node: {title: "n42" label: "0x5Is 42"  info1: "0x5 42
+  mode:    Is
+  visited: 45
+  irg:     OO_PROGRAM_EXAMPLE_main
+  arity:   0
+  pred nodes:
+    -1:    Block 30
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
+node: {title: "n174" label: "SymC &c 174"  info1: "SymC &c 174
+  mode:    P
+  visited: 45
+  irg:     OO_PROGRAM_EXAMPLE_main
+  arity:   0
+  pred nodes:
+    -1:    Block 30
+  Private Attributes:
+  kind:   addr_ent
+  entity: entity PRIMA.c (23)
+
+  type of value: type_unknown
+"
+}
+node: {title: "n175" label: "SymC &set_a 175"  info1: "SymC &set_a 175
+  mode:    P
+  visited: 45
+  irg:     OO_PROGRAM_EXAMPLE_main
+  arity:   0
+  pred nodes:
+    -1:    Block 30
+  Private Attributes:
+  kind:   addr_ent
+  entity: entity PRIMA.set_a (20)
+
+  type of value: type_unknown
+"
+}
+node: {title: "n34" label: "ProjX X_initial_exec 34"  info1: "Proj 34
   mode:    X
   visited: 45
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -302,6 +330,7 @@ node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
     -1:    Block 30
      0:    Start OO_PROGRAM_EXAMPLE_main 31
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
@@ -332,6 +361,7 @@ node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
     -1:    Block 188
      0:    EndReg PRIMA_set_a 189
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
@@ -349,7 +379,7 @@ color: blue}
 
 graph: { title: "n74"  label: "Block 74" status:clustered color:yellow
 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
-node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
+node: {title: "n81" label: "ProjM M 81"  info1: "Proj 81
   mode:    M
   visited: 45
   irg:     PRIMA_set_a
@@ -358,6 +388,7 @@ node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
     -1:    Block 74
      0:    Store 79
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
@@ -389,9 +420,9 @@ node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
      0:    Filter 184
      1:    Filter 185
   Private Attributes:
-  Selecting entity of type int
-    from entity a (17)
-    of type PRIMA
+  Selecting entity a (17)
+    of type    int
+    with owner PRIMA.
 "
 }
 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
@@ -457,19 +488,8 @@ node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
   backedges:
 "
 color: yellow}
-node: {title: "n186n41" label: "0x2Is 41"  info1: "0x2 41
-  mode:    Is
-  visited: 45
-  irg:     OO_PROGRAM_EXAMPLE_main
-  arity:   0
-  pred nodes:
-    -1:    Block 30
-  Private Attributes:
-  Const of type type_unknown
-"
-color: yellow}
-edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
-node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
+edge: {sourcename: "n186" targetname: "n41" label: "0" class:16 priority:10}
+node: {title: "n68" label: "ProjX X_initial_exec 68"  info1: "Proj 68
   mode:    X
   visited: 45
   irg:     PRIMA_set_a
@@ -478,6 +498,7 @@ node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
     -1:    Block 64
      0:    Start PRIMA_set_a 65
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
@@ -510,6 +531,7 @@ node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
     -1:    Block 180
      0:    EndReg PRIMA_c 181
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
@@ -527,7 +549,7 @@ color: blue}
 
 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
-node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
+node: {title: "n104" label: "ProjM M 104"  info1: "Proj 104
   mode:    M
   visited: 45
   irg:     PRIMA_c
@@ -536,6 +558,7 @@ node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
     -1:    Block 97
      0:    Load[Is] 102
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
@@ -553,7 +576,7 @@ node: {title: "n106" label: "AddIs 106"  info1: "Add 106
 }
 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
-node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
+node: {title: "n105" label: "ProjIs res 105"  info1: "Proj 105
   mode:    Is
   visited: 45
   irg:     PRIMA_c
@@ -562,6 +585,7 @@ node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
     -1:    Block 97
      0:    Load[Is] 102
   Private Attributes:
+  proj nr: 2
 "
 color: yellow}
 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
@@ -592,9 +616,9 @@ node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
      0:    Filter 176
      1:    Filter 177
   Private Attributes:
-  Selecting entity of type int
-    from entity a (17)
-    of type PRIMA
+  Selecting entity a (17)
+    of type    int
+    with owner PRIMA.
 "
 }
 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
@@ -660,19 +684,8 @@ node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
   backedges:
 "
 color: yellow}
-node: {title: "n178n42" label: "0x5Is 42"  info1: "0x5 42
-  mode:    Is
-  visited: 45
-  irg:     OO_PROGRAM_EXAMPLE_main
-  arity:   0
-  pred nodes:
-    -1:    Block 30
-  Private Attributes:
-  Const of type type_unknown
-"
-color: yellow}
-edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
-node: {title: "n91" label: "ProjX 0 91"  info1: "Proj 91
+edge: {sourcename: "n178" targetname: "n42" label: "0" class:16 priority:10}
+node: {title: "n91" label: "ProjX X_initial_exec 91"  info1: "Proj 91
   mode:    X
   visited: 45
   irg:     PRIMA_c
@@ -681,6 +694,7 @@ node: {title: "n91" label: "ProjX 0 91"  info1: "Proj 91
     -1:    Block 87
      0:    Start PRIMA_c 88
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
@@ -701,23 +715,39 @@ color: blue}
 
 }
 
-node: {title: "e17" label: "ent a" color: yellow
- info1: "entity a (17)
-  type:  int (14)
+node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
+ info1: "entity set_a (20)
+  type:  set_a (18)
   owner: PRIMA (15)
   Does not overwrite other entities.
   Is not overwritten by other entities.
-  allocation:  allocation_automatic
+  allocation:  allocation_static
   visibility:  visibility_local
-  variability: variability_uninitialized
+  variability: variability_constant
+  atomic value: SymC &set_a
   volatility:  volatility_non_volatile
   peculiarity: peculiarity_existent
-  ld_name: no yet set
-  offset:  -1
+  ld_name: PRIMA_set_a
+  offset:  -1 bits, -1 bytes
+  irg = 73
 
 "
 }
-edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
+edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
+edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
+node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
+  mode:    P
+  visited: 48
+  arity:   0
+  pred nodes:
+    -1:    Block 3
+  Private Attributes:
+  kind:   addr_ent
+  entity: entity PRIMA.set_a (20)
+
+  type of value: type_unknown
+"
+}
 node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   members:
     entity a (17)
@@ -731,7 +761,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
       volatility:  volatility_non_volatile
       peculiarity: peculiarity_existent
       ld_name: no yet set
-      offset:  -1
+      offset:  -1 bits, -1 bytes
     entity set_a (20)
       type:  set_a (18)
       owner: PRIMA (15)
@@ -744,7 +774,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
       volatility:  volatility_non_volatile
       peculiarity: peculiarity_existent
       ld_name: PRIMA_set_a
-      offset:  -1
+      offset:  -1 bits, -1 bytes
       irg = 73
     entity c (23)
       type:  c (21)
@@ -758,7 +788,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
       volatility:  volatility_non_volatile
       peculiarity: peculiarity_existent
       ld_name: PRIMA_c
-      offset:  -1
+      offset:  -1 bits, -1 bytes
       irg = 96
   supertypes:
   subtypes:
@@ -767,85 +797,40 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   state:      layout_undefined,
   size:       -1 Bits,
   alignment:  32 Bits,
-  dbg info:   (nil),
 
 
-" color: green}
+"
+ color: green}
 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
-node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
- info1: "entity set_a (20)
-  type:  set_a (18)
+node: {title: "e17" label: "ent a" color: yellow
+ info1: "entity a (17)
+  type:  int (14)
   owner: PRIMA (15)
   Does not overwrite other entities.
   Is not overwritten by other entities.
-  allocation:  allocation_static
+  allocation:  allocation_automatic
   visibility:  visibility_local
-  variability: variability_constant
-  atomic value: SymC &set_a
+  variability: variability_uninitialized
   volatility:  volatility_non_volatile
   peculiarity: peculiarity_existent
-  ld_name: PRIMA_set_a
-  offset:  -1
-  irg = 73
-
-"
-}
-edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
-edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
-node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
-  mode:    P
-  visited: 48
-  arity:   0
-  pred nodes:
-    -1:    Block 3
-  Private Attributes:
-  kind:   addr_ent
-  entity: entity PRIMA.set_a (20)
+  ld_name: no yet set
+  offset:  -1 bits, -1 bytes
 
-  type of value: type_unknown
 "
 }
-node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
-  variadicity: variadicity_non_variadic
-  return types: 0
-  parameter types: 2
-    class_prima_ptr
-    int
-  visibility: visibility_external_allocated,
-  state:      layout_fixed,
-  size:       32 Bits,
-  alignment:  32 Bits,
-  mode:       P,
-  dbg info:   (nil),
-
-
-"}
-edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
-edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
-node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
-  points to PRIMA (15)
-  visibility: visibility_external_allocated,
-  state:      layout_fixed,
-  size:       32 Bits,
-  alignment:  32 Bits,
-  mode:       P,
-  dbg info:   (nil),
-
-
-"}
-edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
+edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
   visibility: visibility_external_allocated,
   state:      layout_fixed,
   size:       32 Bits,
   alignment:  32 Bits,
   mode:       Is,
-  dbg info:   (nil),
 
 
-"}
+"
+}
 node: {title: "e23" label: "ent PRIMA_c" color: yellow
  info1: "entity c (23)
   type:  c (21)
@@ -859,7 +844,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow
   volatility:  volatility_non_volatile
   peculiarity: peculiarity_existent
   ld_name: PRIMA_c
-  offset:  -1
+  offset:  -1 bits, -1 bytes
   irg = 96
 
 "
@@ -891,13 +876,42 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   size:       32 Bits,
   alignment:  32 Bits,
   mode:       P,
-  dbg info:   (nil),
 
 
-"}
+"
+}
 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
+node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
+  points to PRIMA (15)
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+
+
+"
+}
+edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
+node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
+  variadicity: variadicity_non_variadic
+  return types: 0
+  parameter types: 2
+    class_prima_ptr
+    int
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+
+
+"
+}
+edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
+edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
  info1: "entity OO_PROGRAM_EXAMPLE_main (26)
   type:  OO_PROGRAM_EXAMPLE_main (24)
@@ -911,7 +925,7 @@ node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
   volatility:  volatility_non_volatile
   peculiarity: peculiarity_existent
   ld_name: no yet set
-  offset:  -1
+  offset:  -1 bits, -1 bytes
   irg = 39
 
 "
@@ -945,7 +959,7 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
       volatility:  volatility_non_volatile
       peculiarity: peculiarity_existent
       ld_name: no yet set
-      offset:  -1
+      offset:  -1 bits, -1 bytes
       irg = 39
   supertypes:
   subtypes:
@@ -954,10 +968,10 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   state:      layout_undefined,
   size:       -1 Bits,
   alignment:  32 Bits,
-  dbg info:   (nil),
 
 
-" color: green}
+"
+ color: green}
 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type OO_PROGRAM_EXAMPLE_main (24)
   variadicity: variadicity_non_variadic
@@ -969,10 +983,10 @@ node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type
   size:       32 Bits,
   alignment:  32 Bits,
   mode:       P,
-  dbg info:   (nil),
 
 
-"}
+"
+}
 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class type OO_PROGRAM_EXAMPLE_mainframe_tp (27)
   members:
@@ -983,10 +997,10 @@ node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class
   state:      layout_undefined,
   size:       -1 Bits,
   alignment:   0 Bits,
-  dbg info:   (nil),
 
 
-" color: green}
+"
+ color: green}
 edge: { sourcename: "n101" targetname: "e17"class:2 priority:2 linestyle:dotted}
 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
libfirm