Subversion Repositories openrisc

// Copyright (C) 2007 Free Software Foundation

// Contributed by Ollie Wild 

// { dg-do compile }

// Assorted pointer to data member static cast tests.

struct A { int x; };

struct B : A { int x; };

struct P : A { int x; };

struct V { int x; };

struct D : B, virtual V, private P { int x; };

// Valid static casts.

int B::*p1 = static_cast(&D::x);

int D::*p2 = static_cast(&B::x);

// Virtual base class.

int V::*p3 = static_cast(&D::x);  // { dg-error "" }

int D::*p4 = static_cast(&V::x);  // { dg-error "" }

// Inaccessible base class.

int P::*p5 = static_cast(&D::x);  // { dg-error "" }

int D::*p6 = static_cast(&P::x);  // { dg-error "" }

// Ambiguous base class.

int A::*p7 = static_cast(&D::x);  // { dg-error "" }

int D::*p8 = static_cast(&A::x);  // { dg-error "" }

// Valid conversions which increase cv-qualification.

const int B::*p9 = static_cast(&D::x);

const int D::*p10 = static_cast(&B::x);

// Invalid conversions which decrease cv-qualification.

int B::*p11 = static_cast(p10); // { dg-error "casts away qualifiers" }

int D::*p12 = static_cast(p9);  // { dg-error "casts away qualifiers" }

// Attempts to change member type.

float B::*p13 = static_cast(&D::x); // { dg-error "" }

float D::*p14 = static_cast(&B::x); // { dg-error "" }