I believe the NAG Fortran compiler does check for some aliasing scenarios if not all. The argument intent is irrelevant.