Subversion Repositories openrisc

// PR c++/47950

// { dg-options -std=c++0x }

template  struct empty

{

   // allow success case to build (not relevant to bug)

   operator bool() { return true; }

};

template  struct from_int

{

   from_int(int) {}

   // allow success case to build (not relevant to bug)

   operator bool() { return true; }

};

template 

from_int via_function(T v)

{

   return from_int(v);

}

template 

void f()

{

   // ********* this section compiles ***********

   // these plain initializers work fine

   from_int a = 7;

   from_int b = from_int(7);

   empty    c = empty();

   from_int ta = 7;

   from_int tb = from_int(7);

   empty    tc = empty();

   // these dependent condition decls work fine

   if (empty x = empty())

      ;

   if (from_int x = 7)

      ;

   if (from_int x = from_int(7))

      ;

   if (from_int x = via_function(T()))

      ;

   // this non-dependent condition decl using conversion works fine

   if (from_int x = 7)

      ;

   // these non-dependent condition decls using conversion or braced-

   // initialization work fine (in c++0x mode only course)

   #if __GXX_EXPERIMENTAL_CXX0X__

   if (empty x {})

      ;

   if (from_int x {7})

      ;

   #endif

   // ********** this section fails in C++0x ***********

   // the following non-dependent condition decls cause an assertion

   // failure in

   //

   //   tsubst_copy_and_build, at cp/pt.c:13370

   //

   // in C++0x mode

   //

   if (empty x = empty())

      ;

   if (from_int x = from_int(7))

      ;

   if (from_int x = via_function(7))

      ;

}

int main()

{

   f();

}