Advanced Aliasing
Programmer knows much more about pointer usage than compiler.
-OPT:alias=restrict - all pointer variables are assumed to point to non-overlapping regions of memory.
-OPT:alias=disjoint - all pointer expressions are assumed to point to non-overlapping regions of memory.
Very important for C programs.