source: src/Tests/Expect-e/InferParam.txt@ ab60d6d

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 ab60d6d 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.5 KB
Line 
1?=?: function
2 with parameters
3 pointer to signed int
4 signed int
5 returning
6 signed int
7
8?=?: function
9 with parameters
10 pointer to float
11 float
12 returning
13 float
14
15?=?: function
16 with parameters
17 pointer to double
18 double
19 returning
20 double
21
22g: forall
23 T: type
24 with assertions
25 ?=?: pointer to function
26 with parameters
27 pointer to instance of type T (not function type)
28 instance of type T (not function type)
29 returning
30 instance of type T (not function type)
31
32
33 U: type
34 with assertions
35 ?=?: pointer to function
36 with parameters
37 pointer to instance of type U (not function type)
38 instance of type U (not function type)
39 returning
40 instance of type U (not function type)
41
42 f: pointer to function
43 with parameters
44 instance of type T (not function type)
45 returning
46 instance of type U (not function type)
47
48
49 function
50 with parameters
51 instance of type T (not function type)
52 returning
53 instance of type U (not function type)
54
55f: function
56 with parameters
57 signed int
58 returning
59 float
60
61f: function
62 with parameters
63 signed int
64 returning
65 double
66
67i: function
68 with parameters
69 float
70 returning
71 nothing
72
73h: function
74 accepting unspecified arguments
75 returning
76 nothing
77 with body
78 CompoundStmt
79 Declaration of a: signed int
80 Expression Statement:
81 Application of
82 Variable Expression: i: function
83 with parameters
84 float
85 returning
86 nothing
87
88 to arguments
89 Application of
90 Variable Expression: g: forall
91 T: type
92 with assertions
93 ?=?: pointer to function
94 with parameters
95 pointer to instance of type T (not function type)
96 instance of type T (not function type)
97 returning
98 instance of type T (not function type)
99
100
101 U: type
102 with assertions
103 ?=?: pointer to function
104 with parameters
105 pointer to instance of type U (not function type)
106 instance of type U (not function type)
107 returning
108 instance of type U (not function type)
109
110 f: pointer to function
111 with parameters
112 instance of type T (not function type)
113 returning
114 instance of type U (not function type)
115
116
117 function
118 with parameters
119 instance of type T (not function type)
120 returning
121 instance of type U (not function type)
122
123 to arguments
124 Variable Expression: a: signed int
125
126 with inferred parameters:
127 ?=?: function
128 with parameters
129 pointer to signed int
130 signed int
131 returning
132 signed int
133
134 ?=?: function
135 with parameters
136 pointer to float
137 float
138 returning
139 float
140
141 f: function
142 with parameters
143 signed int
144 returning
145 float
146
147
148 with environment:
149 Types:
150 _0_T -> signed int
151 _1_U -> float
152 Non-types:
153
154
155context has_f_and_j
156 with parameters
157 T: type
158 U: type
159
160 with members
161 f: function
162 with parameters
163 instance of type T (not function type)
164 returning
165 instance of type U (not function type)
166
167 j: function
168 with parameters
169 instance of type T (not function type)
170 instance of type U (not function type)
171 returning
172 instance of type U (not function type)
173
174
175j: function
176 with parameters
177 signed int
178 float
179 returning
180 float
181
182k: forall
183 T: type
184 with assertions
185 ?=?: pointer to function
186 with parameters
187 pointer to instance of type T (not function type)
188 instance of type T (not function type)
189 returning
190 instance of type T (not function type)
191
192
193 U: type
194 with assertions
195 ?=?: pointer to function
196 with parameters
197 pointer to instance of type U (not function type)
198 instance of type U (not function type)
199 returning
200 instance of type U (not function type)
201
202 f: pointer to function
203 with parameters
204 instance of type T (not function type)
205 returning
206 instance of type U (not function type)
207
208 j: pointer to function
209 with parameters
210 instance of type T (not function type)
211 instance of type U (not function type)
212 returning
213 instance of type U (not function type)
214
215
216 function
217 with parameters
218 instance of type T (not function type)
219 returning
220 instance of type U (not function type)
221
222l: function
223 accepting unspecified arguments
224 returning
225 nothing
226 with body
227 CompoundStmt
228 Declaration of b: signed int
229 Expression Statement:
230 Application of
231 Variable Expression: i: function
232 with parameters
233 float
234 returning
235 nothing
236
237 to arguments
238 Application of
239 Variable Expression: k: forall
240 T: type
241 with assertions
242 ?=?: pointer to function
243 with parameters
244 pointer to instance of type T (not function type)
245 instance of type T (not function type)
246 returning
247 instance of type T (not function type)
248
249
250 U: type
251 with assertions
252 ?=?: pointer to function
253 with parameters
254 pointer to instance of type U (not function type)
255 instance of type U (not function type)
256 returning
257 instance of type U (not function type)
258
259 f: pointer to function
260 with parameters
261 instance of type T (not function type)
262 returning
263 instance of type U (not function type)
264
265 j: pointer to function
266 with parameters
267 instance of type T (not function type)
268 instance of type U (not function type)
269 returning
270 instance of type U (not function type)
271
272
273 function
274 with parameters
275 instance of type T (not function type)
276 returning
277 instance of type U (not function type)
278
279 to arguments
280 Variable Expression: b: signed int
281
282 with inferred parameters:
283 ?=?: function
284 with parameters
285 pointer to signed int
286 signed int
287 returning
288 signed int
289
290 ?=?: function
291 with parameters
292 pointer to float
293 float
294 returning
295 float
296
297 f: function
298 with parameters
299 signed int
300 returning
301 float
302
303 j: function
304 with parameters
305 signed int
306 float
307 returning
308 float
309
310
311 with environment:
312 Types:
313 _0_T -> signed int
314 _1_U -> float
315 Non-types:
316
317
318int ___operator_assign__Fi_Pii_(int *, int );
319float ___operator_assign__Ff_Pff_(float *, float );
320double ___operator_assign__Fd_Pdd_(double *, double );
321void __g__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0__Ft1_t0_(void (*_adapterF2tU_2tT_)(void (*)(), void *, void *), void (*_adapterF2tU_P2tU2tU_)(void (*)(), void *, void *, void *), void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, long unsigned int U, void (*___operator_assign__PF2tT_P2tT2tT_)(), void (*___operator_assign__PF2tU_P2tU2tU_)(), void (*__f__PF2tU_2tT_)(), void *, void *);
322float __f__Ff_i_(int );
323double __f__Fd_i_(int );
324void __i__F_f_(float );
325void __h__F__(){
326 int __a__i;
327 float _temp0;
328 void _adapterFi_Pii_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
329 ((*((int *)_ret))=((int (*)(int *, int ))_adaptee)(_p0, (*((int *)_p1))));
330 }
331 void _adapterFf_Pff_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
332 ((*((float *)_ret))=((float (*)(float *, float ))_adaptee)(_p0, (*((float *)_p1))));
333 }
334 void _adapterFf_i_(void (*_adaptee)(), void *_ret, void *_p0){
335 ((*((float *)_ret))=((float (*)(int ))_adaptee)((*((int *)_p0))));
336 }
337 __i__F_f_((__g__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0__Ft1_t0_(_adapterFf_i_, _adapterFf_Pff_, _adapterFi_Pii_, sizeof(int ), sizeof(float ), ((void (*)())___operator_assign__Fi_Pii_), ((void (*)())___operator_assign__Ff_Pff_), ((void (*)())__f__Ff_i_), (&_temp0), (&__a__i)) , _temp0));
338}
339;
340float __j__Ff_if_(int , float );
341void __k__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0___j__PFt1_t0t1__Ft1_t0_(void (*_adapterF2tU_2tT2tU_)(void (*)(), void *, void *, void *), void (*_adapterF2tU_2tT_)(void (*)(), void *, void *), void (*_adapterF2tU_P2tU2tU_)(void (*)(), void *, void *, void *), void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, long unsigned int U, void (*___operator_assign__PF2tT_P2tT2tT_)(), void (*___operator_assign__PF2tU_P2tU2tU_)(), void (*__f__PF2tU_2tT_)(), void (*__j__PF2tU_2tT2tU_)(), void *, void *);
342void __l__F__(){
343 int __b__i;
344 float _temp1;
345 void _adapterFi_Pii_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
346 ((*((int *)_ret))=((int (*)(int *, int ))_adaptee)(_p0, (*((int *)_p1))));
347 }
348 void _adapterFf_Pff_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
349 ((*((float *)_ret))=((float (*)(float *, float ))_adaptee)(_p0, (*((float *)_p1))));
350 }
351 void _adapterFf_i_(void (*_adaptee)(), void *_ret, void *_p0){
352 ((*((float *)_ret))=((float (*)(int ))_adaptee)((*((int *)_p0))));
353 }
354 void _adapterFf_if_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
355 ((*((float *)_ret))=((float (*)(int , float ))_adaptee)((*((int *)_p0)), (*((float *)_p1))));
356 }
357 __i__F_f_((__k__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0___j__PFt1_t0t1__Ft1_t0_(_adapterFf_if_, _adapterFf_i_, _adapterFf_Pff_, _adapterFi_Pii_, sizeof(int ), sizeof(float ), ((void (*)())___operator_assign__Fi_Pii_), ((void (*)())___operator_assign__Ff_Pff_), ((void (*)())__f__Ff_i_), ((void (*)())__j__Ff_if_), (&_temp1), (&__b__i)) , _temp1));
358}
Note: See TracBrowser for help on using the repository browser.