source: src/Tests/Expect-e/Rank2.txt@ a3f9946

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since a3f9946 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
  • Property mode set to 100644
File size: 12.1 KB
Line 
1?=?: function
2 with parameters
3 pointer to signed int
4 signed int
5 returning
6 signed int
7
8?=?: forall
9 DT: incomplete type
10 function
11 with parameters
12 pointer to pointer to instance of type DT (not function type)
13 pointer to instance of type DT (not function type)
14 returning
15 pointer to instance of type DT (not function type)
16
17a: function
18 accepting unspecified arguments
19 returning
20 nothing
21 with body
22 CompoundStmt
23 Declaration of f: forall
24 T: type
25 with assertions
26 ?=?: pointer to function
27 with parameters
28 pointer to instance of type T (not function type)
29 instance of type T (not function type)
30 returning
31 instance of type T (not function type)
32
33
34 function
35 with parameters
36 instance of type T (not function type)
37 returning
38 nothing
39
40 Declaration of g: function
41 with parameters
42 p: pointer to forall
43 U: type
44 with assertions
45 ?=?: pointer to function
46 with parameters
47 pointer to instance of type U (not function type)
48 instance of type U (not function type)
49 returning
50 instance of type U (not function type)
51
52
53 function
54 with parameters
55 instance of type U (not function type)
56 returning
57 nothing
58
59 returning
60 nothing
61
62 Expression Statement:
63 Application of
64 Variable Expression: g: function
65 with parameters
66 p: pointer to forall
67 U: type
68 with assertions
69 ?=?: pointer to function
70 with parameters
71 pointer to instance of type U (not function type)
72 instance of type U (not function type)
73 returning
74 instance of type U (not function type)
75
76
77 function
78 with parameters
79 instance of type U (not function type)
80 returning
81 nothing
82
83 returning
84 nothing
85
86 to arguments
87 Variable Expression: f: forall
88 T: type
89 with assertions
90 ?=?: pointer to function
91 with parameters
92 pointer to instance of type T (not function type)
93 instance of type T (not function type)
94 returning
95 instance of type T (not function type)
96
97
98 function
99 with parameters
100 instance of type T (not function type)
101 returning
102 nothing
103
104
105 with inferred parameters:
106 ?=?: pointer to function
107 with parameters
108 pointer to instance of type U (not function type)
109 instance of type U (not function type)
110 returning
111 instance of type U (not function type)
112
113 with environment:
114 Types:
115 _1_T -> instance of type _0_U (not function type)
116 Non-types:
117
118
119g: function
120 accepting unspecified arguments
121 returning
122 nothing
123 with body
124 CompoundStmt
125 Declaration of h: function
126 with parameters
127 null: pointer to signed int
128 returning
129 nothing
130
131 Declaration of id: forall
132 T: type
133 with assertions
134 ?=?: pointer to function
135 with parameters
136 pointer to instance of type T (not function type)
137 instance of type T (not function type)
138 returning
139 instance of type T (not function type)
140
141
142 function
143 with parameters
144 instance of type T (not function type)
145 returning
146 instance of type T (not function type)
147
148 Declaration of 0: forall
149 T: incomplete type
150 pointer to instance of type T (not function type)
151 Declaration of 0: signed int
152 Expression Statement:
153 Application of
154 Variable Expression: h: function
155 with parameters
156 null: pointer to signed int
157 returning
158 nothing
159
160 to arguments
161 Application of
162 Variable Expression: id: forall
163 T: type
164 with assertions
165 ?=?: pointer to function
166 with parameters
167 pointer to instance of type T (not function type)
168 instance of type T (not function type)
169 returning
170 instance of type T (not function type)
171
172
173 function
174 with parameters
175 instance of type T (not function type)
176 returning
177 instance of type T (not function type)
178
179 to arguments
180 Application of
181 Variable Expression: id: forall
182 T: type
183 with assertions
184 ?=?: pointer to function
185 with parameters
186 pointer to instance of type T (not function type)
187 instance of type T (not function type)
188 returning
189 instance of type T (not function type)
190
191
192 function
193 with parameters
194 instance of type T (not function type)
195 returning
196 instance of type T (not function type)
197
198 to arguments
199 Application of
200 Variable Expression: id: forall
201 T: type
202 with assertions
203 ?=?: pointer to function
204 with parameters
205 pointer to instance of type T (not function type)
206 instance of type T (not function type)
207 returning
208 instance of type T (not function type)
209
210
211 function
212 with parameters
213 instance of type T (not function type)
214 returning
215 instance of type T (not function type)
216
217 to arguments
218 Variable Expression: 0: forall
219 T: incomplete type
220 pointer to instance of type T (not function type)
221
222 with inferred parameters:
223 ?=?: forall
224 DT: incomplete type
225 function
226 with parameters
227 pointer to pointer to instance of type DT (not function type)
228 pointer to instance of type DT (not function type)
229 returning
230 pointer to instance of type DT (not function type)
231
232
233 with inferred parameters:
234 ?=?: forall
235 DT: incomplete type
236 function
237 with parameters
238 pointer to pointer to instance of type DT (not function type)
239 pointer to instance of type DT (not function type)
240 returning
241 pointer to instance of type DT (not function type)
242
243
244 with inferred parameters:
245 ?=?: forall
246 DT: incomplete type
247 function
248 with parameters
249 pointer to pointer to instance of type DT (not function type)
250 pointer to instance of type DT (not function type)
251 returning
252 pointer to instance of type DT (not function type)
253
254
255 with environment:
256 Types:
257 _0_T -> forall
258 _3_T: incomplete type
259 pointer to instance of type _3_T (not function type)
260 _1_T -> forall
261 _3_T: incomplete type
262 pointer to instance of type _3_T (not function type)
263 _2_T -> forall
264 _3_T: incomplete type
265 pointer to instance of type _3_T (not function type)
266 _3_T -> signed int
267 _5_DT -> signed int
268 _7_DT -> signed int
269 _9_DT -> signed int
270 Non-types:
271
272
273int ___operator_assign__Fi_Pii_(int *, int );
274void *___operator_assign__A0_1_0__FPd0_PPd0Pd0_(void **, void *);
275void __a__F__(){
276 void __f__A1_0_0____operator_assign__PFt0_Pt0t0__F_t0_(void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, void (*___operator_assign__PF2tT_P2tT2tT_)(), void *);
277 void __g__F_PA1_0_0____operator_assign__PFt0_Pt0t0__F_t0__(void (*__p__PA1_0_0____operator_assign__PFt0_Pt0t0__F_t0_)(void (*_adapterF2tU_P2tU2tU_)(void (*)(), void *, void *, void *), long unsigned int U, void (*___operator_assign__PF2tU_P2tU2tU_)(), void *));
278 __g__F_PA1_0_0____operator_assign__PFt0_Pt0t0__F_t0__(__f__A1_0_0____operator_assign__PFt0_Pt0t0__F_t0_);
279}
280void __g__F__(){
281 void __h__F_Pi_(int *__null__Pi);
282 void __id__A1_0_0____operator_assign__PFt0_Pt0t0__Ft0_t0_(void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, void (*___operator_assign__PF2tT_P2tT2tT_)(), void *, void *);
283 void *___constant_zero__A0_1_0__Pd0;
284 int ___constant_zero__i;
285 void *_thunk0(void **_p0, void *_p1){
286 return ___operator_assign__A0_1_0__FPd0_PPd0Pd0_(_p0, _p1);
287 }
288 void *_thunk1(void **_p0, void *_p1){
289 return ___operator_assign__A0_1_0__FPd0_PPd0Pd0_(_p0, _p1);
290 }
291 void *_thunk2(void **_p0, void *_p1){
292 return ___operator_assign__A0_1_0__FPd0_PPd0Pd0_(_p0, _p1);
293 }
294 void *_temp0;
295 void _adapterFA0_1_0__Pd0_PA0_1_0__Pd1A0_1_0__Pd2_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
296 ((*((_3_T **)_ret))=((void *(*)(void **, void *))_adaptee)(_p0, (*((_3_T **)_p1))));
297 }
298 void *_temp1;
299 void *_temp2;
300 __h__F_Pi_((__id__A1_0_0____operator_assign__PFt0_Pt0t0__Ft0_t0_(_adapterFA0_1_0__Pd0_PA0_1_0__Pd1A0_1_0__Pd2_, sizeof(_3_T *), ((void (*)())(&_thunk2)), (&_temp2), (&(__id__A1_0_0____operator_assign__PFt0_Pt0t0__Ft0_t0_(_adapterFA0_1_0__Pd0_PA0_1_0__Pd1A0_1_0__Pd2_, sizeof(_3_T *), ((void (*)())(&_thunk1)), (&_temp1), (&(__id__A1_0_0____operator_assign__PFt0_Pt0t0__Ft0_t0_(_adapterFA0_1_0__Pd0_PA0_1_0__Pd1A0_1_0__Pd2_, sizeof(_3_T *), ((void (*)())(&_thunk0)), (&_temp0), (&___constant_zero__A0_1_0__Pd0)) , _temp0))) , _temp1))) , _temp2));
301}
Note: See TracBrowser for help on using the repository browser.