This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [C++ patch] Set attributes for C++ runtime library calls
- From: Alexander Monakov <amonakov at ispras dot ru>
- To: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- Cc: Jan Hubicka <hubicka at ucw dot cz>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Jason Merrill <jason at redhat dot com>
- Date: Thu, 22 Aug 2013 18:38:56 +0400 (MSK)
- Subject: Re: [C++ patch] Set attributes for C++ runtime library calls
- References: <20130822131927 dot GA18084 at kam dot mff dot cuni dot cz> <CAAiZkiDRZj-Fzy2+zUo9Z2B5ShvJ6K_duNyX1SKfrEZeX1NNZQ at mail dot gmail dot com>
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