source: src/Tests/Expect-r/Typedef.txt @ b1d6dd5

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since b1d6dd5 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 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: 10.1 KB
Line 
1nameExpr is T
2decl is T: function
3  with parameters
4    signed int
5  returning
6    signed int
7
8newExpr is Variable Expression: T: function
9    with parameters
10      signed int
11    returning
12      signed int
13
14
15alternatives before prune:
16Cost ( 0, 0, 0 ): Variable Expression: T: function
17    with parameters
18      signed int
19    returning
20      signed int
21
22(types:
23    pointer to function
24        with parameters
25          signed int
26        returning
27          signed int
28
29)
30Environment:
31
32there are 1 alternatives before elimination
33there are 1 alternatives after elimination
34alternatives before prune:
35Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
36    signed int
37)
38Environment:
39
40there are 1 alternatives before elimination
41there are 1 alternatives after elimination
42findSubExprs
43Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
44    signed int
45)
46Environment:
47
48working on alternative:
49        Cost ( 0, 0, 0 ):         Variable Expression: T: function
50            with parameters
51              signed int
52            returning
53              signed int
54
55(types:
56            pointer to function
57                with parameters
58                  signed int
59                returning
60                  signed int
61
62)
63        Environment:
64formal type is signed int
65actual type is signed int
66need assertions:
67============= original indexer
68===idTable===
69===typeTable===
70===structTable===
71===enumTable===
72===unionTable===
73===contextTable===
74============= new indexer
75===idTable===
76===typeTable===
77===structTable===
78===enumTable===
79===unionTable===
80===contextTable===
81actual expression:
82constant expression 3 signed int --- results are
83        signed int
84
85converting signed int
86 to signed int
87cost is( 0, 0, 0 )
88Case +++++++++++++
89formals are:
90        signed int
91actuals are:
92        constant expression 3 signed int
93bindings are:
94cost of conversion is:( 0, 0, 0 )
95alternatives before prune:
96Cost ( 0, 0, 0 ): Application of
97  Variable Expression: T: function
98      with parameters
99        signed int
100      returning
101        signed int
102
103to arguments
104  constant expression 3 signed int
105(types:
106    signed int
107)
108Environment:
109
110there are 1 alternatives before elimination
111there are 1 alternatives after elimination
112alternatives before prune:
113Cost ( 0, 0, 1 ): Cast of:
114  Application of
115    Variable Expression: T: function
116        with parameters
117          signed int
118        returning
119          signed int
120
121  to arguments
122    constant expression 3 signed int
123
124to:
125  nothing
126(types:
127)
128Environment:
129
130there are 1 alternatives before elimination
131there are 1 alternatives after elimination
132nameExpr is ?=?
133decl is ?=?: automatically generated inline static function
134  with parameters
135    _dst: pointer to instance of struct __anonymous0
136    _src: instance of struct __anonymous0
137  returning
138    instance of struct __anonymous0
139  with body
140    CompoundStmt
141              Expression Statement:
142          Applying untyped:
143              Name: ?=?
144          ...to:
145              Address of:
146                Member Expression, with field:
147                  T: signed int
148                from aggregate:
149                  Applying untyped:
150                      Name: *?
151                  ...to:
152                      Variable Expression: _dst: pointer to instance of struct __anonymous0
153              Member Expression, with field:
154                T: signed int
155              from aggregate:
156                Variable Expression: _src: instance of struct __anonymous0
157
158              Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0
159
160
161
162newExpr is Variable Expression: ?=?: inline static function
163    with parameters
164      _dst: pointer to instance of struct __anonymous0
165      _src: instance of struct __anonymous0
166    returning
167      instance of struct __anonymous0
168
169
170alternatives before prune:
171Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
172    with parameters
173      _dst: pointer to instance of struct __anonymous0
174      _src: instance of struct __anonymous0
175    returning
176      instance of struct __anonymous0
177
178(types:
179    pointer to function
180        with parameters
181          _dst: pointer to instance of struct __anonymous0
182          _src: instance of struct __anonymous0
183        returning
184          instance of struct __anonymous0
185
186)
187Environment:
188
189there are 1 alternatives before elimination
190there are 1 alternatives after elimination
191alternatives before prune:
192Cost ( 0, 0, 0 ): Member Expression, with field:
193  T: signed int
194from aggregate:
195  Applying untyped:
196      Name: *?
197  ...to:
198      Variable Expression: _dst: pointer to instance of struct __anonymous0
199(types:
200    lvalue signed int
201)
202Environment:
203
204there are 1 alternatives before elimination
205there are 1 alternatives after elimination
206alternatives before prune:
207Cost ( 0, 0, 0 ): Address of:
208  Member Expression, with field:
209    T: signed int
210  from aggregate:
211    Applying untyped:
212        Name: *?
213    ...to:
214        Variable Expression: _dst: pointer to instance of struct __anonymous0
215(types:
216    pointer to signed int
217)
218Environment:
219
220there are 1 alternatives before elimination
221there are 1 alternatives after elimination
222findSubExprs
223Cost ( 0, 0, 0 ): Address of:
224  Member Expression, with field:
225    T: signed int
226  from aggregate:
227    Applying untyped:
228        Name: *?
229    ...to:
230        Variable Expression: _dst: pointer to instance of struct __anonymous0
231(types:
232    pointer to signed int
233)
234Environment:
235
236alternatives before prune:
237Cost ( 0, 0, 0 ): Member Expression, with field:
238  T: signed int
239from aggregate:
240  Variable Expression: _src: instance of struct __anonymous0
241(types:
242    lvalue signed int
243)
244Environment:
245
246there are 1 alternatives before elimination
247there are 1 alternatives after elimination
248findSubExprs
249Cost ( 0, 0, 0 ): Member Expression, with field:
250  T: signed int
251from aggregate:
252  Variable Expression: _src: instance of struct __anonymous0
253(types:
254    lvalue signed int
255)
256Environment:
257
258working on alternative:
259        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
260            with parameters
261              _dst: pointer to instance of struct __anonymous0
262              _src: instance of struct __anonymous0
263            returning
264              instance of struct __anonymous0
265
266(types:
267            pointer to function
268                with parameters
269                  _dst: pointer to instance of struct __anonymous0
270                  _src: instance of struct __anonymous0
271                returning
272                  instance of struct __anonymous0
273
274)
275        Environment:
276formal type is pointer to instance of struct __anonymous0
277actual type is pointer to signed int
278alternatives before prune:
279Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct __anonymous0
280(types:
281    lvalue instance of struct __anonymous0
282)
283Environment:
284
285there are 1 alternatives before elimination
286there are 1 alternatives after elimination
287alternatives before prune:
288Cost ( 0, 0, 0 ): Cast of:
289  Variable Expression: _src: instance of struct __anonymous0
290
291to:
292  instance of struct __anonymous0
293(types:
294    instance of struct __anonymous0
295)
296Environment:
297
298there are 1 alternatives before elimination
299there are 1 alternatives after elimination
300alternatives before prune:
301Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
302    signed int
303)
304Environment:
305
306there are 1 alternatives before elimination
307there are 1 alternatives after elimination
308alternatives before prune:
309Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
310    signed int
311)
312Environment:
313
314there are 1 alternatives before elimination
315there are 1 alternatives after elimination
316alternatives before prune:
317Cost ( 0, 0, 1 ): Cast of:
318constant expression 3 signed int
319to:
320  nothing
321(types:
322)
323Environment:
324
325there are 1 alternatives before elimination
326there are 1 alternatives after elimination
327alternatives before prune:
328Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
329    signed int
330)
331Environment:
332
333there are 1 alternatives before elimination
334there are 1 alternatives after elimination
335alternatives before prune:
336Cost ( 0, 0, 1 ): Cast of:
337constant expression 3 signed int
338to:
339  nothing
340(types:
341)
342Environment:
343
344there are 1 alternatives before elimination
345there are 1 alternatives after elimination
346alternatives before prune:
347Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
348    signed int
349)
350Environment:
351
352there are 1 alternatives before elimination
353there are 1 alternatives after elimination
354alternatives before prune:
355Cost ( 0, 0, 1 ): Cast of:
356constant expression 3 signed int
357to:
358  nothing
359(types:
360)
361Environment:
362
363there are 1 alternatives before elimination
364there are 1 alternatives after elimination
365alternatives before prune:
366Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
367    signed int
368)
369Environment:
370
371there are 1 alternatives before elimination
372there are 1 alternatives after elimination
373alternatives before prune:
374Cost ( 0, 0, 1 ): Cast of:
375constant expression 3 signed int
376to:
377  nothing
378(types:
379)
380Environment:
381
382there are 1 alternatives before elimination
383there are 1 alternatives after elimination
384alternatives before prune:
385Cost ( 0, 0, 0 ): constant expression 10 signed int (types:
386    signed int
387)
388Environment:
389
390there are 1 alternatives before elimination
391there are 1 alternatives after elimination
392alternatives before prune:
393Cost ( 0, 0, 2 ): Cast of:
394constant expression 10 signed int
395to:
396  long unsigned int
397(types:
398    long unsigned int
399)
400Environment:
401
402there are 1 alternatives before elimination
403there are 1 alternatives after elimination
404Error: No reasonable alternatives for expression Applying untyped:
405    Name: ?=?
406...to:
407    Address of:
408      Member Expression, with field:
409        T: signed int
410      from aggregate:
411        Applying untyped:
412            Name: *?
413        ...to:
414            Variable Expression: _dst: pointer to instance of struct __anonymous0
415    Member Expression, with field:
416      T: signed int
417    from aggregate:
418      Variable Expression: _src: instance of struct __anonymous0
419
420Error: No reasonable alternatives for expression Cast of:
421constant expression 3 signed int
422to:
423  instance of struct __anonymous0
424
Note: See TracBrowser for help on using the repository browser.