account that every pointer in scope might be an alias of the resulting
value. __attribute_malloc__ fixes that. (Disabled for non-GCC compilers)
What about erealloc? It can return the same pointer as
passed to it.
GNU C realloc() does have the __attribute__((malloc)) itself. This seems reasonable, because, from a strict-aliasing point of view, the result of the function is either a new 'fresh' pointer, or equal to the first argument passed to realloc(), to which the strict-aliasing rules apply already.
Ard