gcc-4.9/gcc/testsuite/g++.dg/template/sfinae2.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// PR c++/19989
// Don't instantiate a function template if it would generate an
//   array of size zero.

// { dg-do compile }

template<int T> struct cl {
  const static int value = T;
};

template<int I> void fn (char (*) [cl<I>::value] = 0 ); // { dg-error "zero-size array" }

void foo (void)
{
  fn<0> ();  // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 15 }
}