5.2.1.6 #pragma may_not_point_to (pointer, variable [, variable] …)

此 pragma 指定，在命名指针变量的任何非关联化点，正被非关联化的指针值不指向任何命名变量中包含的对象。此 pragma 覆盖所有其他应用的别名级别。在以下示例中，编译器假定对 *p 的任何间接访问不将直接访问 a、b 或 c 作为别名。

#pragma may_not_point_to(p, a, b, c)