1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fsyntax-only -verify %s -Winvalid-offsetof
2
3 struct NonPOD {
4 virtual void f();
5 int m;
6 };
7
8 struct P {
9 NonPOD fieldThatPointsToANonPODType;
10 };
11
f()12 void f() {
13 int i = __builtin_offsetof(P, fieldThatPointsToANonPODType.m); // expected-warning{{offset of on non-POD type 'P'}}
14 }
15
16 struct Base { int x; };
17 struct Derived : Base { int y; };
18 int o = __builtin_offsetof(Derived, x); // expected-warning{{offset of on non-POD type}}
19
20 const int o2 = sizeof(__builtin_offsetof(Derived, x));
21
22 struct HasArray {
23 int array[17];
24 };
25
26 // Constant and non-constant offsetof expressions
test_ice(int i)27 void test_ice(int i) {
28 int array0[__builtin_offsetof(HasArray, array[5])];
29 int array1[__builtin_offsetof(HasArray, array[i])];
30 }
31
32 // Bitfields
33 struct has_bitfields {
34 int i : 7;
35 int j : 12; // expected-note{{bit-field is declared here}}
36 };
37
38 int test3 = __builtin_offsetof(struct has_bitfields, j); // expected-error{{cannot compute offset of bit-field 'j'}}
39
40 // offsetof referring to members of a base class.
41 struct Base1 {
42 int x;
43 };
44
45 struct Base2 {
46 int y;
47 };
48
49 struct Derived2 : public Base1, public Base2 {
50 int z;
51 };
52
53 int derived1[__builtin_offsetof(Derived2, x) == 0? 1 : -1];
54 int derived2[__builtin_offsetof(Derived2, y) == 4? 1 : -1];
55 int derived3[__builtin_offsetof(Derived2, z) == 8? 1 : -1];
56
57 // offsetof referring to anonymous struct in base.
58 // PR7769
59 struct foo {
60 struct {
61 int x;
62 };
63 };
64
65 struct bar : public foo {
66 };
67
68 int anonstruct[__builtin_offsetof(bar, x) == 0 ? 1 : -1];
69
70 struct LtoRCheck {
71 int a[10];
72 int f();
73 };
74 int ltor = __builtin_offsetof(struct LtoRCheck, a[LtoRCheck().f]); // \
75 expected-error {{reference to non-static member function must be called}}
76
77 namespace PR17578 {
78 struct Base {
79 int Field;
80 };
81 struct Derived : virtual Base {
FunPR17578::Derived82 void Fun() { (void)__builtin_offsetof(Derived, Field); } // expected-warning {{offset of on non-POD type}} \
83 expected-error {{invalid application of 'offsetof' to a field of a virtual base}}
84 };
85 }
86