5.2.1.4 #pragma noalias (type, type [, type]…)

このプラグマは、リストされている型が相互に別名設定しないことを指定します。次の例では、コンパイラは、間接アクセス *p が間接アクセス *ps を別名設定しないと仮定します。

struct S {
   float f;
   ...} *ps;

#pragma noalias(int, struct S)
int *p;