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