http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54767
--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-10-01 18:01:26 UTC --- Confirmed. For the failure, it is sufficient to use: gfortran -fcheck=bounds -O1 -fstrict-overflow -ftree-pre -ftree-vrp xxx_2.f (xxx_1.f can be compiled with any option.)