H.J. Lu wrote:
It looks like gcc assumes a functon marked with DECL_IS_MALLOC won't return an address which can alias something else. But it isn't true for realloc. Now, the qestions are1. Can gcc make such an assumption? 2. Can realloc be marked as DECL_IS_MALLOC. BTW, glibc also marks realloc with __attribute_malloc__.
There was an absurdely long thread on this topic starting at <http://gcc.gnu.org/ml/gcc/2004-01/msg00005.html>. I didn't dig through it to find the answer.
HTH, - Tobi