diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/ptrmem7.C | 43 |
2 files changed, 48 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a959079..845b6f1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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. diff --git a/gcc/testsuite/g++.dg/template/ptrmem7.C b/gcc/testsuite/g++.dg/template/ptrmem7.C new file mode 100644 index 0000000..59b28a3 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/ptrmem7.C @@ -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" } |