// Copyright (C) 2007 Free Software Foundation
|
// Copyright (C) 2007 Free Software Foundation
|
// Contributed by Ollie Wild
|
// Contributed by Ollie Wild
|
// { dg-do compile }
|
// { dg-do compile }
|
|
|
// Assorted pointer to data member static cast tests.
|
// Assorted pointer to data member static cast tests.
|
|
|
struct A { int x; };
|
struct A { int x; };
|
struct B : A { int x; };
|
struct B : A { int x; };
|
struct P : A { int x; };
|
struct P : A { int x; };
|
struct V { int x; };
|
struct V { int x; };
|
struct D : B, virtual V, private P { int x; };
|
struct D : B, virtual V, private P { int x; };
|
|
|
// Valid static casts.
|
// Valid static casts.
|
int B::*p1 = static_cast(&D::x);
|
int B::*p1 = static_cast(&D::x);
|
int D::*p2 = static_cast(&B::x);
|
int D::*p2 = static_cast(&B::x);
|
|
|
// Virtual base class.
|
// Virtual base class.
|
int V::*p3 = static_cast(&D::x); // { dg-error "" }
|
int V::*p3 = static_cast(&D::x); // { dg-error "" }
|
int D::*p4 = static_cast(&V::x); // { dg-error "" }
|
int D::*p4 = static_cast(&V::x); // { dg-error "" }
|
|
|
// Inaccessible base class.
|
// Inaccessible base class.
|
int P::*p5 = static_cast(&D::x); // { dg-error "" }
|
int P::*p5 = static_cast(&D::x); // { dg-error "" }
|
int D::*p6 = static_cast(&P::x); // { dg-error "" }
|
int D::*p6 = static_cast(&P::x); // { dg-error "" }
|
|
|
// Ambiguous base class.
|
// Ambiguous base class.
|
int A::*p7 = static_cast(&D::x); // { dg-error "" }
|
int A::*p7 = static_cast(&D::x); // { dg-error "" }
|
int D::*p8 = static_cast(&A::x); // { dg-error "" }
|
int D::*p8 = static_cast(&A::x); // { dg-error "" }
|
|
|
// Valid conversions which increase cv-qualification.
|
// Valid conversions which increase cv-qualification.
|
const int B::*p9 = static_cast(&D::x);
|
const int B::*p9 = static_cast(&D::x);
|
const int D::*p10 = static_cast(&B::x);
|
const int D::*p10 = static_cast(&B::x);
|
|
|
// Invalid conversions which decrease cv-qualification.
|
// Invalid conversions which decrease cv-qualification.
|
int B::*p11 = static_cast(p10); // { dg-error "casts away qualifiers" }
|
int B::*p11 = static_cast(p10); // { dg-error "casts away qualifiers" }
|
int D::*p12 = static_cast(p9); // { dg-error "casts away qualifiers" }
|
int D::*p12 = static_cast(p9); // { dg-error "casts away qualifiers" }
|
|
|
// Attempts to change member type.
|
// Attempts to change member type.
|
float B::*p13 = static_cast(&D::x); // { dg-error "" }
|
float B::*p13 = static_cast(&D::x); // { dg-error "" }
|
float D::*p14 = static_cast(&B::x); // { dg-error "" }
|
float D::*p14 = static_cast(&B::x); // { dg-error "" }
|
|
|
