// { 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();}