This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/44629] [4.3 Regression] ICE in unify, at cp/pt.c:15155
- From: "jason at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 10 Mar 2011 02:48:53 +0000
- Subject: [Bug c++/44629] [4.3 Regression] ICE in unify, at cp/pt.c:15155
- Auto-submitted: auto-generated
- References: <bug-44629-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44629
--- Comment #13 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-10 02:48:48 UTC ---
(In reply to comment #12)
> I'm confused why this would be an overload set. cmp1 is a template so I
> can't see how this code would even begin to be valid without specifying
> the template argument in the default argument...
Once you know A's T, you have a desired type int (*)(T, T) from which to
determine which specialization of the template to use.