[Bug middle-end/61335] New: [4.10 Regression] wrong code with -O2 -fbounds-check

["Joost.VandeVondele at mat dot ethz.ch" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61335

            Bug ID: 61335
           Summary: [4.10 Regression] wrong code with -O2 -fbounds-check
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: Joost.VandeVondele at mat dot ethz.ch

Created attachment 32868
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32868&action=edit
reduced testcase

The attached testcase is miscompiled with current trunk. A recent regression
caused in the day between good: r210955 and bad: r210994

To reproduce compile and run the attached testcase as :

> gfortran -O2 -fbounds-check cp_units.f90 ; ./a.out
 BUG : XXXfs^-1XXX integer expected
STOP 1

while e.g. '-O2' alone or '-fbound-check -O1' work fine.