[Bug c++/44629] [4.3 Regression] ICE in unify, at cp/pt.c:15155

[bangerth at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44629

Wolfgang Bangerth <bangerth at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bangerth at gmail dot com

--- Comment #12 from Wolfgang Bangerth <bangerth at gmail dot com> 2011-03-09 21:52:52 UTC ---
(In reply to comment #4)
> template<typename T> int cmp1(T a, T b);
> template<typename T> int cmp2(T a, T b);
> template<typename T, int (*cmp)(T, T) = cmp1> struct A { };

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...

W.