graph: { title: "ir graph of All_types"
display_edge_labels: yes
layoutalgorithm: mindepth
manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1:  "intrablock Data"
classname 16: "interblock Data"
classname 2:  "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3:  "Entity type"
classname 4:  "Entity owner"
classname 5:  "Method Param"
classname 6:  "Method Res"
classname 7:  "Super"
classname 8:  "Union"
classname 9:  "Points-to"
classname 10: "Array Element Type"
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
colorentry 103:   60   0    0
colorentry 104:   80   0    0
colorentry 105:  100   0    0
colorentry 106:  120   0    0
colorentry 107:  140   0    0
colorentry 108:  150   0    0
colorentry 109:  180   0    0
colorentry 110:  200   0    0
colorentry 111:  220   0    0
colorentry 112:  240   0    0
colorentry 113:  255   0    0
colorentry 113:  255  20   20
colorentry 114:  255  40   40
colorentry 115:  255  60   60
colorentry 116:  255  80   80
colorentry 117:  255 100  100
colorentry 118:  255 120  120
colorentry 119:  255 140  140
colorentry 120:  255 150  150
colorentry 121:  255 180  180
colorentry 122:  255 200  200
colorentry 123:  255 220  220
colorentry 124:  255 240  240
colorentry 125:  255 250  250

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,


"
}
node: {title: "t15" label: "primitive boolean" info1: "primitive type boolean (15)
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       Is,


"
}
node: {title: "t16" label: "class Te01" info1: "class type Te01 (16)
  members: 
    entity main (41)
      type:  main (26)
      owner: Te01 (16)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_static
      visibility:  visibility_local
      variability: variability_constant
      calling convention: cdecl
      atomic value: SymC &main
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
      irg = NULL
  supertypes: 
  subtypes: 
  peculiarity: peculiarity_existent
  visibility: visibility_external_allocated,
  state:      layout_undefined,
  size:       -1 Bits,
  alignment:  32 Bits,


"
 color: green}
edge: { sourcename: "t16" targetname: "e41"class: 12 label: "member" color:blue}
node: {title: "e41" label: "ent main" color: yellow
 info1: "entity main (41)
  type:  main (26)
  owner: Te01 (16)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_static
  visibility:  visibility_local
  variability: variability_constant
  calling convention: cdecl
  atomic value: SymC &main
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes
  irg = NULL

"
}
edge: { sourcename: "e41" targetname: "t26"class: 3 label: "type" color: red}
edge: { sourcename: "e41" targetname: "n40"label: "value 0"}
node: {title: "n40" label: "SymC &main 40"  info1: "SymC &main 40
  addr:    0x8152af0 
  mode:    P
  visited: 1 
  arity:   0
  pred nodes: 
    -1:    Block 3
  Private Attributes:
  kind:   addr_ent
  entity: entity Te01.main (41)

  type of value: type_unknown 
"
}
node: {title: "t26" label: "method main" info1: "method type main (26)
  variadicity: variadicity_non_variadic
  return types: 0
  parameter types: 0
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
node: {title: "t17" label: "pointer Te01" info1: "pointer type Te01 (17)
  points to Te01 (16)
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
edge: { sourcename: "t17" targetname: "t16"class: 9 label: "points to" color:green}
node: {title: "t18" label: "class I1" info1: "class type I1 (18)
  members: 
    entity a (31)
      type:  int (14)
      owner: I1 (18)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_automatic
      visibility:  visibility_local
      variability: variability_uninitialized
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
    entity m (33)
      type:  m (27)
      owner: I1 (18)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_static
      visibility:  visibility_local
      variability: variability_constant
      calling convention: cdecl
      atomic value: SymC &m
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
      irg = NULL
  supertypes: 
  subtypes: 
    Ex1
  peculiarity: peculiarity_existent
  visibility: visibility_external_allocated,
  state:      layout_undefined,
  size:       -1 Bits,
  alignment:  32 Bits,


"
 color: green}
edge: { sourcename: "t18" targetname: "e31"class: 12 label: "member" color:blue}
edge: { sourcename: "t18" targetname: "e33"class: 12 label: "member" color:blue}
node: {title: "e31" label: "ent a" color: yellow
 info1: "entity a (31)
  type:  int (14)
  owner: I1 (18)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_automatic
  visibility:  visibility_local
  variability: variability_uninitialized
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes

"
}
edge: { sourcename: "e31" targetname: "t14"class: 3 label: "type" color: red}
node: {title: "e33" label: "ent m" color: yellow
 info1: "entity m (33)
  type:  m (27)
  owner: I1 (18)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_static
  visibility:  visibility_local
  variability: variability_constant
  calling convention: cdecl
  atomic value: SymC &m
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes
  irg = NULL

"
}
edge: { sourcename: "e33" targetname: "t27"class: 3 label: "type" color: red}
edge: { sourcename: "e33" targetname: "n32"label: "value 0"}
node: {title: "n32" label: "SymC &m 32"  info1: "SymC &m 32
  addr:    0x8152a40 
  mode:    P
  visited: 1 
  arity:   0
  pred nodes: 
    -1:    Block 3
  Private Attributes:
  kind:   addr_ent
  entity: entity I1.m (33)

  type of value: type_unknown 
"
}
node: {title: "t27" label: "method m" info1: "method type m (27)
  variadicity: variadicity_non_variadic
  return types: 1
    int
  parameter types: 2
    I1
    int
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
edge: { sourcename: "t27" targetname: "t19"class: 5 label: "param 0" color: green}
edge: { sourcename: "t27" targetname: "t14"class: 5 label: "param 1" color: green}
edge: { sourcename: "t27" targetname: "t14"class: 6 label: "res 0" color: green}
node: {title: "t19" label: "pointer I1" info1: "pointer type I1 (19)
  points to I1 (18)
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
edge: { sourcename: "t19" targetname: "t18"class: 9 label: "points to" color:green}
node: {title: "t22" label: "class Ex1" info1: "class type Ex1 (22)
  members: 
    entity x (37)
      type:  int (14)
      owner: Ex1 (22)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_automatic
      visibility:  visibility_local
      variability: variability_uninitialized
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
    entity a (38)
      type:  int (14)
      owner: Ex1 (22)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_automatic
      visibility:  visibility_local
      variability: variability_uninitialized
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
    entity m (43)
      type:  m (29)
      owner: Ex1 (22)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_static
      visibility:  visibility_local
      variability: variability_constant
      calling convention: cdecl
      atomic value: SymC &m
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
      irg = NULL
  supertypes: 
    I1
  subtypes: 
  peculiarity: peculiarity_existent
  visibility: visibility_external_allocated,
  state:      layout_undefined,
  size:       -1 Bits,
  alignment:  32 Bits,


"
 color: green}
edge: { sourcename: "t22" targetname: "t18"class: 7 label: "supertype" color: red}
edge: { sourcename: "t22" targetname: "e37"class: 12 label: "member" color:blue}
edge: { sourcename: "t22" targetname: "e38"class: 12 label: "member" color:blue}
edge: { sourcename: "t22" targetname: "e43"class: 12 label: "member" color:blue}
node: {title: "e37" label: "ent x" color: yellow
 info1: "entity x (37)
  type:  int (14)
  owner: Ex1 (22)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_automatic
  visibility:  visibility_local
  variability: variability_uninitialized
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes

"
}
edge: { sourcename: "e37" targetname: "t14"class: 3 label: "type" color: red}
node: {title: "e38" label: "ent a" color: yellow
 info1: "entity a (38)
  type:  int (14)
  owner: Ex1 (22)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_automatic
  visibility:  visibility_local
  variability: variability_uninitialized
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes

"
}
edge: { sourcename: "e38" targetname: "t14"class: 3 label: "type" color: red}
node: {title: "e43" label: "ent m" color: yellow
 info1: "entity m (43)
  type:  m (29)
  owner: Ex1 (22)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_static
  visibility:  visibility_local
  variability: variability_constant
  calling convention: cdecl
  atomic value: SymC &m
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes
  irg = NULL

"
}
edge: { sourcename: "e43" targetname: "t29"class: 3 label: "type" color: red}
edge: { sourcename: "e43" targetname: "n42"label: "value 0"}
node: {title: "n42" label: "SymC &m 42"  info1: "SymC &m 42
  addr:    0x8152b48 
  mode:    P
  visited: 1 
  arity:   0
  pred nodes: 
    -1:    Block 3
  Private Attributes:
  kind:   addr_ent
  entity: entity Ex1.m (43)

  type of value: type_unknown 
"
}
node: {title: "t29" label: "method m" info1: "method type m (29)
  variadicity: variadicity_non_variadic
  return types: 1
    int
  parameter types: 2
    Ex1
    int
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
edge: { sourcename: "t29" targetname: "t23"class: 5 label: "param 0" color: green}
edge: { sourcename: "t29" targetname: "t14"class: 5 label: "param 1" color: green}
edge: { sourcename: "t29" targetname: "t14"class: 6 label: "res 0" color: green}
node: {title: "t23" label: "pointer Ex1" info1: "pointer type Ex1 (23)
  points to Ex1 (22)
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
edge: { sourcename: "t23" targetname: "t22"class: 9 label: "points to" color:green}
node: {title: "t20" label: "class IC1" info1: "class type IC1 (20)
  members: 
    entity b (34)
      type:  int (14)
      owner: IC1 (20)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_automatic
      visibility:  visibility_local
      variability: variability_uninitialized
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
    entity p (36)
      type:  p (28)
      owner: IC1 (20)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_static
      visibility:  visibility_local
      variability: variability_constant
      calling convention: cdecl
      atomic value: SymC &p
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
      irg = NULL
  supertypes: 
  subtypes: 
    C1
  peculiarity: peculiarity_existent
  visibility: visibility_external_allocated,
  state:      layout_undefined,
  size:       -1 Bits,
  alignment:  32 Bits,


"
 color: green}
edge: { sourcename: "t20" targetname: "e34"class: 12 label: "member" color:blue}
edge: { sourcename: "t20" targetname: "e36"class: 12 label: "member" color:blue}
node: {title: "e34" label: "ent b" color: yellow
 info1: "entity b (34)
  type:  int (14)
  owner: IC1 (20)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_automatic
  visibility:  visibility_local
  variability: variability_uninitialized
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes

"
}
edge: { sourcename: "e34" targetname: "t14"class: 3 label: "type" color: red}
node: {title: "e36" label: "ent p" color: yellow
 info1: "entity p (36)
  type:  p (28)
  owner: IC1 (20)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_static
  visibility:  visibility_local
  variability: variability_constant
  calling convention: cdecl
  atomic value: SymC &p
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes
  irg = NULL

"
}
edge: { sourcename: "e36" targetname: "t28"class: 3 label: "type" color: red}
edge: { sourcename: "e36" targetname: "n35"label: "value 0"}
node: {title: "n35" label: "SymC &p 35"  info1: "SymC &p 35
  addr:    0x8152a98 
  mode:    P
  visited: 1 
  arity:   0
  pred nodes: 
    -1:    Block 3
  Private Attributes:
  kind:   addr_ent
  entity: entity IC1.p (36)

  type of value: type_unknown 
"
}
node: {title: "t28" label: "method p" info1: "method type p (28)
  variadicity: variadicity_non_variadic
  return types: 1
    int
  parameter types: 2
    IC1
    int
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
edge: { sourcename: "t28" targetname: "t21"class: 5 label: "param 0" color: green}
edge: { sourcename: "t28" targetname: "t14"class: 5 label: "param 1" color: green}
edge: { sourcename: "t28" targetname: "t14"class: 6 label: "res 0" color: green}
node: {title: "t21" label: "pointer IC1" info1: "pointer type IC1 (21)
  points to IC1 (20)
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
edge: { sourcename: "t21" targetname: "t20"class: 9 label: "points to" color:green}
node: {title: "t24" label: "class C1" info1: "class type C1 (24)
  members: 
    entity b (39)
      type:  int (14)
      owner: C1 (24)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_automatic
      visibility:  visibility_local
      variability: variability_uninitialized
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
    entity p (45)
      type:  p (30)
      owner: C1 (24)
      Does not overwrite other entities. 
      Is not overwritten by other entities. 
      allocation:  allocation_static
      visibility:  visibility_local
      variability: variability_constant
      calling convention: cdecl
      atomic value: SymC &p
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
      offset:  -1 bits, -1 bytes
      irg = NULL
  supertypes: 
    IC1
  subtypes: 
  peculiarity: peculiarity_existent
  visibility: visibility_external_allocated,
  state:      layout_undefined,
  size:       -1 Bits,
  alignment:  32 Bits,


"
 color: green}
edge: { sourcename: "t24" targetname: "t20"class: 7 label: "supertype" color: red}
edge: { sourcename: "t24" targetname: "e39"class: 12 label: "member" color:blue}
edge: { sourcename: "t24" targetname: "e45"class: 12 label: "member" color:blue}
node: {title: "e39" label: "ent b" color: yellow
 info1: "entity b (39)
  type:  int (14)
  owner: C1 (24)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_automatic
  visibility:  visibility_local
  variability: variability_uninitialized
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes

"
}
edge: { sourcename: "e39" targetname: "t14"class: 3 label: "type" color: red}
node: {title: "e45" label: "ent p" color: yellow
 info1: "entity p (45)
  type:  p (30)
  owner: C1 (24)
  Does not overwrite other entities. 
  Is not overwritten by other entities. 
  allocation:  allocation_static
  visibility:  visibility_local
  variability: variability_constant
  calling convention: cdecl
  atomic value: SymC &p
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
  offset:  -1 bits, -1 bytes
  irg = NULL

"
}
edge: { sourcename: "e45" targetname: "t30"class: 3 label: "type" color: red}
edge: { sourcename: "e45" targetname: "n44"label: "value 0"}
node: {title: "n44" label: "SymC &p 44"  info1: "SymC &p 44
  addr:    0x8152ba0 
  mode:    P
  visited: 1 
  arity:   0
  pred nodes: 
    -1:    Block 3
  Private Attributes:
  kind:   addr_ent
  entity: entity C1.p (45)

  type of value: type_unknown 
"
}
node: {title: "t30" label: "method p" info1: "method type p (30)
  variadicity: variadicity_non_variadic
  return types: 1
    int
  parameter types: 2
    C1
    int
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
edge: { sourcename: "t30" targetname: "t25"class: 5 label: "param 0" color: green}
edge: { sourcename: "t30" targetname: "t14"class: 5 label: "param 1" color: green}
edge: { sourcename: "t30" targetname: "t14"class: 6 label: "res 0" color: green}
node: {title: "t25" label: "pointer C1" info1: "pointer type C1 (25)
  points to C1 (24)
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,


"
}
edge: { sourcename: "t25" targetname: "t24"class: 9 label: "points to" color:green}
node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
  members: 
  supertypes: 
  subtypes: 
  peculiarity: peculiarity_existent
  visibility: visibility_external_allocated,
  state:      layout_undefined,
  size:       -1 Bits,
  alignment:   0 Bits,


"
 color: green}
}