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
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
