On Thu, 22 Aug 2013, Gabriel Dos Reis wrote: > > - I would like to recall issue if we can make NEW_EXPR annotated with > > MALLOC attribute. Without it, it is basically impossible to track > > any dynamically allocated objects in the middle-end > > operator new is replaceable by user program.
But so is malloc? As I understand, the reason why "malloc" attribute is not applicable to operator new is "placement new", which returns aliased memory. Alexander