source: src/Tests/Expect-v/Members.txt @ a73d57a

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 a73d57a 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: 11.0 KB
RevLine 
[b1d6dd5]1?=?: function
2    with parameters
3      pointer to char
4      char
5    returning
6      char
7
8?=?: function
9    with parameters
10      pointer to signed int
11      signed int
12    returning
13      signed int
14
15?=?: function
16    with parameters
17      pointer to float
18      float
19    returning
20      float
21
22?=?: forall
23      DT: incomplete type
24    function
25    with parameters
26      pointer to pointer to instance of type DT (not function type)
27      pointer to instance of type DT (not function type)
28    returning
29      pointer to instance of type DT (not function type)
30
31*?: forall
32      T: type
33        with assertions
34          ?=?: pointer to function
35              with parameters
36                pointer to instance of type T (not function type)
37                instance of type T (not function type)
38              returning
39                instance of type T (not function type)
40
41
42    function
43    with parameters
44      pointer to instance of type T (not function type)
45    returning
46      lvalue instance of type T (not function type)
47
48__builtin_memcpy: function
49      accepting unspecified arguments
50    returning
51      pointer to char
52
53a: function
54    with parameters
55      char
56    returning
57      nothing
58
59b: function
60    with parameters
61      signed int
62    returning
63      nothing
64
65c: function
66    with parameters
67      pointer to signed int
68    returning
69      nothing
70
71d: function
72    with parameters
73      pointer to float
74    returning
75      nothing
76
77struct a_struct
78    with members
79      a: signed int
80      a: char
81      a: float
82
83?=?: automatically generated inline static function
84    with parameters
85      _dst: pointer to instance of struct a_struct
86      _src: instance of struct a_struct
87    returning
88      instance of struct a_struct
89    with body
90      CompoundStmt
91                  Expression Statement:
92            Applying untyped:
93                Name: ?=?
94            ...to:
95                Address of:
96                  Member Expression, with field:
97                    a: signed int
98                  from aggregate:
99                    Applying untyped:
100                        Name: *?
101                    ...to:
102                        Variable Expression: _dst: pointer to instance of struct a_struct
103                Member Expression, with field:
104                  a: signed int
105                from aggregate:
106                  Variable Expression: _src: instance of struct a_struct
107
108                  Expression Statement:
109            Applying untyped:
110                Name: ?=?
111            ...to:
112                Address of:
113                  Member Expression, with field:
114                    a: char
115                  from aggregate:
116                    Applying untyped:
117                        Name: *?
118                    ...to:
119                        Variable Expression: _dst: pointer to instance of struct a_struct
120                Member Expression, with field:
121                  a: char
122                from aggregate:
123                  Variable Expression: _src: instance of struct a_struct
124
125                  Expression Statement:
126            Applying untyped:
127                Name: ?=?
128            ...to:
129                Address of:
130                  Member Expression, with field:
131                    a: float
132                  from aggregate:
133                    Applying untyped:
134                        Name: *?
135                    ...to:
136                        Variable Expression: _dst: pointer to instance of struct a_struct
137                Member Expression, with field:
138                  a: float
139                from aggregate:
140                  Variable Expression: _src: instance of struct a_struct
141
142                  Return Statement, returning: Variable Expression: _src: instance of struct a_struct
143
144
145
146union b_struct
147    with members
148      a: pointer to signed int
149      a: pointer to char
150      a: pointer to float
151
152?=?: automatically generated inline static function
153    with parameters
154      _dst: pointer to instance of union b_struct
155      _src: instance of union b_struct
156    returning
157      instance of union b_struct
158    with body
159      CompoundStmt
160                  Expression Statement:
161            Applying untyped:
162                Name: __builtin_memcpy
163            ...to:
164                Variable Expression: _dst: pointer to instance of union b_struct
165                Address of:
166                  Variable Expression: _src: instance of union b_struct
167                Sizeof Expression on: instance of union b_struct
168
169                  Return Statement, returning: Variable Expression: _src: instance of union b_struct
170
171
172
173f: function
174      accepting unspecified arguments
175    returning
176      nothing
177    with body
178      CompoundStmt
179        Declaration of the_struct: instance of struct a_struct
180        Declaration of the_struct: instance of union b_struct
181                  Expression Statement:
182            Applying untyped:
183                Name: a
184            ...to:
185                Member Expression, with field: a                from aggregate:                   Name: the_struct
186
187                  Expression Statement:
188            Applying untyped:
189                Name: b
190            ...to:
191                Member Expression, with field: a                from aggregate:                   Name: the_struct
192
193                  Expression Statement:
194            Applying untyped:
195                Name: c
196            ...to:
197                Member Expression, with field: a                from aggregate:                   Name: the_struct
198
199                  Expression Statement:
200            Applying untyped:
201                Name: d
202            ...to:
203                Member Expression, with field: a                from aggregate:                   Name: the_struct
204
205
206struct c_struct
207    with members
208      signed int
209      char
210      float
211
212?=?: automatically generated inline static function
213    with parameters
214      _dst: pointer to instance of struct c_struct
215      _src: instance of struct c_struct
216    returning
217      instance of struct c_struct
218    with body
219      CompoundStmt
220                  Expression Statement:
221            Applying untyped:
222                Name: ?=?
223            ...to:
224                Address of:
225                  Member Expression, with field:
226                    signed int
227                  from aggregate:
228                    Applying untyped:
229                        Name: *?
230                    ...to:
231                        Variable Expression: _dst: pointer to instance of struct c_struct
232                Member Expression, with field:
233                  signed int
234                from aggregate:
235                  Variable Expression: _src: instance of struct c_struct
236
237                  Expression Statement:
238            Applying untyped:
239                Name: ?=?
240            ...to:
241                Address of:
242                  Member Expression, with field:
243                    char
244                  from aggregate:
245                    Applying untyped:
246                        Name: *?
247                    ...to:
248                        Variable Expression: _dst: pointer to instance of struct c_struct
249                Member Expression, with field:
250                  char
251                from aggregate:
252                  Variable Expression: _src: instance of struct c_struct
253
254                  Expression Statement:
255            Applying untyped:
256                Name: ?=?
257            ...to:
258                Address of:
259                  Member Expression, with field:
260                    float
261                  from aggregate:
262                    Applying untyped:
263                        Name: *?
264                    ...to:
265                        Variable Expression: _dst: pointer to instance of struct c_struct
266                Member Expression, with field:
267                  float
268                from aggregate:
269                  Variable Expression: _src: instance of struct c_struct
270
271                  Return Statement, returning: Variable Expression: _src: instance of struct c_struct
272
273
274
275union d_struct
276    with members
277      pointer to signed int
278      pointer to char
279      pointer to float
280
281?=?: automatically generated inline static function
282    with parameters
283      _dst: pointer to instance of union d_struct
284      _src: instance of union d_struct
285    returning
286      instance of union d_struct
287    with body
288      CompoundStmt
289                  Expression Statement:
290            Applying untyped:
291                Name: __builtin_memcpy
292            ...to:
293                Variable Expression: _dst: pointer to instance of union d_struct
294                Address of:
295                  Variable Expression: _src: instance of union d_struct
296                Sizeof Expression on: instance of union d_struct
297
298                  Return Statement, returning: Variable Expression: _src: instance of union d_struct
299
300
301
302g: function
303      accepting unspecified arguments
304    returning
305      nothing
306    with body
307      CompoundStmt
308        Declaration of x: short unsigned int
309        Declaration of x: instance of struct c_struct
310        Declaration of x: instance of union d_struct
311                  Expression Statement:
312            Applying untyped:
313                Name: a
314            ...to:
315                Name: x
316
317                  Expression Statement:
318            Applying untyped:
319                Name: b
320            ...to:
321                Name: x
322
323                  Expression Statement:
324            Applying untyped:
325                Name: c
326            ...to:
327                Name: x
328
329                  Expression Statement:
330            Applying untyped:
331                Name: d
332            ...to:
333                Name: x
334
335
336struct forward
337q: pointer to instance of struct forward
338struct forward
339    with members
340      y: signed int
341
342?=?: automatically generated inline static function
343    with parameters
344      _dst: pointer to instance of struct forward
345      _src: instance of struct forward
346    returning
347      instance of struct forward
348    with body
349      CompoundStmt
350                  Expression Statement:
351            Applying untyped:
352                Name: ?=?
353            ...to:
354                Address of:
355                  Member Expression, with field:
356                    y: signed int
357                  from aggregate:
358                    Applying untyped:
359                        Name: *?
360                    ...to:
361                        Variable Expression: _dst: pointer to instance of struct forward
362                Member Expression, with field:
363                  y: signed int
364                from aggregate:
365                  Variable Expression: _src: instance of struct forward
366
367                  Return Statement, returning: Variable Expression: _src: instance of struct forward
368
369
370
371h: function
372      accepting unspecified arguments
373    returning
374      nothing
375    with body
376      CompoundStmt
377                  Expression Statement:
378            Member Expression, with field: y            from aggregate:               Applying untyped:
379                  Name: *?
380              ...to:
381                  Name: q
382
383
Note: See TracBrowser for help on using the repository browser.