145
|
1 /* Test C2x attribute syntax. Test ignored attributes diagnosed. */
|
|
2 /* { dg-do compile } */
|
|
3 /* { dg-options "-std=c2x -pedantic-errors" } */
|
|
4
|
|
5 /* A GNU attribute that is valid in some contexts, but should be
|
|
6 diagnosed in contexts where all attributes are ignored (attribute
|
|
7 declarations, except for fallthrough attributes, and
|
|
8 statements). */
|
|
9 #define CTX [[gnu::const]]
|
|
10
|
|
11 /* An attribute that is unknown, so ignored with a warning. */
|
|
12 #define UNK [[gnu::no_such_attribute(![!(!)!]!,;;)]]
|
|
13
|
|
14 CTX; /* { dg-warning "ignored" } */
|
|
15 UNK; /* { dg-warning "ignored" } */
|
|
16
|
|
17 UNK extern int a; /* { dg-warning "ignored" } */
|
|
18 extern int UNK a; /* { dg-warning "ignored" } */
|
|
19 extern int a UNK; /* { dg-warning "ignored" } */
|
|
20
|
|
21 int f () UNK; /* { dg-warning "ignored" } */
|
|
22 int f (void) UNK; /* { dg-warning "ignored" } */
|
|
23 int g (UNK int a); /* { dg-warning "ignored" } */
|
|
24 int g (int UNK a); /* { dg-warning "ignored" } */
|
|
25 int g (int a UNK); /* { dg-warning "ignored" } */
|
|
26 int g (UNK int); /* { dg-warning "ignored" } */
|
|
27 int g (int UNK); /* { dg-warning "ignored" } */
|
|
28 int g (int) UNK; /* { dg-warning "ignored" } */
|
|
29
|
|
30 int *UNK p; /* { dg-warning "ignored" } */
|
|
31 int b[3] UNK; /* { dg-warning "ignored" } */
|
|
32
|
|
33 int h (int () UNK); /* { dg-warning "ignored" } */
|
|
34
|
|
35 struct UNK s; /* { dg-warning "ignored" } */
|
|
36 union UNK u; /* { dg-warning "ignored" } */
|
|
37
|
|
38 struct UNK s2 { int a; }; /* { dg-warning "ignored" } */
|
|
39 union UNK u2 { int a; }; /* { dg-warning "ignored" } */
|
|
40
|
|
41 struct s3 { UNK int a; }; /* { dg-warning "ignored" } */
|
|
42 struct s4 { int UNK a; }; /* { dg-warning "ignored" } */
|
|
43 union u3 { UNK int a; }; /* { dg-warning "ignored" } */
|
|
44 union u4 { int UNK a; }; /* { dg-warning "ignored" } */
|
|
45
|
|
46 int z = sizeof (int UNK); /* { dg-warning "ignored" } */
|
|
47
|
|
48 enum UNK { E1 }; /* { dg-warning "ignored" } */
|
|
49 enum { E2 UNK }; /* { dg-warning "ignored" } */
|
|
50 enum { E3 UNK = 4 }; /* { dg-warning "ignored" } */
|
|
51
|
|
52 void
|
|
53 func (void) UNK { /* { dg-warning "ignored" } */
|
|
54 UNK int var; /* { dg-warning "ignored" } */
|
|
55 CTX { } /* { dg-warning "ignored" } */
|
|
56 CTX; /* { dg-warning "ignored" } */
|
|
57 CTX var = 1; /* { dg-warning "ignored" } */
|
|
58 CTX x: var = 2; /* { dg-warning "ignored" } */
|
|
59 for (UNK int zz = 1; zz < 10; zz++) ; /* { dg-warning "ignored" } */
|
|
60 }
|