OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR c++/2094 (unimplemented: use of `ptrmem_cst' in template type unification)

Browse Source 
PR c++/2094
        * g++.dg/template/ptrmem7.C: New test.

From-SVN: r73578
This commit is contained in:
Giovanni Bajo 2003-11-14 06:13:45 +01:00 committed by Bernardo Innocenti
parent 28e8f3a00e
commit aede75ed61
2 changed files with 48 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2003-11-14 Giovanni Bajo <giovannibajo@libero.it>
PR c++/2094
* g++.dg/template/ptrmem7.C: New test.
2003-11-13 Andrew Pinski <apinski@apple.com>
* gcc.c-torture/compile/20031113-1.c: New test.

43
gcc/testsuite/g++.dg/template/ptrmem7.C Normal file
View File

@ -0,0 +1,43 @@
// { dg-do compile }
// Origin: <togawa at acm dot arg>
// c++/2094: unsupported 'ptrmem_cst' in type unification
struct R
{
int i;
};
struct S
{
int i;
int j;
};
struct S2 : S
{};
template<int S::*p, typename>
struct X
{
X ();
template<typename U> X(const X<p,U> &);
};
X<&S::i,S> x = X<&S::i,S>();
X<&S::i,S> x2 = X<&S2::i,S>();
X<&S::i,S> y = X<&S::j,S>(); // { dg-error "" }
X<&S::i,S> z = X<&R::i,S>(); // { dg-error "" }
template <class T>
struct Foo
{
void foo(void)
{
X<&T::i,T> x = X<&T::i,T>();
X<&S::i,S> x2 = X<&S2::i,S>();
X<&S::i,S> y = X<&S::j,S>(); // { dg-error "" }
X<&S::i,S> z = X<&R::i,S>(); // { dg-error "" }
}
};
template struct Foo<S>; // { dg-error "instantiated from" }