B.2.17 #pragma returns_new_memory

#pragma returns_new_memory(name[,name...])

此 pragma 断言，每个指定的函数都返回新分配内存的地址，以及指针没有与任何其他指针相关的别名。该信息允许优化器更好地跟踪指针值并明确内存位置。这样可以改善调度和管线操作。

如果该断言为假，那么执行调用该函数的程序的结果是未定义的。

name 参数指定当前转换单元中函数的名称。Pragma 必须与函数在相同的作用域，并且必须在函数声明之后出现。pragma 必须在函数定义之前。

有关 pragma 如何将重载的函数名视为参数的更加详细的说明，请参见B.1.1 将函数作为 pragma 参数进行重载。