summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/template/partial1.C
blob: 41ea530396962987bbaa5c735a85f94cdb98100a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
// { 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();
}