ARRAY-HEAP_EXAMPLE_main-type.vcg 6.1 KB
Newer Older
Götz Lindenmaier's avatar
Götz Lindenmaier committed
1
2
3
4
5
6
graph: { title: "ir graph of ARRAY-HEAP_EXAMPLE_main"
display_edge_labels: yes
layoutalgorithm: mindepth
manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
Götz Lindenmaier's avatar
Götz Lindenmaier committed
7
8
9
10
11
12
13
14
15
classname 1:  "intrablock Data"
classname 2:  "Block"
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"
Götz Lindenmaier's avatar
Götz Lindenmaier committed
16
17
18
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
19
20
21
22
23
24
25
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
26
27
infoname 1: "Attribute"
infoname 2: "Verification errors"
28
infoname 3: "Debug info"
Götz Lindenmaier's avatar
Götz Lindenmaier committed
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
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
Götz Lindenmaier's avatar
Götz Lindenmaier committed
56

57
58
node: {title: "e20" label: "ent a_elem_ent" color: yellow
 info1: "entity a_elem_ent (20)
59
60
  type:  int (14)
  owner: a (18)
61
62
63
64
65
66
  allocation:  allocation_automatic
  visibility:  visibility_local
  variability: variability_uninitialized
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
67
  offset:  -1 bits, -1 bytes
68
69

"
70
}
71
edge: { sourcename: "e20" targetname: "t14"class: 3 label: "type" color: red}
FIRM Projekt Account's avatar
FIRM Projekt Account committed
72
73
74
node: {title: "t18" label: "array a" info1: "array type a (18)
  array [0 .. 0] of <int (14)>
  order: <0>
75
    entity a_elem_ent (20)
FIRM Projekt Account's avatar
FIRM Projekt Account committed
76
77
78
79
80
81
82
83
      type:  int (14)
      owner: a (18)
      allocation:  allocation_automatic
      visibility:  visibility_local
      variability: variability_uninitialized
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
84
      offset:  -1 bits, -1 bytes
85
86
87
88
  visibility: visibility_external_allocated,
  state:      layout_undefined,
  size:       -1 Bits,
  alignment:  32 Bits,
FIRM Projekt Account's avatar
FIRM Projekt Account committed
89
90


91
92
"
}
93
edge: { sourcename: "t18" targetname: "t14"class: 10 label: "arr elt tp" color:green}
94
95
96
97
edge: { sourcename: "t18" targetname: "e20"class: 10 label: "arr ent" color: green}
edge: { sourcename: "n21" targetname: "t18"label: "upper 0"}
edge: { sourcename: "n22" targetname: "t18"label: "lower 0"}
node: {title: "n21" label: "0x9Iu 21"  info1: "0x9 21
Götz Lindenmaier's avatar
Götz Lindenmaier committed
98
99
100
101
  mode:    Iu
  visited: 1
  arity:   0
  pred nodes:
102
    -1:    Block 3
Götz Lindenmaier's avatar
Götz Lindenmaier committed
103
104
105
  Private Attributes:
  Const of type type_unknown
"
106
color:yellow}
107
node: {title: "n22" label: "0x0Iu 22"  info1: "0x0 22
Götz Lindenmaier's avatar
Götz Lindenmaier committed
108
109
110
111
  mode:    Iu
  visited: 1
  arity:   0
  pred nodes:
112
    -1:    Block 3
Götz Lindenmaier's avatar
Götz Lindenmaier committed
113
114
115
  Private Attributes:
  Const of type type_unknown
"
116
color:yellow}
FIRM Projekt Account's avatar
FIRM Projekt Account committed
117
node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
118
119
120
121
122
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       Is,
FIRM Projekt Account's avatar
FIRM Projekt Account committed
123
124


125
126
"
}
127
128
129
node: {title: "e17" label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow
 info1: "entity ARRAY-HEAP_EXAMPLE_main (17)
  type:  ARRAY-HEAP_EXAMPLE_main (15)
130
131
  owner: GlobalType (0)
  Does not overwrite other entities.
132
  Is not overwritten by other entities.
133
134
135
  allocation:  allocation_static
  visibility:  visibility_local
  variability: variability_constant
136
  calling convention: cdecl
137
138
139
140
  atomic value: SymC &ARRAY-HEAP_EXAMPLE_main
  volatility:  volatility_non_volatile
  peculiarity: peculiarity_existent
  ld_name: no yet set
141
  offset:  -1 bits, -1 bytes
142
  irg = 35
143
144

"
145
}
146
147
edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
148
node: {title: "n16" label: "SymC &ARRAY-HEAP_EXAMPLE_main 16"  info1: "SymC &ARRAY-HEAP_EXAMPLE_main 16
Götz Lindenmaier's avatar
Götz Lindenmaier committed
149
150
151
152
  mode:    P
  visited: 1
  arity:   0
  pred nodes:
153
    -1:    Block 3
Götz Lindenmaier's avatar
Götz Lindenmaier committed
154
155
156
  Private Attributes:
  kind:   addr_ent
  entity: entity GlobalType.ARRAY-HEAP_EXAMPLE_main (17)
157

Götz Lindenmaier's avatar
Götz Lindenmaier committed
158
159
160
  type of value: type_unknown
"
}
FIRM Projekt Account's avatar
FIRM Projekt Account committed
161
162
163
164
165
166
167
168
169
170
node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
  members:
    entity ARRAY-HEAP_EXAMPLE_main (17)
      type:  ARRAY-HEAP_EXAMPLE_main (15)
      owner: GlobalType (0)
      Does not overwrite other entities.
      Is not overwritten by other entities.
      allocation:  allocation_static
      visibility:  visibility_local
      variability: variability_constant
171
      calling convention: cdecl
FIRM Projekt Account's avatar
FIRM Projekt Account committed
172
173
174
175
      atomic value: SymC &ARRAY-HEAP_EXAMPLE_main
      volatility:  volatility_non_volatile
      peculiarity: peculiarity_existent
      ld_name: no yet set
176
      offset:  -1 bits, -1 bytes
177
      irg = 35
FIRM Projekt Account's avatar
FIRM Projekt Account committed
178
179
180
  supertypes:
  subtypes:
  peculiarity: peculiarity_existent
181
182
183
184
  visibility: visibility_external_allocated,
  state:      layout_undefined,
  size:       -1 Bits,
  alignment:  32 Bits,
FIRM Projekt Account's avatar
FIRM Projekt Account committed
185
186


187
188
"
 color: green}
189
edge: { sourcename: "t0" targetname: "e17"class: 12 label: "member" color:blue}
FIRM Projekt Account's avatar
FIRM Projekt Account committed
190
191
192
193
194
node: {title: "t15" label: "method ARRAY-HEAP_EXAMPLE_main" info1: "method type ARRAY-HEAP_EXAMPLE_main (15)
  variadicity: variadicity_non_variadic
  return types: 1
    int
  parameter types: 0
195
196
197
198
199
  visibility: visibility_external_allocated,
  state:      layout_fixed,
  size:       32 Bits,
  alignment:  32 Bits,
  mode:       P,
FIRM Projekt Account's avatar
FIRM Projekt Account committed
200
201


202
203
"
}
204
edge: { sourcename: "t15" targetname: "t14"class: 6 label: "res 0" color: green}
205
node: {title: "t23" label: "class ARRAY-HEAP_EXAMPLE_mainframe_tp" info1: "class type ARRAY-HEAP_EXAMPLE_mainframe_tp (23)
FIRM Projekt Account's avatar
FIRM Projekt Account committed
206
207
208
209
  members:
  supertypes:
  subtypes:
  peculiarity: peculiarity_existent
210
211
212
213
  visibility: visibility_external_allocated,
  state:      layout_undefined,
  size:       -1 Bits,
  alignment:   0 Bits,
FIRM Projekt Account's avatar
FIRM Projekt Account committed
214
215


216
217
"
 color: green}
Götz Lindenmaier's avatar
Götz Lindenmaier committed
218
}