On Mon, Apr 14, 2014 at 8:46 AM, Jan Hubicka <hubi...@ucw.cz> wrote: >> At the last C++ meeting I got the committee to accept wording that >> ought to allow us to set DECL_IS_MALLOC on the built-in operator >> new: >> >> Furthermore, for the library allocation functions in 18.6.1.1 >> [new.delete.single] and 18.6.1.2 [new.delete.array], p0 shall point >> to a block of storage disjoint from the storage for any other object >> accessible to the caller. > > Amazing, thanks a lot!
That leaves out the possibility of implementations initializing the new memory (basically it's an issue when objects already reachable to the caller are now reachable indirectly through the newly allocated and initialized memory). Richard. > Honza
