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