1 /* Copyright (C) 2000-2017 Free Software Foundation, Inc.  */
2 
3 /* { dg-do preprocess } */
4 /* { dg-options "-pedantic -std=c99" } */
5 
6 /* Tests macro syntax, for both definition and invocation, including:-
7 
8    o Full range of macro definition semantics.
9    o No. of arguments supplied to function-like macros.
10    o Odd GNU rest args behavior.
11    o Macro arguments do not flow into the rest of the file.  */
12 
13 
14 /* Test basic macro definition syntax.  The macros are all called
15    "foo" deliberately to provoke an (excess) redefinition warning in
16    case the macros succeed in being entered in the macro hash table
17    despite being an error.
18 
19    Split a couple of the lines to check that the errors appear on the
20    right line (i.e. are associated with the correct token).  */
21 
22 #define ;			/* { dg-error "identifier" } */
23 #define SEMI;			/* { dg-warning "space" } */
24 #define foo(X			/* { dg-error "expected" } */
25 #define foo\
26 (X,)				/* { dg-error "parameter name" } */
27 #define foo(, X)		/* { dg-error "parameter name" } */
28 #define foo(X, X)		/* { dg-error "duplicate" } */
29 #define foo(X Y)		/* { dg-error "expected" } */
30 #define foo(()			/* { dg-error "parameter name" } */
31 #define foo(..., X)		/* { dg-error "expected" } */
32 #define foo \
33 __VA_ARGS__			/* { dg-warning "__VA_ARGS__" } */
34 #define goo(__VA_ARGS__)	/* { dg-warning "__VA_ARGS__" } */
35 #define hoo(...) __VA_ARGS__	/* OK.  */
36 #define __VA_ARGS__		/* { dg-warning "__VA_ARGS__" } */
37 __VA_ARGS__			/* { dg-warning "__VA_ARGS__" } */
38 
39 /* test # of supplied arguments.  */
40 #define none()
41 #define one(x)
42 #define two(x, y)
43 #define var0(...)
44 #define var1(x, ...)
45 none()				/* OK.  */
46 none(ichi)			/* { dg-error "passed 1" } */
47 one()				/* OK.  */
48 one(ichi)			/* OK.  */
49 one(ichi\
50 , ni)				/* { dg-error "passed 2" } */
51 two(ichi)			/* { dg-error "requires 2" } */
52 var0()				/* OK.  */
53 var0(ichi)			/* OK.  */
54 var1()				/* { dg-warning "requires at least one" } */
55 var1(ichi)			/* { dg-warning "requires at least one" } */
56 var1(ichi, ni)			/* OK.  */
57 
58 /* This tests two oddities of GNU rest args - omitting a comma is OK,
59    and backtracking a token on pasting an empty rest args.  */
60 #define rest(x, y...) x ## y	/* { dg-warning "ISO C" } */
61 rest(ichi,)			/* OK.  */
62 rest(ichi)			/* { dg-warning "requires at least one" } */
63 #if 23 != rest(2, 3)		/* OK, no warning.  */
64 #error 23 != 23 !!
65 #endif
66 
67 /* Test that we don't allow arguments to flow into the rest of the
68    file.  */
69 #define half_invocation do_nowt(2
70 #define do_nowt(x) x
71 half_invocation )		/* OK.  */
72 do_nowt (half_invocation))	/* { dg-error "unterminated argument" } */
73