Skip to main content
aboutsummaryrefslogtreecommitdiffstats
blob: 4da8b229797ad3857c45e779657f3310fc950b19 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
/*******************************************************************************
 * Copyright (c) 2004, 2015 IBM Corporation and others.
 *
 * This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License 2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/legal/epl-2.0/
 *
 * SPDX-License-Identifier: EPL-2.0
 *
 * Contributors:
 *     John Camelon (IBM Rational Software) - Initial API and implementation
 *     Markus Schorn (Wind River Systems)
 *******************************************************************************/
package org.eclipse.cdt.core.parser.tests.ast2;

import java.io.StringWriter;
import java.io.Writer;

import org.eclipse.cdt.core.dom.ast.IASTASMDeclaration;
import org.eclipse.cdt.core.dom.ast.IASTDeclaration;
import org.eclipse.cdt.core.dom.ast.IASTEqualsInitializer;
import org.eclipse.cdt.core.dom.ast.IASTExpression;
import org.eclipse.cdt.core.dom.ast.IASTFunctionDefinition;
import org.eclipse.cdt.core.dom.ast.IASTPointer;
import org.eclipse.cdt.core.dom.ast.IASTSimpleDeclaration;
import org.eclipse.cdt.core.dom.ast.IASTTranslationUnit;
import org.eclipse.cdt.core.dom.ast.IFunctionType;
import org.eclipse.cdt.core.dom.ast.c.ICASTPointer;
import org.eclipse.cdt.core.dom.ast.c.ICASTSimpleDeclSpecifier;
import org.eclipse.cdt.core.parser.ParserLanguage;
import org.eclipse.cdt.internal.core.dom.parser.c.CASTFunctionDefinition;
import org.eclipse.cdt.internal.core.dom.parser.c.CFunction;
import org.eclipse.cdt.internal.core.model.ASTStringUtil;
import org.eclipse.cdt.internal.core.parser.ParserException;

public class GCCCompleteParseExtensionsTest extends AST2TestBase {

	public GCCCompleteParseExtensionsTest() {
	}

	public GCCCompleteParseExtensionsTest(String name) {
		super(name);
	}

	private IASTTranslationUnit parseGCC(String code) throws ParserException {
		IASTTranslationUnit tu = parse(code, ParserLanguage.C, true, true);

		CNameResolver resolver = new CNameResolver();
		tu.accept(resolver);
		if (resolver.numProblemBindings > 0)
			throw new ParserException(" there are " + resolver.numProblemBindings + " ProblemBindings on the tu");  //$NON-NLS-2$
		if (resolver.numNullBindings > 0)
			throw new ParserException("Expected no null bindings, encountered " + resolver.numNullBindings);
		return tu;
	}

	private IASTTranslationUnit parseGPP(String code) throws ParserException {
		IASTTranslationUnit tu = parse(code, ParserLanguage.CPP, true, true);

		CPPNameResolver resolver = new CPPNameResolver();
		tu.accept(resolver);
		if (resolver.numProblemBindings > 0)
			throw new ParserException(" there are " + resolver.numProblemBindings + " ProblemBindings on the tu");  //$NON-NLS-2$
		if (resolver.numNullBindings > 0)
			throw new ParserException("Expected no null bindings, encountered " + resolver.numNullBindings);
		return tu;
	}

    public void testBug39695() throws Exception {
        parseGCC("int a = __alignof__ (int);").getDeclarations();
    }

    public void testBug39684() throws Exception {
    	IASTDeclaration bar = parseGCC("typeof(foo(1)) bar () { return foo(1); }").getDeclarations()[0];
		assertTrue(bar instanceof CASTFunctionDefinition);
		CFunction barFunc = (CFunction)((CASTFunctionDefinition)bar).getDeclarator().getName().resolveBinding();
		IFunctionType type = barFunc.getType();

    	// TODO Devin typeof declSpec has 0 length, also doesn't seem to have a type for typeof... raise a bug
//    	IASTSimpleTypeSpecifier simpleTypeSpec = ((IASTSimpleTypeSpecifier)bar.getReturnType().getTypeSpecifier());
//		assertEquals(simpleTypeSpec.getType(), IASTGCCSimpleTypeSpecifier.Type.TYPEOF);
    }

    public void testBug39698A() throws Exception {
        IASTDeclaration[] decls = parseGPP("int a=0; \n int b=1; \n int c = a <? b;").getDeclarations();
        assertEquals(ASTStringUtil.getExpressionString((IASTExpression) ((IASTEqualsInitializer)((IASTSimpleDeclaration)decls[2]).getDeclarators()[0].getInitializer()).getInitializerClause()), "a <? b");
    }

    public void testBug39698B() throws Exception {
    	IASTDeclaration[] decls = parseGPP("int a=0; \n int b=1; \n int c = a >? b;").getDeclarations();
        assertEquals(ASTStringUtil.getExpressionString((IASTExpression) ((IASTEqualsInitializer)((IASTSimpleDeclaration)decls[2]).getDeclarators()[0].getInitializer()).getInitializerClause()), "a >? b");
    }

	public void testPredefinedSymbol_bug69791() throws Exception {
		parseGPP("typedef __builtin_va_list __gnuc_va_list; \n").getDeclarations();
		parseGCC("typedef __builtin_va_list __gnuc_va_list; \n").getDeclarations();
	}

	public void testBug39697() throws Exception	{
		Writer writer = new StringWriter();
		writer.write("__asm__( \"CODE\" );\n");
		writer.write("__inline__ int foo() { return 4; }\n");
		writer.write("__const__ int constInt;\n");
		writer.write("__volatile__ int volInt;\n");
		writer.write("__signed__ int signedInt;\n");
		IASTDeclaration[] decls = parseGCC(writer.toString()).getDeclarations();

        assertEquals(((IASTASMDeclaration)decls[0]).getAssembly(), "\"CODE\"");
        assertTrue(((IASTFunctionDefinition)decls[1]).getDeclSpecifier().isInline());
        assertTrue(((IASTSimpleDeclaration)decls[2]).getDeclSpecifier().isConst());
        assertTrue(((IASTSimpleDeclaration)decls[3]).getDeclSpecifier().isVolatile());
        assertTrue(((ICASTSimpleDeclSpecifier)((IASTSimpleDeclaration)decls[4]).getDeclSpecifier()).isSigned());

        writer = new StringWriter();
        writer.write("int * __restrict__ resPointer1;\n");
        writer.write("int * __restrict resPointer2;\n");
        decls = parseGCC(writer.toString()).getDeclarations();
        assertTrue(((ICASTPointer)((IASTSimpleDeclaration)decls[0]).getDeclarators()[0].getPointerOperators()[0]).isRestrict());
        assertTrue(((ICASTPointer)((IASTSimpleDeclaration)decls[1]).getDeclarators()[0].getPointerOperators()[0]).isRestrict());

        writer = new StringWriter();
        writer.write("int * __restrict__ resPointer1;\n");
        writer.write("int * __restrict resPointer2;\n");
        decls = parseGPP(writer.toString()).getDeclarations();
        assertTrue(((IASTPointer)((IASTSimpleDeclaration)decls[0]).getDeclarators()[0].getPointerOperators()[0]).isRestrict());
        assertTrue(((IASTPointer)((IASTSimpleDeclaration)decls[1]).getDeclarators()[0].getPointerOperators()[0]).isRestrict());
	}

	public void testBug73954A() throws Exception {
	    StringWriter writer = new StringWriter();
		writer.write("void f(){							\n");
		writer.write("	__builtin_expect( 23, 2); 		\n");
		writer.write("	__builtin_prefetch( (const void *)0, 1, 2);				\n");
		writer.write("	__builtin_huge_val();			\n");
		writer.write("	__builtin_huge_valf();			\n");
		writer.write("	__builtin_huge_vall();			\n");
		writer.write("	__builtin_inf();				\n");
		writer.write("	__builtin_inff();				\n");
		writer.write("	__builtin_infl();				\n");
		writer.write("	__builtin_nan(\"\");			\n");
		writer.write("	__builtin_nanf(\"\");			\n");
		writer.write("	__builtin_nanl(\"\");			\n");
		writer.write("	__builtin_nans(\"\");			\n");
		writer.write("	__builtin_nansf(\"\");			\n");
		writer.write("	__builtin_nansl(\"\");			\n");
		writer.write("	__builtin_ffs (0);				\n");
		writer.write("	__builtin_clz (0);				\n");
		writer.write("	__builtin_ctz (0);				\n");
		writer.write("	__builtin_popcount (0);			\n");
		writer.write("	__builtin_parity (0);			\n");
		writer.write("	__builtin_ffsl (0);				\n");
		writer.write("	__builtin_clzl (0);				\n");
		writer.write("	__builtin_ctzl (0);				\n");
		writer.write("	__builtin_popcountl (0);		\n");
		writer.write("	__builtin_parityl (0);			\n");
		writer.write("	__builtin_ffsll (0);			\n");
		writer.write("	__builtin_clzll (0);			\n");
		writer.write("	__builtin_ctzll (0);			\n");
		writer.write("	__builtin_popcountll (0);		\n");
		writer.write("	__builtin_parityll (0); 		\n");
		writer.write("	__builtin_powi (0, 0); 			\n");
		writer.write("	__builtin_powif (0, 0);	 		\n");
		writer.write("	__builtin_powil (0, 0);   		\n");
		writer.write("}                                 \n");

	    parseGCC(writer.toString());
	}

    public void testBug39686() throws Exception {
        Writer code = new StringWriter();
        code.write("__complex__ double x; // complex double\n");
        code.write("__complex__ short int a; // complex short int\n");
        code.write("__complex__ float y = 2.5fi; // 2.5 imaginary float literal\n");
        code.write("__complex__ int z = 3i; // imaginary intege r literal\n");
        code.write("double v = __real__ x; // real part of expression\n");
        code.write("double w = __imag__ x; // imaginary part of expression\n");
        parseGCC(code.toString());
    }

	public void testBug39551B() throws Exception {
	    //this used to be 99.99 * __I__, but I don't know where the __I__ came from, its not in C99, nor in GCC
		IASTDeclaration decl = parseGCC("_Imaginary double id = 99.99 * 1i;").getDeclarations()[0];
		// TODO Devin does ICPPASTSimpleDeclSpecifier need something for isImaginary ?
		//		assertEquals(variable.getName(), "id");
//		assertTrue(((IASTSimpleTypeSpecifier)variable.getAbstractDeclaration().getTypeSpecifier()).isImaginary());
	}

    public void testBug39681() throws Exception {
        Writer code = new StringWriter();
        code.write("double\n");
        code.write("foo (double a, double b)\n");
        code.write("{\n");
        code.write("  double square (double z) { return z * z; }\n");
        code.write("  return square (a) + square (b);\n");
        code.write("}\n");
        parseGCC(code.toString());
    }

    public void testBug39677() throws Exception {
		parseGPP("class B { public: B(); int a;}; B::B() : a(({ 1; })) {}");
        Writer writer = new StringWriter();
        writer.write("int foo(); class B { public: B(); int a;};");
        writer.write("B::B() : a(( { int y = foo (); int z;\n");
        writer.write("if (y > 0) z = y;\n");
        writer.write("else z = - y;\n");
        writer.write("z; })) {}\n");
		parseGPP(writer.toString());

        writer = new StringWriter();
        writer.write("int x = ({ int foo(); int y = foo (); int z;\n");
        writer.write("if (y > 0) z = y;\n");
        writer.write("else z = - y;\n");
        writer.write("z; });\n");
		parseGPP(writer.toString());

        writer = new StringWriter();
        writer.write("int foo();                       \n");
        writer.write("typeof({ int y = foo ();         \n");
        writer.write("         int z;                  \n");
        writer.write("         if (y > 0) z = y;       \n");
        writer.write("         else z = - y;           \n");
        writer.write("         z;                      \n");
        writer.write("       }) zoot;                  \n");

        parseGPP(writer.toString()); // TODO Devin raised bug 93980
    }

    public void testBug75401() throws Exception {
        Writer writer = new StringWriter();
        writer.write("#define va_list  __builtin_va_list            \n");
        writer.write("#define va_arg(v,l) __builtin_va_arg(v,l)     \n");
        writer.write("#define va_start(v,l) __builtin_va_start(v,l) \n");
        writer.write("#define va_end(v) __builtin_va_end(v)         \n");
        writer.write("void variadic(int first, ...) {               \n");
        writer.write("   va_list v;                                 \n");
        writer.write("   va_start(v, first);                        \n");
        writer.write("   long l = va_arg(v, long);                  \n");
        writer.write("   va_end(v);                                 \n");
        writer.write("}                                             \n");

        parseGCC(writer.toString());
        parseGPP(writer.toString());
    }

    public void testBug73954B() throws Exception {
        Writer writer = new StringWriter();
        writer.write("#define foo(x)                                            \\\n");
        writer.write("  __builtin_choose_expr( 1, foo_d(x), (void)0 )             \n");
        writer.write("int foo_d( int x );                                         \n");
        writer.write("int main() {                                                \n");
        writer.write("   if( __builtin_constant_p(1) &&                           \n");
        writer.write("      __builtin_types_compatible_p( 1, 'c') )               \n");
        writer.write("          foo(1);                                           \n");
        writer.write("}                                                           \n");

        parseGCC(writer.toString());
    }

	public void testGNUExternalTemplate_bug71603() throws Exception {
		parseGPP("template <typename T> \n class A {}; \n extern template class A<int>; \n").getDeclarations();
	}

	public void testBug74190_g_assert_1() throws Exception {
	    Writer writer = new StringWriter();
	    writer.write("void log( int );               \n");
	    writer.write("void f() {                     \n");
	    writer.write("    int a = 1;                 \n");
	    writer.write("    (void)({ if( a ){ }        \n");
	    writer.write("             else{ log( a ); } \n");
	    writer.write("           });                 \n");
	    writer.write("}                              \n");

        parseGCC(writer.toString());
        parseGPP(writer.toString());
	}

	public void testBug74190_g_return_if_fail() throws Exception {
	    Writer writer = new StringWriter();
	    writer.write("void f() {                     \n");
	    writer.write("    (void)({ if( ( ({ 0; }) ) ) \n");
	    writer.write("            { }                \n");
	    writer.write("           });                 \n");
	    writer.write("}                              \n");

        parseGCC(writer.toString());
        parseGPP(writer.toString());
	}

	public void testBug95635() throws Exception{
        StringWriter writer = new StringWriter();
        writer.write("void f(){                         \n");
        writer.write("    char a[10];                   \n");
        writer.write("    __builtin_va_list b;          \n");
        writer.write("    __builtin_abort();            \n");
        writer.write("    __builtin_exit(1);            \n");
        writer.write("    __builtin__Exit(1);           \n");
        writer.write("    __builtin__exit(1);           \n");
        writer.write("    __builtin_conj(1);            \n");
        writer.write("    __builtin_conjf(1);           \n");
        writer.write("    __builtin_conjl(1);           \n");
        writer.write("    __builtin_creal(1);           \n");
        writer.write("    __builtin_crealf(1);          \n");
        writer.write("    __builtin_creall(1);          \n");
        writer.write("    __builtin_cimag(1);           \n");
        writer.write("    __builtin_cimagf(1);          \n");
        writer.write("    __builtin_cimagl(1);          \n");
        writer.write("    __builtin_imaxabs(1);         \n");
        writer.write("    __builtin_llabs(1);           \n");
        writer.write("    __builtin_vscanf(\"\",b);\n");
        writer.write("    __builtin_vsnprintf(a, 1, \"\", b); \n");
        writer.write("    __builtin_vsscanf(\"\", \"\", b);\n");
        writer.write("    __builtin_cosf(1);            \n");
        writer.write("    __builtin_cosl(1);            \n");
        writer.write("    __builtin_expf(1);            \n");
        writer.write("    __builtin_expl(1);            \n");
        writer.write("    __builtin_fabsf(1);           \n");
        writer.write("    __builtin_fabsl(1);           \n");
        writer.write("    __builtin_logf(1);            \n");
        writer.write("    __builtin_logl(1);            \n");
        writer.write("    __builtin_sinf(1);            \n");
        writer.write("    __builtin_sinl(1);            \n");
        writer.write("    __builtin_sqrtf(1);           \n");
        writer.write("    __builtin_sqrtl(1);           \n");
        writer.write("    __builtin_abs(1);             \n");
        writer.write("    __builtin_cos(1);             \n");
        writer.write("    __builtin_exp(1);             \n");
        writer.write("    __builtin_fabs(1);            \n");
        writer.write("    __builtin_fprintf((void*)0, \"\");\n");
        writer.write("    __builtin_fputs(\"\", (void*)0);\n");
        writer.write("    __builtin_labs(1);            \n");
        writer.write("    __builtin_log(1);             \n");
        writer.write("    __builtin_memcmp((void*)0, (void*)0, 1);\n");
        writer.write("    __builtin_memcpy((void*)0,(void*)0, 1);\n");
        writer.write("    __builtin_memset((void*)0, 1, 1);\n");
        writer.write("    __builtin_printf(\"\");       \n");
        writer.write("    __builtin_putchar(1);         \n");
        writer.write("    __builtin_puts(\"\");            \n");
        writer.write("    __builtin_scanf(\"\");        \n");
        writer.write("    __builtin_sin(1);             \n");
        writer.write("    __builtin_snprintf(a, 1, \"\");\n");
        writer.write("    __builtin_sprintf(a, \"\");\n");
        writer.write("    __builtin_sqrt(1);            \n");
        writer.write("    __builtin_sscanf(\"\", \"\"); \n");
        writer.write("    __builtin_strcat(a, \"\"); \n");
        writer.write("    __builtin_strchr(\"\", 1); \n");
        writer.write("    __builtin_strcmp(\"\", \"\"); \n");
        writer.write("    __builtin_strcpy(a, \"\"); \n");
        writer.write("    __builtin_strcspn(\"\", \"\");\n");
        writer.write("    __builtin_strlen(\"\");       \n");
        writer.write("    __builtin_strncat(a, \"\", 1);\n");
        writer.write("    __builtin_strncmp(\"\", \"\", 1);\n");
        writer.write("    __builtin_strncpy(a, \"\", 1);\n");
        writer.write("    __builtin_strpbrk(\"\", \"\");\n");
        writer.write("    __builtin_strrchr(\"\", 1);   \n");
        writer.write("    __builtin_strspn(\"\", \"\"); \n");
        writer.write("    __builtin_strstr(\"\", \"\"); \n");
        writer.write("    __builtin_strstr(\"\", \"\"); \n");
        writer.write("    __builtin_vprintf(a, b);\n");
        writer.write("    __builtin_vsprintf(a, \"\", b);    \n");
        writer.write("    __builtin_isgreater(1.0,1.0);      \n");
        writer.write("    __builtin_isgreaterequal(1.0,1.0);\n");
        writer.write("    __builtin_isless(1.0,1.0);        \n");
        writer.write("    __builtin_islessequal(1.0,1.0);   \n");
        writer.write("    __builtin_islessgreater(1.0,1.0); \n");
        writer.write("    __builtin_isunordered(1.0,1.0);   \n");
        writer.write("}                                 \n");

        final String code = writer.toString();
		parseGCC(code);
        parseGPP(code);
    }

	// typedef int size_t;  // will be defined in <stddef.h>
	// struct S {int m;};
	// void test() {
	//    int a= __builtin_offsetof(struct S, m);
	// };
	public void test__builtinOffsetof_Bug265001() throws Exception {
		// gcc with __GNUC__ >= 4 defines:
		// #define offsetof(type, field) __builtin_offsetof(type, field)

		String code= getAboveComment();
		parseGCC(code);
		parseGPP(code);
	}

	// typedef struct S {int m;} T;
	// void test() {
	//    int a= __offsetof__(1);
	// };
	public void test__offsetof__Bug265001() throws Exception {
		// gcc with __GNUC__ < 4 defines:
		//		#define offsetof(type, field)					\
		//		(__offsetof__ (reinterpret_cast <__size_t>		\
		//			 (& reinterpret_cast <const volatile char &>	\
		//			  (static_cast<type *> (0)->field))))
		parseGPP(getAboveComment());
	}

	//	void test(){
	//		bool b;
	//		b= __has_nothrow_assign (int);
	//		b= __has_nothrow_copy (int);
	//		b= __has_nothrow_constructor (int);
	//		b= __has_trivial_assign (int);
	//		b= __has_trivial_copy (int);
	//		b= __has_trivial_constructor (int);
	//		b= __has_trivial_destructor (int);
	//		b= __has_virtual_destructor (int);
	//		b= __is_abstract (int);
	//		b= __is_base_of (char, int);
	//		b= __is_class (int);
	//		b= __is_empty (int);
	//		b= __is_enum (int);
	//		b= __is_pod (int);
	//		b= __is_polymorphic (int);
	//		b= __is_union (int);
	//	}
	public void testTypeTraits_Bug342683() throws Exception {
		parseGPP(getAboveComment());
	}

	// __int128 a;
	// unsigned __int128 b;
	public void test__int128() throws Exception {
		String code= getAboveComment();
		parseGCC(code);
		parseGPP(code);
	}

	// __float128 f;
	public void test__float128() throws Exception {
		String code= getAboveComment();
		parseGCC(code);
		parseGPP(code);
	}
	
	// _Decimal32 x;
	public void test_Decimal32() throws Exception {
		String code= getAboveComment();
		parseGCC(code);
		parseGPP(code);
	}

	// _Decimal64 x;
	public void test_Decimal64() throws Exception {
		String code= getAboveComment();
		parseGCC(code);
		parseGPP(code);
	}

	// _Decimal128 x;
	public void test_Decimal128() throws Exception {
		String code= getAboveComment();
		parseGCC(code);
		parseGPP(code);
	}

	//	struct waldo {
	//	} __attribute__((__aligned__((1))));
	public void test__attribute__aligned_bug400204() throws Exception {
		String code= getAboveComment();
		parseGCC(code);
		parseGPP(code);
	}
}

Back to the top