• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fsyntax-only -verify %s -Winvalid-offsetof -std=c++98
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