[Bug tree-optimization/54767] [4.7 Regression] Incorrect code generated with "-O2 -fcheck=bounds"

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54767

--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> 2013-02-05 12:54:17 UTC ---
Author: rguenth
Date: Tue Feb  5 12:54:12 2013
New Revision: 195754

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195754
Log:
2013-02-05  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/54767
    * tree-vrp.c (vrp_visit_phi_node): For PHI arguments coming via
    backedges drop all symbolical range information.
    (execute_vrp): Compute backedges.

    * gfortran.fortran-torture/execute/pr54767.f90: New testcase.

Added:
   
branches/gcc-4_7-branch/gcc/testsuite/gfortran.fortran-torture/execute/pr54767.f90
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/tree-vrp.c