// { dg-do compile } 
// { dg-options "-ftemplate-depth-15" }
template<unsigned int nFactor>
struct Factorial
{
  enum { nValue = nFactor * Factorial<nFactor - 1>::nValue }; // { dg-error "depth exceeds maximum" } 
  // { dg-message "skipping 5 instantiation contexts" "" { target *-*-* } 6 } 
  // { dg-error "incomplete type" "" { target *-*-* } 6 } 
} 

  template<> // { dg-error "expected" } 
  struct Factorial<0>
  {
    enum { nValue = 1 };
  }

    static const unsigned int FACTOR = 20;

int main()
{
  Factorial<FACTOR>::nValue;
  return 0;
}