1// { dg-do run  }
2extern "C" void abort ();
3
4template <int a> int fact ()
5{
6  return 0;
7}
8
9template <> int fact<1> ()
10{
11  return 1;
12}
13
14int main()
15{
16  if (fact<3> () != 0 || fact<1> () != 1
17      || fact<3> () != 0 || fact<1> () != 1 || fact<1+0> () != 1)
18    abort ();
19}
20