103 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fsyntax-only -verify %s -Winvalid-offsetof -std=c++982// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fsyntax-only -verify %s -Winvalid-offsetof -std=c++98 -fexperimental-new-constant-interpreter3 4struct NonPOD {5 virtual void f();6 int m;7};8 9struct P {10 NonPOD fieldThatPointsToANonPODType;11};12 13void f() {14 int i = __builtin_offsetof(P, fieldThatPointsToANonPODType.m); // expected-warning{{'offsetof' on non-POD type 'P'}}15}16 17struct Base { int x; };18struct Derived : Base { int y; };19int o = __builtin_offsetof(Derived, x); // expected-warning{{'offsetof' on non-POD type}}20 21const int o2 = sizeof(__builtin_offsetof(Derived, x));22 23struct HasArray {24 int array[17];25};26 27// Constant and non-constant offsetof expressions28void test_ice(int i) {29 int array0[__builtin_offsetof(HasArray, array[5])];30 int array1[__builtin_offsetof(HasArray, array[i])]; // expected-warning {{variable length arrays in C++ are a Clang extension}}31}32 33// Bitfields34struct has_bitfields {35 int i : 7;36 int j : 12; // expected-note{{bit-field is declared here}}37};38 39int test3 = __builtin_offsetof(struct has_bitfields, j); // expected-error{{cannot compute offset of bit-field 'j'}}40 41// offsetof referring to members of a base class.42struct Base1 {43 int x;44};45 46struct Base2 {47 int y;48};49 50struct Derived2 : public Base1, public Base2 {51 int z;52};53 54int derived1[__builtin_offsetof(Derived2, x) == 0? 1 : -1]; // expected-warning{{'offsetof' on non-POD type 'Derived2'}}55int derived2[__builtin_offsetof(Derived2, y) == 4? 1 : -1]; // expected-warning{{'offsetof' on non-POD type 'Derived2'}}56int derived3[__builtin_offsetof(Derived2, z) == 8? 1 : -1]; // expected-warning{{'offsetof' on non-POD type 'Derived2'}}57 58// offsetof referring to anonymous struct in base.59// PR776960struct foo {61 struct {62 int x;63 };64};65 66struct bar : public foo {67};68 69int anonstruct[__builtin_offsetof(bar, x) == 0 ? 1 : -1]; // expected-warning{{'offsetof' on non-POD type 'bar'}}70 71 72struct LtoRCheck {73 int a[10];74 int f();75};76int ltor = __builtin_offsetof(struct LtoRCheck, a[LtoRCheck().f]); // \77 expected-error {{reference to non-static member function must be called}}78 79namespace PR17578 {80struct Base {81 int Field;82};83struct Derived : virtual Base {84 void Fun() { (void)__builtin_offsetof(Derived, Field); } // expected-warning {{'offsetof' on non-POD type}} \85 expected-error {{invalid application of 'offsetof' to a field of a virtual base}}86};87}88 89int test_definition(void) {90 return __builtin_offsetof(struct A // expected-error {{'A' cannot be defined in a type specifier}}91 {92 int a;93 struct B // FIXME: error diagnostic message for nested definitions94 // https://reviews.llvm.org/D13357495 // fixme-error{{'A' cannot be defined in '__builtin_offsetof'}}96 {97 int c;98 int d;99 };100 B x;101 }, a);102}103