5.2.1.3 #pragma may_point_to (pointer, variable [, variable] …)

此 pragma 指定，在命名指针变量的任何非关联化点，正被非关联化的指针值可以指向任何命名变量中包含的对象。但是，指针并不仅限于命名变量中包含的对象，可以指向列表中未包含的对象。此 pragma 覆盖应用的任何别名级别的别名假定。在以下示例中，编译器假定对 *p 的任何间接访问的别名可以是任何直接访问 a、b 和 c。

#pragma alias may_point_to(p, a, b, c)