]>
Commit | Line | Data |
---|---|---|
4e03c3a7 JM |
1 | /* Test C2x attribute syntax. Invalid uses of attributes. */ |
2 | /* { dg-do compile } */ | |
3 | /* { dg-options "-std=c2x -pedantic-errors" } */ | |
4 | ||
5 | /* Prefix attributes not allowed on declarations without declarators. */ | |
6 | ||
7 | [[]] struct s { int a; }; /* { dg-error "empty declaration" } */ | |
8 | ||
9 | [[]] union u { int a; }; /* { dg-error "empty declaration" } */ | |
10 | ||
11 | void | |
12 | f1 (void) | |
13 | { | |
14 | [[]] struct t { int a; }; /* { dg-error "empty declaration" } */ | |
15 | } | |
16 | ||
17 | /* Prefix attributes not allowed on _Static_assert. */ | |
18 | ||
19 | [[]] _Static_assert (1); /* { dg-error "expected" } */ | |
20 | ||
21 | void | |
22 | f2 (void) | |
23 | { | |
24 | [[]] _Static_assert (1); /* { dg-error "expected" } */ | |
25 | } | |
26 | ||
27 | /* Declarations, including attribute declarations, cannot appear after | |
8b7a9a24 | 28 | labels when a statement is expected. */ |
4e03c3a7 JM |
29 | |
30 | void | |
31 | f3 (void) | |
32 | { | |
8b7a9a24 MU |
33 | if (1) |
34 | x: [[]]; /* { dg-error "expected" } */ | |
35 | } | |
4e03c3a7 JM |
36 | |
37 | /* Prefix attributes cannot appear on type names. */ | |
38 | ||
39 | int z = sizeof ([[]] int); /* { dg-error "expected" } */ | |
40 | ||
41 | /* Attributes are not allowed after struct, union or enum, except when | |
42 | the type contents are being defined or the declaration is just | |
43 | "struct-or-union atribute-specifier-sequence identifier;". */ | |
44 | ||
45 | const struct [[]] s2; /* { dg-warning "useless type qualifier" } */ | |
46 | /* { dg-error "invalid use of attributes in empty declaration" "invalid" { target *-*-* } .-1 } */ | |
47 | ||
48 | const union [[]] u2; /* { dg-warning "useless type qualifier" } */ | |
49 | /* { dg-error "invalid use of attributes in empty declaration" "invalid" { target *-*-* } .-1 } */ | |
50 | ||
51 | struct [[]] s3 *sv; /* { dg-error "expected" } */ | |
52 | ||
53 | union [[]] u3 *uv; /* { dg-error "expected" } */ | |
54 | ||
55 | enum e { E1 }; | |
56 | ||
57 | enum [[]] e *ev; /* { dg-error "expected" } */ |