source: src/tests/tests/log.txt@ 3dcd347a

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 stuck-waitfor-destruct with_gc
Last change on this file since 3dcd347a was 3dcd347a, checked in by Thierry Delisle <tdelisle@…>, 10 years ago

moved some more tests to new test folder
  • Property mode set to 100644
File size: 15.3 KB
Line 
1 vector_test FAILED with build error:
2cc vector_test.c -o vector_test
3In file included from /usr/local/include/iostream:19:0,
4 from /usr/local/include/fstream:19,
5 from vector_test.c:16:
6/usr/local/include/iterator:20:1: error: unknown type name 'trait'
7 trait iterator( otype iterator_type, otype elt_type ) {
8 ^
9/usr/local/include/iterator:20:17: error: unknown type name 'otype'
10 trait iterator( otype iterator_type, otype elt_type ) {
11 ^
12/usr/local/include/iterator:20:38: error: unknown type name 'otype'
13 trait iterator( otype iterator_type, otype elt_type ) {
14 ^
15/usr/local/include/iterator:34:1: error: unknown type name 'trait'
16 trait iterator_for( otype iterator_type, otype collection_type, otype elt_type | iterator( iterator_type, elt_type ) ) {
17 ^
18/usr/local/include/iterator:34:21: error: unknown type name 'otype'
19 trait iterator_for( otype iterator_type, otype collection_type, otype elt_type | iterator( iterator_type, elt_type ) ) {
20 ^
21/usr/local/include/iterator:34:42: error: unknown type name 'otype'
22 trait iterator_for( otype iterator_type, otype collection_type, otype elt_type | iterator( iterator_type, elt_type ) ) {
23 ^
24/usr/local/include/iterator:34:65: error: unknown type name 'otype'
25 trait iterator_for( otype iterator_type, otype collection_type, otype elt_type | iterator( iterator_type, elt_type ) ) {
26 ^
27/usr/local/include/iterator:40:9: error: unknown type name 'otype'
28 forall( otype iterator_type, otype elt_type | iterator( iterator_type, elt_type ) )
29 ^
30/usr/local/include/iterator:40:30: error: unknown type name 'otype'
31 forall( otype iterator_type, otype elt_type | iterator( iterator_type, elt_type ) )
32 ^
33/usr/local/include/iterator:43:9: error: unknown type name 'otype'
34 forall( otype iterator_type, otype elt_type | iterator( iterator_type, elt_type ) )
35 ^
36/usr/local/include/iterator:43:30: error: unknown type name 'otype'
37 forall( otype iterator_type, otype elt_type | iterator( iterator_type, elt_type ) )
38 ^
39In file included from /usr/local/include/fstream:19:0,
40 from vector_test.c:16:
41/usr/local/include/iostream:21:1: error: unknown type name 'trait'
42 trait ostream( dtype ostype ) {
43 ^
44/usr/local/include/iostream:21:16: error: unknown type name 'dtype'
45 trait ostream( dtype ostype ) {
46 ^
47/usr/local/include/iostream:40:1: error: unknown type name 'trait'
48 trait writeable( otype T ) {
49 ^
50/usr/local/include/iostream:40:18: error: unknown type name 'otype'
51 trait writeable( otype T ) {
52 ^
53/usr/local/include/iostream:46:9: error: unknown type name 'dtype'
54 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, char );
55 ^
56/usr/local/include/iostream:48:9: error: unknown type name 'dtype'
57 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, short int );
58 ^
59/usr/local/include/iostream:49:9: error: unknown type name 'dtype'
60 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned short int );
61 ^
62/usr/local/include/iostream:50:9: error: unknown type name 'dtype'
63 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, int );
64 ^
65/usr/local/include/iostream:51:9: error: unknown type name 'dtype'
66 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned int );
67 ^
68/usr/local/include/iostream:52:9: error: unknown type name 'dtype'
69 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long int );
70 ^
71/usr/local/include/iostream:53:9: error: unknown type name 'dtype'
72 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long long int );
73 ^
74/usr/local/include/iostream:54:9: error: unknown type name 'dtype'
75 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned long int );
76 ^
77/usr/local/include/iostream:55:9: error: unknown type name 'dtype'
78 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned long long int );
79 ^
80/usr/local/include/iostream:57:9: error: unknown type name 'dtype'
81 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, float ); // FIX ME: should not be required
82 ^
83/usr/local/include/iostream:58:9: error: unknown type name 'dtype'
84 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, double );
85 ^
86/usr/local/include/iostream:59:9: error: unknown type name 'dtype'
87 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long double );
88 ^
89/usr/local/include/iostream:61:9: error: unknown type name 'dtype'
90 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, float _Complex );
91 ^
92/usr/local/include/iostream:62:9: error: unknown type name 'dtype'
93 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, double _Complex );
94 ^
95/usr/local/include/iostream:63:9: error: unknown type name 'dtype'
96 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long double _Complex );
97 ^
98/usr/local/include/iostream:65:9: error: unknown type name 'dtype'
99 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, const char * );
100 ^
101/usr/local/include/iostream:66:9: error: unknown type name 'dtype'
102 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, const void * );
103 ^
104/usr/local/include/iostream:68:9: error: unknown type name 'dtype'
105 forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, ostype * (*)( ostype * ) );
106 ^
107/usr/local/include/iostream:69:9: error: unknown type name 'dtype'
108 forall( dtype ostype | ostream( ostype ) ) ostype * endl( ostype * );
109 ^
110/usr/local/include/iostream:70:9: error: unknown type name 'dtype'
111 forall( dtype ostype | ostream( ostype ) ) ostype * sepOn( ostype * );
112 ^
113/usr/local/include/iostream:71:9: error: unknown type name 'dtype'
114 forall( dtype ostype | ostream( ostype ) ) ostype * sepOff( ostype * );
115 ^
116/usr/local/include/iostream:72:9: error: unknown type name 'dtype'
117 forall( dtype ostype | ostream( ostype ) ) ostype * sepDisable( ostype * );
118 ^
119/usr/local/include/iostream:73:9: error: unknown type name 'dtype'
120 forall( dtype ostype | ostream( ostype ) ) ostype * sepEnable( ostype * );
121 ^
122/usr/local/include/iostream:76:9: error: unknown type name 'otype'
123 forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
124 ^
125/usr/local/include/iostream:76:49: error: unknown type name 'otype'
126 forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
127 ^
128/usr/local/include/iostream:76:108: error: unknown type name 'dtype'
129 forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
130 ^
131In file included from /usr/local/include/fstream:19:0,
132 from vector_test.c:16:
133/usr/local/include/iostream:79:9: error: unknown type name 'otype'
134 forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
135 ^
136/usr/local/include/iostream:79:49: error: unknown type name 'otype'
137 forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
138 ^
139/usr/local/include/iostream:79:108: error: unknown type name 'dtype'
140 forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
141 ^
142/usr/local/include/iostream:84:1: error: unknown type name 'trait'
143 trait istream( dtype istype ) {
144 ^
145/usr/local/include/iostream:84:16: error: unknown type name 'dtype'
146 trait istream( dtype istype ) {
147 ^
148/usr/local/include/iostream:94:1: error: unknown type name 'trait'
149 trait readable( otype T ) {
150 ^
151/usr/local/include/iostream:94:17: error: unknown type name 'otype'
152 trait readable( otype T ) {
153 ^
154/usr/local/include/iostream:98:9: error: unknown type name 'dtype'
155 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, char * );
156 ^
157/usr/local/include/iostream:100:9: error: unknown type name 'dtype'
158 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, short int * );
159 ^
160/usr/local/include/iostream:101:9: error: unknown type name 'dtype'
161 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned short int * );
162 ^
163/usr/local/include/iostream:102:9: error: unknown type name 'dtype'
164 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, int * );
165 ^
166/usr/local/include/iostream:103:9: error: unknown type name 'dtype'
167 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned int * );
168 ^
169/usr/local/include/iostream:104:9: error: unknown type name 'dtype'
170 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long int * );
171 ^
172/usr/local/include/iostream:105:9: error: unknown type name 'dtype'
173 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long long int * );
174 ^
175/usr/local/include/iostream:106:9: error: unknown type name 'dtype'
176 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned long int * );
177 ^
178/usr/local/include/iostream:107:9: error: unknown type name 'dtype'
179 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned long long int * );
180 ^
181/usr/local/include/iostream:109:9: error: unknown type name 'dtype'
182 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, float * );
183 ^
184/usr/local/include/iostream:110:9: error: unknown type name 'dtype'
185 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, double * );
186 ^
187/usr/local/include/iostream:111:9: error: unknown type name 'dtype'
188 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long double * );
189 ^
190/usr/local/include/iostream:113:9: error: unknown type name 'dtype'
191 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, float _Complex * );
192 ^
193/usr/local/include/iostream:114:9: error: unknown type name 'dtype'
194 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, double _Complex * );
195 ^
196/usr/local/include/iostream:115:9: error: unknown type name 'dtype'
197 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long double _Complex * );
198 ^
199/usr/local/include/iostream:118:1: error: unknown type name '_Istream_cstrUC'
200 _Istream_cstrUC cstr( char * );
201 ^
202/usr/local/include/iostream:119:9: error: unknown type name 'dtype'
203 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, _Istream_cstrUC );
204 ^
205/usr/local/include/iostream:122:1: error: unknown type name '_Istream_cstrC'
206 _Istream_cstrC cstr( char *, int size );
207 ^
208/usr/local/include/iostream:122:16: error: conflicting types for 'cstr'
209 _Istream_cstrC cstr( char *, int size );
210 ^
211/usr/local/include/iostream:118:17: note: previous declaration of 'cstr' was here
212 _Istream_cstrUC cstr( char * );
213 ^
214/usr/local/include/iostream:123:9: error: unknown type name 'dtype'
215 forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, _Istream_cstrC );
216 ^
217In file included from vector_test.c:16:0:
218/usr/local/include/fstream:29:15: error: unknown type name 'ofstream'
219 _Bool sepPrt( ofstream * );
220 ^
221/usr/local/include/fstream:30:13: error: unknown type name 'ofstream'
222 void sepOn( ofstream * );
223 ^
224/usr/local/include/fstream:31:14: error: unknown type name 'ofstream'
225 void sepOff( ofstream * );
226 ^
227/usr/local/include/fstream:32:16: error: unknown type name 'ofstream'
228 void sepReset( ofstream * );
229 ^
230/usr/local/include/fstream:33:16: error: unknown type name 'ofstream'
231 void sepReset( ofstream *, _Bool );
232 ^
233/usr/local/include/fstream:34:14: error: unknown type name 'ofstream'
234 void sepSet( ofstream *, const char * );
235 ^
236/usr/local/include/fstream:35:22: error: unknown type name 'ofstream'
237 const char * sepGet( ofstream * );
238 ^
239/usr/local/include/fstream:36:19: error: unknown type name 'ofstream'
240 _Bool sepDisable( ofstream * );
241 ^
242/usr/local/include/fstream:37:18: error: unknown type name 'ofstream'
243 _Bool sepEnable( ofstream * );
244 ^
245/usr/local/include/fstream:38:11: error: unknown type name 'ofstream'
246 int fail( ofstream * );
247 ^
248/usr/local/include/fstream:39:12: error: unknown type name 'ofstream'
249 int flush( ofstream * );
250 ^
251/usr/local/include/fstream:40:12: error: unknown type name 'ofstream'
252 void open( ofstream *, const char * name, const char * mode );
253 ^
254/usr/local/include/fstream:41:13: error: unknown type name 'ofstream'
255 void close( ofstream * );
256 ^
257/usr/local/include/fstream:42:1: error: unknown type name 'ofstream'
258 ofstream * write( ofstream *, const char * data, unsigned long int size );
259 ^
260/usr/local/include/fstream:42:19: error: unknown type name 'ofstream'
261 ofstream * write( ofstream *, const char * data, unsigned long int size );
262 ^
263/usr/local/include/fstream:43:13: error: unknown type name 'ofstream'
264 int prtfmt( ofstream *, const char fmt[], ... );
265 ^
266/usr/local/include/fstream:45:1: error: unknown type name 'ofstream'
267 extern ofstream * sout, * serr;
268 ^
269/usr/local/include/fstream:52:11: error: unknown type name 'ifstream'
270 int fail( ifstream * is );
271 ^
272/usr/local/include/fstream:53:10: error: unknown type name 'ifstream'
273 int eof( ifstream * is );
274 ^
275/usr/local/include/fstream:54:12: error: unknown type name 'ifstream'
276 void open( ifstream * is, const char * name, const char * mode );
277 ^
278/usr/local/include/fstream:55:13: error: unknown type name 'ifstream'
279 void close( ifstream * is );
280 ^
281/usr/local/include/fstream:56:1: error: unknown type name 'ifstream'
282 ifstream * read( ifstream * is, char * data, unsigned long int size );
283 ^
284/usr/local/include/fstream:56:18: error: unknown type name 'ifstream'
285 ifstream * read( ifstream * is, char * data, unsigned long int size );
286 ^
287/usr/local/include/fstream:57:1: error: unknown type name 'ifstream'
288 ifstream * ungetc( ifstream * is, char c );
289 ^
290/usr/local/include/fstream:57:20: error: unknown type name 'ifstream'
291 ifstream * ungetc( ifstream * is, char c );
292 ^
293/usr/local/include/fstream:58:14: error: unknown type name 'ifstream'
294 int scanfmt( ifstream *, const char fmt[], ... );
295 ^
296/usr/local/include/fstream:60:1: error: unknown type name 'ifstream'
297 extern ifstream *sin;
298 ^
299vector_test.c:18:24: fatal error: vector_int.h: No such file or directory
300 #include "vector_int.h"
301 ^
302compilation terminated.
303make: *** [vector_test] Error 1
304 avl_test FAILED with build error:
305make: *** No rule to make target `avl_test'. Stop.
Note: See TracBrowser for help on using the repository browser.