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

This pragma specifies that the listed types do not alias each other. In the following example, the compiler assumes that any indirect access of *p does not alias the indirect access *ps.

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

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