source: src/Tests/SynTree/Expected/Forall.tst@ 8a95629

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 string stuck-waitfor-destruct with_gc
Last change on this file since 8a95629 was 5f2f2d7, checked in by Peter A. Buhr <pabuhr@…>, 11 years ago

fix constant types, remove unnecessary string copying, work on regression testing, fix several memory leaks
  • Property mode set to 100644
File size: 8.7 KB
RevLine 
[5f2f2d7]1f: typedef for pointer to forall
2 T: type
3 with assertions
4 ?=?: function
5 with parameters
6 pointer to instance of type T (not function type)
7 instance of type T (not function type)
8 returning
9 instance of type T (not function type)
10
11
12 function
[51b73452]13 with parameters
14 signed int
15 returning
16 signed int
17
[5f2f2d7]18swap: forall
19 T: type
20 with assertions
21 ?=?: function
22 with parameters
23 pointer to instance of type T (not function type)
24 instance of type T (not function type)
25 returning
26 instance of type T (not function type)
27
28
29 function
[51b73452]30 with parameters
[5f2f2d7]31 left: instance of type T (not function type)
32 right: instance of type T (not function type)
[51b73452]33 returning
34 void
35 with body
[5f2f2d7]36 CompoundStmt
37 Declaration of temp: instance of type T (not function type) with initializer
38 Simple Initializer: Name: left
39
40 Expression Statement:
41 Applying untyped:
42 Name: ?=?
43 ...to:
44 Address of:
45 Name: left
46 Name: right
47
48 Expression Statement:
49 Applying untyped:
50 Name: ?=?
51 ...to:
52 Address of:
53 Name: right
54 Name: temp
[51b73452]55
56
57context sumable
58 with parameters
[5f2f2d7]59 T: type
[51b73452]60
61 with members
[5f2f2d7]62 0: const instance of type T (not function type)
63 ?+?: function
[51b73452]64 with parameters
[5f2f2d7]65 instance of type T (not function type)
66 instance of type T (not function type)
[51b73452]67 returning
[5f2f2d7]68 instance of type T (not function type)
[51b73452]69
[5f2f2d7]70 ?++: function
[51b73452]71 with parameters
[5f2f2d7]72 instance of type T (not function type)
[51b73452]73 returning
[5f2f2d7]74 instance of type T (not function type)
[51b73452]75
[5f2f2d7]76 ?+=?: function
[51b73452]77 with parameters
[5f2f2d7]78 instance of type T (not function type)
79 instance of type T (not function type)
[51b73452]80 returning
[5f2f2d7]81 instance of type T (not function type)
[51b73452]82
83
[5f2f2d7]84T1: type
[51b73452]85 with assertions
[5f2f2d7]86 0: const instance of type T1 (not function type)
87 ?+?: function
[51b73452]88 with parameters
[5f2f2d7]89 instance of type T1 (not function type)
90 instance of type T1 (not function type)
[51b73452]91 returning
[5f2f2d7]92 instance of type T1 (not function type)
[51b73452]93
[5f2f2d7]94 ?++: function
[51b73452]95 with parameters
[5f2f2d7]96 instance of type T1 (not function type)
[51b73452]97 returning
[5f2f2d7]98 instance of type T1 (not function type)
[51b73452]99
[5f2f2d7]100 ?+=?: function
[51b73452]101 with parameters
[5f2f2d7]102 instance of type T1 (not function type)
103 instance of type T1 (not function type)
[51b73452]104 returning
[5f2f2d7]105 instance of type T1 (not function type)
[51b73452]106
107
[5f2f2d7]108T2: type
[51b73452]109 with parameters
[5f2f2d7]110 P1: type
111 P2: type
[51b73452]112
[5f2f2d7]113T3: type
[51b73452]114 with assertions
115 instance of context sumable
116 with parameters
[5f2f2d7]117 instance of type T3 (not function type)
[51b73452]118
119
120struct __anonymous0
121 with members
[5f2f2d7]122 i: instance of type P1 (not function type)
123 j: instance of type P2 (not function type)
[51b73452]124
[5f2f2d7]125T2: type for instance of struct __anonymous0
[51b73452]126 with parameters
[5f2f2d7]127 P1: type
128 P2: type
[51b73452]129
130 with assertions
131 instance of context sumable
132 with parameters
[5f2f2d7]133 instance of type T2 (not function type)
[51b73452]134 with parameters
[5f2f2d7]135 instance of type P1 (not function type)
136 instance of type P2 (not function type)
[51b73452]137
138
139
[5f2f2d7]140w1: instance of type T2 (not function type)
[51b73452]141 with parameters
142 signed int
143 signed int
144
[5f2f2d7]145w2: typedef for instance of type T2 (not function type)
[51b73452]146 with parameters
147 signed int
148 signed int
149
[5f2f2d7]150g2: instance of type w2 (not function type)
151w3: type for instance of type T2 (not function type)
[51b73452]152 with parameters
153 signed int
154 signed int
155
[5f2f2d7]156g3: instance of type w3 (not function type)
157sum: forall
158 T: type
[51b73452]159 with assertions
[5f2f2d7]160 ?=?: function
161 with parameters
162 pointer to instance of type T (not function type)
163 instance of type T (not function type)
164 returning
165 instance of type T (not function type)
166
[51b73452]167 instance of context sumable
168 with parameters
[5f2f2d7]169 instance of type T (not function type)
[51b73452]170
171
[5f2f2d7]172 function
173 with parameters
174 n: signed int
175 a: open array of instance of type T (not function type)
[51b73452]176 returning
[5f2f2d7]177 instance of type T (not function type)
[51b73452]178 with body
[5f2f2d7]179 CompoundStmt
180 Declaration of total: instance of type T (not function type) with initializer
181 Simple Initializer: Name: 0
182
183 Declaration of i: signed int
184 Labels: {}
185 For Statement
186 initialization:
187 Expression Statement:
188 Applying untyped:
189 Name: ?=?
190 ...to:
191 Address of:
192 Name: i
193 Name: 0
194
195 condition:
196 Cast of:
197 Applying untyped:
198 Name: ?!=?
199 ...to:
200 Applying untyped:
201 Name: ?<?
202 ...to:
203 Name: i
204 Name: n
205 Name: 0
206
207 to:
208 signed int
209
210 increment:
211 Applying untyped:
212 Name: ?+=?
213 ...to:
214 Address of:
215 Name: i
216 Name: 1
217
218 statement block:
219 Expression Statement:
220 Applying untyped:
221 Name: ?=?
222 ...to:
223 Address of:
224 Name: total
225 Applying untyped:
226 Name: ?+?
227 ...to:
228 Name: total
229 Applying untyped:
230 Name: ?[?]
231 ...to:
232 Name: a
233 Name: i
234
235
236 Return Statement, returning: Name: total
237
238
239
240twice: forall
241 T: type
[51b73452]242 with assertions
[5f2f2d7]243 ?=?: function
244 with parameters
245 pointer to instance of type T (not function type)
246 instance of type T (not function type)
247 returning
248 instance of type T (not function type)
249
250 0: const instance of type T (not function type)
251 ?+?: function
[51b73452]252 with parameters
[5f2f2d7]253 instance of type T (not function type)
254 instance of type T (not function type)
[51b73452]255 returning
[5f2f2d7]256 instance of type T (not function type)
[51b73452]257
[5f2f2d7]258 ?++: function
[51b73452]259 with parameters
[5f2f2d7]260 instance of type T (not function type)
[51b73452]261 returning
[5f2f2d7]262 instance of type T (not function type)
[51b73452]263
[5f2f2d7]264 ?+=?: function
[51b73452]265 with parameters
[5f2f2d7]266 instance of type T (not function type)
267 instance of type T (not function type)
[51b73452]268 returning
[5f2f2d7]269 instance of type T (not function type)
[51b73452]270
271
[5f2f2d7]272 function
273 with parameters
274 t: instance of type T (not function type)
[51b73452]275 returning
[5f2f2d7]276 instance of type T (not function type)
[51b73452]277 with body
[5f2f2d7]278 CompoundStmt
279 Return Statement, returning: Applying untyped:
280 Name: ?+?
281...to:
282 Name: t
283 Name: t
[51b73452]284
[5f2f2d7]285
286
287main: C function
288 accepting unspecified arguments
[51b73452]289 returning
290 signed int
291 with body
[5f2f2d7]292 CompoundStmt
293 Declaration of x: signed int with initializer
294 Simple Initializer: Name: 1
295
296 Declaration of y: signed int with initializer
297 Simple Initializer: constant expression 2 signed int
298 Declaration of a: array of signed int with dimension of constant expression 10 signed int
299 Declaration of f: float
300 Expression Statement:
301 Applying untyped:
302 Name: swap
303 ...to:
304 Name: x
305 Name: y
306
307 Expression Statement:
308 Applying untyped:
309 Name: twice
310 ...to:
311 Name: x
312 Name: y
313
314 Expression Statement:
315 Applying untyped:
316 Name: ?=?
317 ...to:
318 Address of:
319 Name: f
320 Applying untyped:
321 Name: min
322 ...to:
323constant expression 4.0 double constant expression 3.0 double
324 Expression Statement:
325 Applying untyped:
326 Name: sum
327 ...to:
328constant expression 10 signed int Name: a
[51b73452]329
330
Note: See TracBrowser for help on using the repository browser.