Subversion Repositories openrisc_me

// { dg-do compile }

// Contributed by ,

//                ,

//                

// c++/9256: Make sure that a pointer to an array of abstract elements

//  cannot be created, not even during template substitution (DR337).

struct Abstract { virtual void f() = 0; };  // { dg-message "note" }

struct Complete { void f(); };

/*

 * TEST 1

 * Arrays of abstract elements cannot be declared.

 */

Abstract a0[2];        // { dg-error "" }

Abstract (*a1)[2];     // { dg-error "" }

Abstract (**a2)[2];    // { dg-error "" }

Abstract (***a3)[2];   // { dg-error "" }

Abstract *a4;

Abstract *a5[2];

Abstract (*a6[2])[2];  // { dg-error "" }

Abstract **a7[2];

Abstract *(*a8[2])[2];

Abstract (**a9[2])[2]; // { dg-error "" }

/*

 * TEST 2

 * If a pointer to an array of abstract elements is created during template

 *  instantiation, an error should occur.

 */

template  struct K {

  T (*a)[2];   // { dg-error "abstract class type" }

};

template struct K;  // { dg-message "instantiated" }

/*

 * TEST 3

 * Deducing an array of abstract elements during type deduction is a silent

 *  failure (rejects overload).

 */

template  struct StaticAssert;

template <> struct StaticAssert {};

typedef char Yes;

typedef struct { char x[2]; } No;

template No  is_abstract(U (*k)[1]);

template Yes is_abstract(...);

StaticAssert(0)) == sizeof(Yes)> b1;

StaticAssert(0)) == sizeof(No)> b2;

StaticAssert(0)) == sizeof(No)> b3;