// { dg-do run } // Origin: Jo Totland <jototland@hotmail.com> // PR c++/6620 // Partial specialization involving expression of non-type template // parameter causes ICE. extern "C" void abort(); template <int N> struct HoldInt { }; template <class A, class B> struct Add { }; template <int N> struct Add<HoldInt<N>, HoldInt<-N> > { typedef int type; int f() { return 0; } }; template <int N, int M> struct Add<HoldInt<N>, HoldInt<M> > { typedef HoldInt<N+M> type; int f() { return 1; } }; int main() { Add<HoldInt<1>, HoldInt<-1> > a; Add<HoldInt<1>, HoldInt<-2> > b; if (a.f() != 0 || b.f() != 1) abort(); }