[PATCH] Fix PR c++/47172

Gabriel Dos Reis gdr@integrable-solutions.net
Thu Feb 10 21:08:00 GMT 2011


On Thu, Feb 10, 2011 at 2:51 PM, Dodji Seketeli <dodji@redhat.com> wrote:
> Jason Merrill <jason@redhat.com> writes:
>
>> On 02/10/2011 01:31 PM, Dodji Seketeli wrote:
>>> +      /* In a template scope, a call expression which
>>> +         id-expression is non-dependent is considered dependent if
>>> +         the implicit "this" is dependent.  Note that the
>>
>> To be a bit clearer, the implicit 'this' is an argument even though
>> our internal representation doesn't include it in *args, so we need to
>> consider it specifically.
>>
>> OK.
>
> I have re-worded the comment as below.

thanks.  A small nit:

>  /* Returns TRUE if the EXPRESSION is type-dependent, in the sense of
> -   [temp.dep.expr].  */
> +   [temp.dep.expr].  Note that an expression with no type is
> +   considered dependent.  Other parts of the compiler arrange for an
> +   expression with type-dependent subexpressions to have no type, so
> +   this function doesn't have be fully recursive.  */

missing "to" before "be fully".



More information about the Gcc-patches mailing list