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

["jason at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-invalid-code         |ice-on-valid-code
                 CC|                            |jason at gcc dot gnu.org
      Known to fail|                            |

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-04 00:54:56 UTC ---
Same ICE on valid testcase:

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 { };
template <typename T> void f (A<T> &);
void g()
{
  A<char> a;
  f(a);
}

though 3.4 didn't accept it, it gave the same sorry, so it isn't a big
regression.