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

   1 // PR c++/19989
   2 // Don't instantiate a function template if it would generate an
   3 //   array of size zero.
   4
   5 // { dg-do compile }
   6
   7 template<int T> struct cl {
   8   const static int value = T;
   9 };
  10
  11 template<int I> void fn (char (*) [cl<I>::value] = 0 ); // { dg-error "zero-size array" }
  12
  13 void foo (void)
  14 {
  15   fn<0> ();  // { dg-error "no matching function" }
  16 }
  17