blob: c42c2a964dc275440dbc4651c94b21c70663064f [file] [log] [blame]
Douglas Gregor882211c2010-04-28 22:16:22 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Eli Friedman6aea5752009-07-22 22:25:00 +00002
3template <class A> int x(A x) { return x++; }
4int y() { return x<int>(1); }
Douglas Gregor882211c2010-04-28 22:16:22 +00005
6namespace PR5880 {
7 template<typename T>
8 struct A {
Richard Trieu553b2b22011-12-15 00:38:15 +00009 static const int a = __builtin_offsetof(T, a.array[5].m); // expected-error{{no member named 'a' in 'HasM'}}
Douglas Gregor882211c2010-04-28 22:16:22 +000010 };
11 struct HasM {
12 float m;
13 };
14
15 struct ArrayOfHasM {
16 HasM array[10];
17 };
18
19 struct B { ArrayOfHasM a; };
20 A<B> x;
21 A<HasM> x2; // expected-note{{in instantiation of}}
Douglas Gregorea679ec2010-04-28 22:43:14 +000022
23 template<typename T>
24 struct AnonymousUnion {
25 union {
26 int i;
27 float f;
28 };
29 };
30
31 template<typename T>
32 void test_anon_union() {
33 int array1[__builtin_offsetof(AnonymousUnion<T>, f) == 0? 1 : -1];
34 int array2[__builtin_offsetof(AnonymousUnion<int>, f) == 0? 1 : -1];
35 }
36
37 template void test_anon_union<int>();
Douglas Gregor882211c2010-04-28 22:16:22 +000038}
Richard Smitheebe125f2013-05-21 23:29:46 +000039
40namespace AddrOfClassMember {
41 template <typename T> struct S {
42 int n;
43 static void f() {
44 +T::n; // expected-error {{invalid use of member}}
45 }
46 };
47 void g() { S<S<int> >::f(); } // expected-note {{in instantiation of}}
48}