🚀 go-pugleaf

I accidently discovered that the following code compiles and executes using my
favourite compiler:

#include <iostream.h>
#include <stddef.h>

void* operator new(unsigned sz,const char*,int)
{
  return ::operator new(sz);
}

struct Foo { Foo(); ~Foo(); };

Foo::Foo()  { cerr << "Foo::Foo[this==" << (void*)this << ']' << endl; }
Foo::~Foo() { cerr << "Foo::~Foo[this==" << (void*)this << ']' << endl; }

main()
{
  Foo* p = new(__FILE__,__LINE__) Foo[ 42 ];
  delete[] p;
}



(1) Is it legal C++?
(2) If so, what should the behavior be?

In my environment (HP-UX 9.x, C++ A.03.05) the Foo::Foo's are called but the
Foo::~Foo's are not called.  If i change new(__FILE__,__LINE__) to just new the
destructors get called as expected.

-- 
John Hickin      Bell-Northern Research, Montreal, Quebec
(514) 765-7924   hickin@bnr.ca