source: src/Tests/Expect-v/Scope.txt @ f60d997

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 f60d997 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: 7.5 KB
Line 
1x: signed int
2z: double
3struct __anonymous0
4    with members
5      a: signed int
6      b: double
7
8?=?: automatically generated inline static function
9    with parameters
10      _dst: pointer to instance of struct __anonymous0
11      _src: instance of struct __anonymous0
12    returning
13      instance of struct __anonymous0
14    with body
15      CompoundStmt
16                  Expression Statement:
17            Applying untyped:
18                Name: ?=?
19            ...to:
20                Address of:
21                  Member Expression, with field:
22                    a: signed int
23                  from aggregate:
24                    Applying untyped:
25                        Name: *?
26                    ...to:
27                        Variable Expression: _dst: pointer to instance of struct __anonymous0
28                Member Expression, with field:
29                  a: signed int
30                from aggregate:
31                  Variable Expression: _src: instance of struct __anonymous0
32
33                  Expression Statement:
34            Applying untyped:
35                Name: ?=?
36            ...to:
37                Address of:
38                  Member Expression, with field:
39                    b: double
40                  from aggregate:
41                    Applying untyped:
42                        Name: *?
43                    ...to:
44                        Variable Expression: _dst: pointer to instance of struct __anonymous0
45                Member Expression, with field:
46                  b: double
47                from aggregate:
48                  Variable Expression: _src: instance of struct __anonymous0
49
50                  Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0
51
52
53
54u: type for instance of struct __anonymous0
55?=?: automatically generated function
56    with parameters
57      _dst: pointer to instance of type u (not function type)
58      _src: instance of type u (not function type)
59    returning
60      instance of type u (not function type)
61    with body
62      CompoundStmt
63                  Return Statement, returning: Applying untyped:
64    Name: ?=?
65...to:
66    Cast of:
67      Variable Expression: _dst: pointer to instance of type u (not function type)
68
69    to:
70      pointer to instance of struct __anonymous0
71    Cast of:
72      Variable Expression: _src: instance of type u (not function type)
73
74    to:
75      instance of struct __anonymous0
76
77
78
79f: function
80    with parameters
81      y: signed int
82    returning
83      signed int
84
85q: double
86w: function
87    with parameters
88      y: double
89      v: instance of type u (not function type)
90    returning
91      double
92    with body
93      CompoundStmt
94        Declaration of x: type
95          with assertions
96            t: function
97                with parameters
98                  instance of type u (not function type)
99                returning
100                  instance of type x (not function type)
101
102
103        Declaration of ?=?: automatically generated function
104            with parameters
105              _dst: pointer to instance of type x (not function type)
106              _src: instance of type x (not function type)
107            returning
108              instance of type x (not function type)
109
110        Declaration of u: instance of type u (not function type) with initializer
111          Simple Initializer:             Name: y
112
113                  Expression Statement:
114            Applying untyped:
115                Name: ?=?
116            ...to:
117                Address of:
118                  Name: u
119                Name: y
120
121        Declaration of z: instance of type x (not function type) with initializer
122          Simple Initializer:             Applying untyped:
123                Name: t
124            ...to:
125                Name: u
126
127                  Expression Statement:
128            Applying untyped:
129                Name: ?=?
130            ...to:
131                Address of:
132                  Name: z
133                Applying untyped:
134                    Name: t
135                ...to:
136                    Name: u
137
138
139p: double
140context has_u
141    with parameters
142      z: type
143
144    with members
145      u: function
146          with parameters
147            instance of type z (not function type)
148          returning
149            instance of type z (not function type)
150
151
152q: forall
153      t: type
154        with assertions
155          ?=?: pointer to function
156              with parameters
157                pointer to instance of type t (not function type)
158                instance of type t (not function type)
159              returning
160                instance of type t (not function type)
161
162          u: pointer to function
163              with parameters
164                instance of type t (not function type)
165              returning
166                instance of type t (not function type)
167
168
169    function
170    with parameters
171      the_t: instance of type t (not function type)
172    returning
173      double
174    with body
175      CompoundStmt
176        Declaration of y: instance of type t (not function type) with initializer
177          Simple Initializer:             Applying untyped:
178                Name: u
179            ...to:
180                Name: the_t
181
182                  Expression Statement:
183            Applying untyped:
184                Name: ?=?
185            ...to:
186                Address of:
187                  Name: y
188                Applying untyped:
189                    Name: u
190                ...to:
191                    Name: the_t
192
193
194f: function
195    with parameters
196      p: double
197    returning
198      float
199    with body
200      CompoundStmt
201        Declaration of y: signed int
202                  CompoundStmt
203            Declaration of y: char
204                          CompoundStmt
205                Declaration of x: char
206                Declaration of z: char with initializer
207                  Simple Initializer:                     Name: x
208
209                                  Expression Statement:
210                    Applying untyped:
211                        Name: ?=?
212                    ...to:
213                        Address of:
214                          Name: z
215                        Name: x
216
217
218            Declaration of x: char with initializer
219              Simple Initializer:                 Name: y
220
221                          Expression Statement:
222                Applying untyped:
223                    Name: ?=?
224                ...to:
225                    Address of:
226                      Name: x
227                    Name: y
228
229
230        Declaration of q: char with initializer
231          Simple Initializer:             Name: y
232
233                  Expression Statement:
234            Applying untyped:
235                Name: ?=?
236            ...to:
237                Address of:
238                  Name: q
239                Name: y
240
241
242g: function
243    returning
244      float
245    with body
246      CompoundStmt
247                  Try Statement
248            with block:
249              CompoundStmt
250                                  Expression Statement:
251                    Applying untyped:
252                        Name: some_func
253                    ...to:
254
255            and handlers:
256              Catch Statement
257              ... catching
258x: char
259
260        Declaration of z: char
261
262q: function
263      accepting unspecified arguments
264    returning
265      double
266    with parameter names
267      i
268    with parameter declarations
269      i: signed int
270    with body
271      CompoundStmt
272                  Switch on condition: Name: i
273
274              Case Name: 0
275
276                  Return Statement, returning: Name: q
277
278              Default
279                  Return Statement, returning: Name: i
280
281
282
Note: See TracBrowser for help on using the repository browser.