🚀 go-pugleaf

Further to the global initialisation/cleanup discussion, can anyone tell me
when `woggle::~woggle' is called in the following program ?  Is undefined
behaviour invoked ?

If you think that the program is non-conforming (aside from any
typographical mistakes that I make, which I'm sure that you'll overlook in
view of the latesness of the hour, and the fact that I'm typing this in by
hand) please explain where and why it is non-conforming.

//
//  **************************************************************
//	WOGGLE     -- Jonathan de Boyne Pollard  19951111
//  **************************************************************
//

#include <stdlib.h>

class woggle {
public:
	char * p ;
	woggle() p(new(nothrow()) char) {}
	~woggle() { char * q = p ; p = 0 ; delete q ; }
} ;

void * 
std::operator new ( size_t s, const std::nothrow & ) throw()
{ 
	return malloc(s) ; 
}

void 
std::operator delete ( void * p ) throw()
{
	static woggle w ;
	*w.p = ' ' ;
	free(p) ;
}

int
main ( int, char ** )
{
	delete new(nothrow()) char ;
	return EXIT_SUCCESS ;
}
---
[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]