// PR c++/12883
// Bug: Destructor of array object not called if no prior
// instantiation of the template has happened.

// { dg-do run }

int ret = 1;

template <int> struct X
{
  X(int) { }
  ~X() { ret = 0; }
}; 
 
int main()
{
  { 
    X<0> array[] = { 0 };
  }
  return ret;
}