1// PR c++/12883
2// Bug: Destructor of array object not called if no prior
3// instantiation of the template has happened.
4
5// { dg-do run }
6
7int ret = 1;
8
9template <int> struct X
10{
11  X(int) { }
12  ~X() { ret = 0; }
13};
14
15int main()
16{
17  {
18    X<0> array[] = { 0 };
19  }
20  return ret;
21}
22