#pragma returns_new_memory (funcname[, funcname])
This pragma asserts that the return value of the specified functions does not alias with any memory at the call site. In effect, this call returns a new memory location. This information enables the optimizer to better track pointer values and clarify memory location, resulting in improved scheduling, pipelining, and parallelization of loops. However, if the assertion is false, the behavior of the program is undefined.
This pragma is permitted only after the specified functions are declared with a prototype or empty parameter list as shown in the following example.
void *malloc(unsigned); #pragma returns_new_memory(malloc)