diff options
author | lerdsuwa <lerdsuwa@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-11-02 14:58:55 +0000 |
---|---|---|
committer | lerdsuwa <lerdsuwa@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-11-02 14:58:55 +0000 |
commit | d2b6885f8b1f2a67656a454eb017ae23efd3b7d3 (patch) | |
tree | 80c6102c352abc7b99dbc30d9e4973e3a7cbe26d | |
parent | 6649a0cf25321d71ca3bb3fbf74b592fad8f3918 (diff) | |
download | ppe42-gcc-d2b6885f8b1f2a67656a454eb017ae23efd3b7d3.tar.gz ppe42-gcc-d2b6885f8b1f2a67656a454eb017ae23efd3b7d3.zip |
* pt.c (unify): Handle SCOPE_REF.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46715 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/cp/pt.c | 1 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/template/unify3.C | 11 |
3 files changed, 16 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 49e771e6202..8016de51c5f 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,7 @@ +2001-11-02 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> + + * pt.c (unify): Handle SCOPE_REF. + 2001-11-01 Jakub Jelinek <jakub@redhat.com> * tree.c (cp_copy_res_decl_for_inlining): Adjust diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index a99b80d32ec..a2971f9ba26 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -8566,6 +8566,7 @@ unify (tparms, targs, parm, arg, strict) switch (TREE_CODE (parm)) { case TYPENAME_TYPE: + case SCOPE_REF: case UNBOUND_CLASS_TEMPLATE: /* In a type which contains a nested-name-specifier, template argument values cannot be deduced for template parameters used diff --git a/gcc/testsuite/g++.dg/template/unify3.C b/gcc/testsuite/g++.dg/template/unify3.C new file mode 100644 index 00000000000..190a0cb95f7 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/unify3.C @@ -0,0 +1,11 @@ +// Test unifying SCOPE_REF. +// Origin: Marc Duflot <m.duflot@ulg.ac.be> +// { dg-do compile } + +template <int n> class A {}; +template <int m> class R {}; + +template <int n> struct Trait { enum {m = n}; }; + +template <int n> R<Trait<n>::m> f(A<n>); +template <> R<1> f(A<1>) {return R<1>();} |