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; |