| // 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; | |
| } |