[C++] init.c/build_new wrongly implements new-expression

[Gabriel Dos_Reis]

Alexandre Oliva <oliva@dcc.unicamp.br> writes:

| On May 25, 1999, Gabriel Dos_Reis <Gabriel.Dos_Reis@sophia.inria.fr> wrote:
| 
| > Checking whether the new-expression ends up by allocating sufficient
| > memory is part of the semantics of new-expression.
| 
| The problem is that determining how much is `sufficient' overflows ==> 
| undefined behavior, reboot the universe.

I still fail to see how undefined behaviour follows.

Is it drawn from the language definition?

-- Gaby