source: src/Tests/Expect-e/Rank2.txt @ a3e7d34

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since a3e7d34 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: 12.1 KB
Line 
1?=?: function
2    with parameters
3      pointer to signed int
4      signed int
5    returning
6      signed int
7
8?=?: forall
9      DT: incomplete type
10    function
11    with parameters
12      pointer to pointer to instance of type DT (not function type)
13      pointer to instance of type DT (not function type)
14    returning
15      pointer to instance of type DT (not function type)
16
17a: function
18      accepting unspecified arguments
19    returning
20      nothing
21    with body
22      CompoundStmt
23        Declaration of f: forall
24              T: type
25                with assertions
26                  ?=?: pointer to function
27                      with parameters
28                        pointer to instance of type T (not function type)
29                        instance of type T (not function type)
30                      returning
31                        instance of type T (not function type)
32
33
34            function
35            with parameters
36              instance of type T (not function type)
37            returning
38              nothing
39
40        Declaration of g: function
41            with parameters
42              p: pointer to forall
43                    U: type
44                      with assertions
45                        ?=?: pointer to function
46                            with parameters
47                              pointer to instance of type U (not function type)
48                              instance of type U (not function type)
49                            returning
50                              instance of type U (not function type)
51
52
53                  function
54                  with parameters
55                    instance of type U (not function type)
56                  returning
57                    nothing
58
59            returning
60              nothing
61
62                  Expression Statement:
63            Application of
64              Variable Expression: g: function
65                  with parameters
66                    p: pointer to forall
67                          U: type
68                            with assertions
69                              ?=?: pointer to function
70                                  with parameters
71                                    pointer to instance of type U (not function type)
72                                    instance of type U (not function type)
73                                  returning
74                                    instance of type U (not function type)
75
76
77                        function
78                        with parameters
79                          instance of type U (not function type)
80                        returning
81                          nothing
82
83                  returning
84                    nothing
85
86            to arguments
87                              Variable Expression: f: forall
88                      T: type
89                        with assertions
90                          ?=?: pointer to function
91                              with parameters
92                                pointer to instance of type T (not function type)
93                                instance of type T (not function type)
94                              returning
95                                instance of type T (not function type)
96
97
98                    function
99                    with parameters
100                      instance of type T (not function type)
101                    returning
102                      nothing
103
104
105            with inferred parameters:
106              ?=?: pointer to function
107                with parameters
108                  pointer to instance of type U (not function type)
109                  instance of type U (not function type)
110                returning
111                  instance of type U (not function type)
112
113            with environment:
114              Types:
115                _1_T -> instance of type _0_U (not function type)
116              Non-types:
117
118
119g: function
120      accepting unspecified arguments
121    returning
122      nothing
123    with body
124      CompoundStmt
125        Declaration of h: function
126            with parameters
127              null: pointer to signed int
128            returning
129              nothing
130
131        Declaration of id: forall
132              T: type
133                with assertions
134                  ?=?: pointer to function
135                      with parameters
136                        pointer to instance of type T (not function type)
137                        instance of type T (not function type)
138                      returning
139                        instance of type T (not function type)
140
141
142            function
143            with parameters
144              instance of type T (not function type)
145            returning
146              instance of type T (not function type)
147
148        Declaration of 0: forall
149              T: incomplete type
150            pointer to instance of type T (not function type)
151        Declaration of 0: signed int
152                  Expression Statement:
153            Application of
154              Variable Expression: h: function
155                  with parameters
156                    null: pointer to signed int
157                  returning
158                    nothing
159
160            to arguments
161                              Application of
162                  Variable Expression: id: forall
163                        T: type
164                          with assertions
165                            ?=?: pointer to function
166                                with parameters
167                                  pointer to instance of type T (not function type)
168                                  instance of type T (not function type)
169                                returning
170                                  instance of type T (not function type)
171
172
173                      function
174                      with parameters
175                        instance of type T (not function type)
176                      returning
177                        instance of type T (not function type)
178
179                to arguments
180                                      Application of
181                      Variable Expression: id: forall
182                            T: type
183                              with assertions
184                                ?=?: pointer to function
185                                    with parameters
186                                      pointer to instance of type T (not function type)
187                                      instance of type T (not function type)
188                                    returning
189                                      instance of type T (not function type)
190
191
192                          function
193                          with parameters
194                            instance of type T (not function type)
195                          returning
196                            instance of type T (not function type)
197
198                    to arguments
199                                              Application of
200                          Variable Expression: id: forall
201                                T: type
202                                  with assertions
203                                    ?=?: pointer to function
204                                        with parameters
205                                          pointer to instance of type T (not function type)
206                                          instance of type T (not function type)
207                                        returning
208                                          instance of type T (not function type)
209
210
211                              function
212                              with parameters
213                                instance of type T (not function type)
214                              returning
215                                instance of type T (not function type)
216
217                        to arguments
218                                                      Variable Expression: 0: forall
219                                  T: incomplete type
220                                pointer to instance of type T (not function type)
221
222                        with inferred parameters:
223                          ?=?: forall
224                              DT: incomplete type
225                            function
226                            with parameters
227                              pointer to pointer to instance of type DT (not function type)
228                              pointer to instance of type DT (not function type)
229                            returning
230                              pointer to instance of type DT (not function type)
231
232
233                    with inferred parameters:
234                      ?=?: forall
235                          DT: incomplete type
236                        function
237                        with parameters
238                          pointer to pointer to instance of type DT (not function type)
239                          pointer to instance of type DT (not function type)
240                        returning
241                          pointer to instance of type DT (not function type)
242
243
244                with inferred parameters:
245                  ?=?: forall
246                      DT: incomplete type
247                    function
248                    with parameters
249                      pointer to pointer to instance of type DT (not function type)
250                      pointer to instance of type DT (not function type)
251                    returning
252                      pointer to instance of type DT (not function type)
253
254
255            with environment:
256              Types:
257                _0_T -> forall
258                      _3_T: incomplete type
259                    pointer to instance of type _3_T (not function type)
260                _1_T -> forall
261                      _3_T: incomplete type
262                    pointer to instance of type _3_T (not function type)
263                _2_T -> forall
264                      _3_T: incomplete type
265                    pointer to instance of type _3_T (not function type)
266                _3_T -> signed int
267                _5_DT -> signed int
268                _7_DT -> signed int
269                _9_DT -> signed int
270              Non-types:
271
272
273int ___operator_assign__Fi_Pii_(int *, int );
274void *___operator_assign__A0_1_0__FPd0_PPd0Pd0_(void **, void *);
275void __a__F__(){
276    void __f__A1_0_0____operator_assign__PFt0_Pt0t0__F_t0_(void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, void (*___operator_assign__PF2tT_P2tT2tT_)(), void *);
277    void __g__F_PA1_0_0____operator_assign__PFt0_Pt0t0__F_t0__(void (*__p__PA1_0_0____operator_assign__PFt0_Pt0t0__F_t0_)(void (*_adapterF2tU_P2tU2tU_)(void (*)(), void *, void *, void *), long unsigned int U, void (*___operator_assign__PF2tU_P2tU2tU_)(), void *));
278    __g__F_PA1_0_0____operator_assign__PFt0_Pt0t0__F_t0__(__f__A1_0_0____operator_assign__PFt0_Pt0t0__F_t0_);
279}
280void __g__F__(){
281    void __h__F_Pi_(int *__null__Pi);
282    void __id__A1_0_0____operator_assign__PFt0_Pt0t0__Ft0_t0_(void (*_adapterF2tT_P2tT2tT_)(void (*)(), void *, void *, void *), long unsigned int T, void (*___operator_assign__PF2tT_P2tT2tT_)(), void *, void *);
283    void *___constant_zero__A0_1_0__Pd0;
284    int ___constant_zero__i;
285    void *_thunk0(void **_p0, void *_p1){
286        return ___operator_assign__A0_1_0__FPd0_PPd0Pd0_(_p0, _p1);
287    }
288    void *_thunk1(void **_p0, void *_p1){
289        return ___operator_assign__A0_1_0__FPd0_PPd0Pd0_(_p0, _p1);
290    }
291    void *_thunk2(void **_p0, void *_p1){
292        return ___operator_assign__A0_1_0__FPd0_PPd0Pd0_(_p0, _p1);
293    }
294    void *_temp0;
295    void _adapterFA0_1_0__Pd0_PA0_1_0__Pd1A0_1_0__Pd2_(void (*_adaptee)(), void *_ret, void *_p0, void *_p1){
296        ((*((_3_T **)_ret))=((void *(*)(void **, void *))_adaptee)(_p0, (*((_3_T **)_p1))));
297    }
298    void *_temp1;
299    void *_temp2;
300    __h__F_Pi_((__id__A1_0_0____operator_assign__PFt0_Pt0t0__Ft0_t0_(_adapterFA0_1_0__Pd0_PA0_1_0__Pd1A0_1_0__Pd2_, sizeof(_3_T *), ((void (*)())(&_thunk2)), (&_temp2), (&(__id__A1_0_0____operator_assign__PFt0_Pt0t0__Ft0_t0_(_adapterFA0_1_0__Pd0_PA0_1_0__Pd1A0_1_0__Pd2_, sizeof(_3_T *), ((void (*)())(&_thunk1)), (&_temp1), (&(__id__A1_0_0____operator_assign__PFt0_Pt0t0__Ft0_t0_(_adapterFA0_1_0__Pd0_PA0_1_0__Pd1A0_1_0__Pd2_, sizeof(_3_T *), ((void (*)())(&_thunk0)), (&_temp0), (&___constant_zero__A0_1_0__Pd0)) , _temp0))) , _temp1))) , _temp2));
301}
Note: See TracBrowser for help on using the repository browser.