diff options
| author | Nathan Sidwell <nathan@codesourcery.com> | 2003-03-24 19:47:17 +0000 |
|---|---|---|
| committer | Nathan Sidwell <nathan@gcc.gnu.org> | 2003-03-24 19:47:17 +0000 |
| commit | 1c82cc908167526cae555db74532db40f889fe1d (patch) | |
| tree | abfff919753525ab8774866744a608e236770f6d | |
| parent | a5fcc8951b1107c6fd32b670e0e9919e53349bcf (diff) | |
| download | gcc-1c82cc908167526cae555db74532db40f889fe1d.tar.gz | |
PR c++/9898, PR c++/383, DR 322
cp:
PR c++/9898, PR c++/383, DR 322
* pt.c (maybe_adjust_types_for_deduction) [DEDUCE_CONV]: Look
through reference types on both PARM and ARG.
testsuite:
PR c++/9898, c++/383
* g++.dg/template/conv6.C: New test.
From-SVN: r64815
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/conv6.C | 24 |
4 files changed, 39 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 8cc29882ab9..b2d4f795a78 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,4 +1,10 @@ 2003-03-24 Nathan Sidwell <nathan@codesourcery.com> + + PR c++/9898, PR c++/383, DR 322 + * pt.c (maybe_adjust_types_for_deduction) [DEDUCE_CONV]: Look + through reference types on both PARM and ARG. + +2003-03-24 Nathan Sidwell <nathan@codesourcery.com> PR c++/10119 * error.c (dump_expr) [BASELINK]: Use dump_expr. diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index aa9a2c72802..3557f9fec71 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -8753,6 +8753,12 @@ maybe_adjust_types_for_deduction (strict, parm, arg) *parm = TREE_TYPE (*parm); result |= UNIFY_ALLOW_OUTER_MORE_CV_QUAL; } + + /* DR 322. For conversion deduction, remove a reference type on parm + too (which has been swapped into ARG). */ + if (strict == DEDUCE_CONV && TREE_CODE (*arg) == REFERENCE_TYPE) + *arg = TREE_TYPE (*arg); + return result; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a5f853a4e28..cb6e0971f26 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2003-03-24 Nathan Sidwell <nathan@codesourcery.com> + PR c++/9898, c++/383 + * g++.dg/template/conv6.C: New test. + PR c++/10119 * g++.dg/template/ptrmem5.C: New test. diff --git a/gcc/testsuite/g++.dg/template/conv6.C b/gcc/testsuite/g++.dg/template/conv6.C new file mode 100644 index 00000000000..2a4a29952d5 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/conv6.C @@ -0,0 +1,24 @@ +// { dg-do compile } + +// Copyright (C) 2003 Free Software Foundation, Inc. +// Contributed by Nathan Sidwell 21 Mar 2003 <nathan@codesourcery.com> + +// PR 9898, DR 322. Conversion to reference type. + +template <typename> struct Ref {}; +template <typename> struct Val {}; + +struct Wrapper +{ + template <typename U> operator Ref<U> & (); + template <typename U> operator Val<U> (); +}; + +void Foo (Wrapper l) +{ + static_cast <Ref<int> &> (l); + static_cast <Ref<int> const &> (l); + static_cast <Ref<int> > (l); + static_cast <Val<int> const &> (l); + static_cast <Val<int> > (l); +} |