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()15int main() 16 { 17 { 18 X<0> array[] = { 0 }; 19 } 20 return ret; 21 } 22