destructor of static object not called

[Thomas Kunert <kunert at physik dot tu-dresden dot de>]

Hi,

The code

        #include <iostream>
	struct A {
	    void f(){};
	    A(){ std::cout << 1 << endl; }
	    ~A(){ for(;;); std::cout << 2 << endl;}
	};
	template<class T>
	struct B {
	    B(){ a.f(); }
	    static A a;
	};
	template <class T>
	A B<T>::a;
	int main()
	{
	    B<int> b;
	}




gives the output

	1

but should give  

	1
	2
. 

Regards,
Thomas Kunert