re PR tree-optimization/54767 (Incorrect code generated with "-O2 -fcheck=bounds")
authorRichard Biener <rguenther@suse.de>
Wed, 16 Jan 2013 13:57:48 +0000 (13:57 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 16 Jan 2013 13:57:48 +0000 (13:57 +0000)
commitc25a0c60a5893ae7f4ba309b5b3bb2f336873683
treebf26002dab1b0a5d65c7eb332ee9ec6f9b197e26
parent04b535af39f1c081d95961e4a7b0a0818182a7a6
re PR tree-optimization/54767 (Incorrect code generated with "-O2 -fcheck=bounds")

2013-01-16  Richard Biener  <rguenther@suse.de>

PR tree-optimization/54767
PR tree-optimization/53465
* tree-vrp.c (vrp_meet_1): Revert original fix for PR53465.
(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.

From-SVN: r195238
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gfortran.fortran-torture/execute/pr54767.f90 [new file with mode: 0644]
gcc/tree-vrp.c