update documentation

From-SVN: r19671

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 9eb5b3f46e2481c93a420825cf1cee4c285068c4..d6764b00a15690a0eddf52f538ac709aa3effa5a 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -5708,11 +5708,10 @@ type_unification (tparms, targs, parms, args, targs_in,
 
 /* Adjust types before performing type deduction, as described in
    [temp.deduct.call] and [temp.deduct.conv].  The rules in these two
-   sections are symmetric.  For calls, the value passed as PARM should
-   be a parameter to the template function, while ARG should be the
-   actual argument used in the call.  For conversions, PARM should be
-   the type required as the result of the conversion, while ARG should
-   be the return type of the template conversion function.  */
+   sections are symmetric.  PARM is the type of a function parameter
+   or the return type of the conversion function.  ARG is the type of
+   the argument passed to the call, or the type of the value
+   intialized with the result of the conversion function.  */
 
 void
 maybe_adjust_types_for_deduction (strict, parm, arg)
@@ -5727,8 +5726,9 @@ maybe_adjust_types_for_deduction (strict, parm, arg)
 
     case DEDUCE_CONV:
       {
-       /* Swap PARM and ARG; the handling is precisely symmetric since
-          PARM will initialize ARG rather than vice versa.  */
+       /* Swap PARM and ARG throughout the remainder of this
+          function; the handling is precisely symmetric since PARM
+          will initialize ARG rather than vice versa.  */
        tree* temp = parm;
        parm = arg;
        arg = temp;