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
|
// RUN: %clang_cc1 -fsyntax-only -verify=silent %s
// RUN: %clang_cc1 -fsyntax-only -verify=cpp -x c++ %s
// RUN: %clang_cc1 -fsyntax-only -pedantic -Wno-comment -verify %s
// RUN: %clang_cc1 -fsyntax-only -pedantic -Wno-comment -std=c89 -verify %s
// RUN: %clang_cc1 -fsyntax-only -pedantic -Wno-comment -std=c99 -verify %s
// RUN: %clang_cc1 -fsyntax-only -pedantic -Wno-comment -std=c11 -verify %s
// RUN: %clang_cc1 -fsyntax-only -pedantic -Wno-comment -std=c17 -verify %s
// RUN: %clang_cc1 -fsyntax-only -pedantic -Wno-comment -std=c2x -verify=silent %s
// silent-no-diagnostics
// Reject definitions in __builtin_offsetof
// https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2350.htm
int simple(void) {
return __builtin_offsetof(struct A // cpp-error {{'A' cannot be defined in a type specifier}} \
expected-warning {{defining a type within '__builtin_offsetof' is a C23 extension}}
{
int a;
struct B // expected-warning {{defining a type within '__builtin_offsetof' is a C23 extension}}
{
int c;
int d;
} x;
}, a);
}
int anonymous_struct(void) {
return __builtin_offsetof(struct // cpp-error-re {{'(unnamed struct at {{.*}})' cannot be defined in a type specifier}} \
expected-warning {{defining a type within '__builtin_offsetof' is a C23 extension}}
{
int a;
int b;
}, a);
}
int struct_in_second_param(void) {
struct A {
int a, b;
int x[20];
};
return __builtin_offsetof(struct A, x[sizeof(struct B{int a;})]); // cpp-error {{'B' cannot be defined in a type specifier}}
}
#define offsetof(TYPE, MEMBER) __builtin_offsetof(TYPE, MEMBER)
int macro(void) {
return offsetof(struct A // cpp-error {{'A' cannot be defined in a type specifier}} \
expected-warning 2 {{defining a type within 'offsetof' is a C23 extension}}
{
int a;
struct B // verifier seems to think the error is emitted by the macro
// In fact the location of the error is "B" on the line above
{
int c;
int d;
} x;
}, a);
}
#undef offsetof
#define offsetof(TYPE, MEMBER) (&((TYPE *)0)->MEMBER)
// no warning for traditional offsetof as a function-like macro
int * macro_func(void) {
return offsetof(struct A // cpp-error {{'A' cannot be defined in a type specifier}}
{
int a;
int b;
}, a);
}
|
