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