This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Bug 53289 - unnecessary repetition of caret diagnostics
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Manuel López-Ibáñez <lopezibanez at gmail dot com>
- Cc: Gcc Patch List <gcc-patches at gcc dot gnu dot org>, Jason Merrill <jason at redhat dot com>
- Date: Wed, 9 May 2012 16:05:08 -0500
- Subject: Re: Bug 53289 - unnecessary repetition of caret diagnostics
- References: <CAESRpQDrEVNp6A3LUAOaF68+p1ceQjPr0i_oHnz9V2gL4SKZPQ@mail.gmail.com>
On Wed, May 9, 2012 at 4:02 PM, Manuel López-Ibáñez
<lopezibanez@gmail.com> wrote:
> Simple enough. Bootstrapped and regression tested.
>
> The output for the example in the PR is now:
>
> /home/manuel/caret-overload.C:6:6: error: no matching function for
> call to ‘g(int)’
> ? g(1);
> ? ? ?^
> /home/manuel/caret-overload.C:6:6: note: candidate is:
> /home/manuel/caret-overload.C:2:18: note: template<class T> typename
> T::type g(T)
> ?typename T::type g(T);
> ? ? ? ? ? ? ? ? ?^
> /home/manuel/caret-overload.C:2:18: note: ? template argument
> deduction/substitution failed:
> /home/manuel/caret-overload.C: In substitution of ‘template<class T>
> typename T::type g(T) [with T = int]’:
> /home/manuel/caret-overload.C:6:6: ? required from here
> /home/manuel/caret-overload.C:2:18: error: ‘int’ is not a class,
> struct, or union type
>
> OK?
OK. Thanks,
-- Gaby