Intel® Fortran Compiler XE 13.1 User and Reference Guides
Tells the compiler to assume that the program adheres to Fortran Standard type aliasability rules.
Linux and OS X:
Programs adhere to Fortran Standard type aliasability rules.
This option tells the compiler to assume that the program adheres to type aliasability rules defined in the Fortran Standard.
For example, an object of type real cannot be accessed as an integer. For information on the rules for data types and data type constants, see "Data Types, Constants, and Variables" in the Language Reference.
This option directs the compiler to assume the following:
Arrays are not accessed out of arrays' bounds.
Pointers are not cast to non-pointer types and vice-versa.
References to objects of two different scalar types cannot alias. For example, an object of type integer cannot alias with an object of type real or an object of type real cannot alias with an object of type double precision.
If your program adheres to the Fortran Standard type aliasability rules, this option enables the compiler to optimize more aggressively. If it doesn't adhere to these rules, then you should disable the option with -no-ansi-alias (Linux* OS and OS X*) or /Qansi-alias- (Windows* OS) so the compiler does not generate incorrect code.