source: src/Tests/Expect-s/Forall.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: 4.7 KB
RevLine 
[b1d6dd5]1Adding function ?=?
2--- Entering scope
3--- Leaving scope containing
4Adding function ?=?
5--- Entering scope
6--- Leaving scope containing
7Adding function ?=?
8--- Entering scope
9--- Leaving scope containing
10Adding function ?=?
11--- Entering scope
12--- Leaving scope containing
13Adding function ?=?
14--- Entering scope
15--- Leaving scope containing
16Adding function ?=?
17--- Entering scope
18--- Leaving scope containing
19Adding function g1
20--- Entering scope
21--- Entering scope
22Adding function f
23--- Entering scope
24--- Entering scope
25--- Leaving scope containing
26Adding type T
27Adding function ?=?
28--- Entering scope
29--- Leaving scope containing
30--- Leaving scope containing
31T
32Adding function f
33--- Entering scope
34--- Leaving scope containing
35Adding function h
36--- Entering scope
37Adding object p
38--- Leaving scope containing
39Adding object x
40Adding object y
41Adding object z
42Adding object w
43--- Leaving scope containing
44--- Leaving scope containing
45Adding function g2
46--- Entering scope
47--- Entering scope
48Adding function f
49--- Entering scope
50--- Entering scope
51--- Leaving scope containing
52Adding type T
53Adding function ?=?
54--- Entering scope
55--- Leaving scope containing
56--- Leaving scope containing
57T
58Adding function f
59--- Entering scope
60--- Entering scope
61--- Leaving scope containing
62Adding type T
63Adding function ?=?
64--- Entering scope
65--- Leaving scope containing
66--- Entering scope
67--- Leaving scope containing
68Adding type U
69Adding function ?=?
70--- Entering scope
71--- Leaving scope containing
72--- Leaving scope containing
73T
74U
75Adding object x
76Adding object y
77Adding object z
78Adding object w
79--- Leaving scope containing
80--- Leaving scope containing
[5f2f2d7]81Adding function swap
[51b7345]82--- Entering scope
83--- Entering scope
84--- Leaving scope containing
85Adding type T
[5f2f2d7]86Adding function ?=?
[51b7345]87--- Entering scope
88--- Leaving scope containing
89Adding object left
90Adding object right
91--- Entering scope
92Adding object temp
93--- Leaving scope containing
94--- Leaving scope containing
95T
96--- Entering scope
97--- Entering scope
98--- Leaving scope containing
[5f2f2d7]99Adding type T
[51b7345]100Adding object 0
101Adding function ?+?
102--- Entering scope
103--- Leaving scope containing
104Adding function ?++
105--- Entering scope
106--- Leaving scope containing
107Adding function ?+=?
108--- Entering scope
109--- Leaving scope containing
110--- Leaving scope containing
111T
[5f2f2d7]112Adding context sumable
[51b7345]113--- Entering scope
114--- Leaving scope containing
[5f2f2d7]115Adding type T1
[51b7345]116Adding object 0
117Adding function ?+?
118--- Entering scope
119--- Leaving scope containing
120Adding function ?++
121--- Entering scope
122--- Leaving scope containing
123Adding function ?+=?
124--- Entering scope
125--- Leaving scope containing
126--- Entering scope
127--- Entering scope
128--- Leaving scope containing
[5f2f2d7]129Adding type P1
[51b7345]130--- Entering scope
131--- Leaving scope containing
[5f2f2d7]132Adding type P2
[51b7345]133--- Leaving scope containing
134P1
135P2
[5f2f2d7]136Adding type T2
[51b7345]137--- Entering scope
138--- Leaving scope containing
[5f2f2d7]139Adding type T3
140Adding fwd decl for struct __anonymous0
[51b7345]141--- Entering scope
142Adding object i
143Adding object j
144--- Leaving scope containing
[5f2f2d7]145Adding struct __anonymous0
146--- Entering scope
[51b7345]147--- Entering scope
[5f2f2d7]148--- Leaving scope containing
[51b7345]149Adding type P1
150--- Entering scope
151--- Leaving scope containing
152Adding type P2
153--- Entering scope
154--- Leaving scope containing
155--- Leaving scope containing
156P1
157P2
[5f2f2d7]158Adding type T2
[51b7345]159Adding object w1
160Adding object g2
161--- Entering scope
162--- Leaving scope containing
[5f2f2d7]163Adding type w3
[51b7345]164Adding object g3
165Adding function sum
166--- Entering scope
167--- Entering scope
168--- Leaving scope containing
[5f2f2d7]169Adding type T
170Adding function ?=?
[51b7345]171--- Entering scope
172--- Leaving scope containing
173Adding object n
174Adding object a
175--- Entering scope
176Adding object total
177Adding object i
[5f2f2d7]178--- Entering scope
179--- Leaving scope containing
[51b7345]180--- Leaving scope containing
181--- Leaving scope containing
182T
183Adding function twice
184--- Entering scope
[5f2f2d7]185--- Entering scope
186--- Leaving scope containing
[51b7345]187Adding type T
[5f2f2d7]188Adding function ?=?
[51b7345]189--- Entering scope
190--- Leaving scope containing
191Adding object 0
192Adding function ?+?
193--- Entering scope
194--- Leaving scope containing
195Adding function ?++
196--- Entering scope
197--- Leaving scope containing
198Adding function ?+=?
199--- Entering scope
200--- Leaving scope containing
201Adding object t
202--- Entering scope
203--- Leaving scope containing
204--- Leaving scope containing
205T
[b1d6dd5]206Adding function min
207--- Entering scope
208--- Entering scope
209--- Leaving scope containing
210Adding type T
211Adding function ?=?
212--- Entering scope
213--- Leaving scope containing
214Adding object 0
215Adding function ?!=?
216--- Entering scope
217--- Leaving scope containing
218Adding function ?<?
219--- Entering scope
220--- Leaving scope containing
221Adding object t1
222Adding object t2
223--- Entering scope
224--- Leaving scope containing
225--- Leaving scope containing
226T
[51b7345]227Adding function main
228--- Entering scope
229--- Entering scope
230Adding object x
231Adding object y
232Adding object a
233Adding object f
234--- Leaving scope containing
235--- Leaving scope containing
Note: See TracBrowser for help on using the repository browser.