[Bug c++/12883] destructor of array object not called if no prior instantiation of the template has happened

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-04-01 13:59 -------
A very similar problem is reported in PR 14779, though that one 
only fails with 3.3.x and no other branch. 
 
W. 

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12883