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