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 
7 int ret = 1;
8 
9 template <int> struct X
10 {
XX11   X(int) { }
~XX12   ~X() { ret = 0; }
13 };
14 
main()15 int main()
16 {
17   {
18     X<0> array[] = { 0 };
19   }
20   return ret;
21 }
22