1 // Copyright (C) 2007 Free Software Foundation
2 // Contributed by Ollie Wild <aaw@google.com>
3 // { dg-do compile }
4 
5 // Assorted pointer to data member c-style cast tests.
6 
7 struct X {};
8 struct A { int x; };
9 struct B : A { int x; };
10 struct P : A { int x; };
11 struct V { int x; };
12 struct D : B, virtual V, private P { int x; };
13 
14 // Accessible, non-virtual, non-ambiguous base clas.
15 int B::*p1 = (int B::*)&D::x;
16 int D::*p2 = (int D::*)&B::x;
17 
18 // Virtual base class.
19 int V::*p3 = (int V::*)&D::x;  // { dg-error "" }
20 int D::*p4 = (int D::*)&V::x;  // { dg-error "" }
21 
22 // Inaccessible base class.
23 int P::*p5 = (int P::*)&D::x;
24 int D::*p6 = (int D::*)&P::x;
25 
26 // Ambiguous base class.
27 int A::*p7 = (int A::*)&D::x;  // { dg-error "" }
28 int D::*p8 = (int D::*)&A::x;  // { dg-error "" }
29 
30 // Valid conversions which increase cv-qualification.
31 const int B::*p9 = (const int B::*)&D::x;
32 const int D::*p10 = (const int D::*)&B::x;
33 
34 // Valid conversions which decrease cv-qualification.
35 int B::*p11 = (int B::*)p10;
36 int D::*p12 = (int D::*)p9;
37 
38 // Attempts to change member type allowed via reinterpret_cast.
39 float B::*p13 = (float B::*)&D::x;
40 float D::*p14 = (float D::*)&B::x;
41 
42 // Conversion via unrelated classes allwed via reinterpret_cast.
43 int X::*p15 = (int X::*)&D::x;
44