re PR middle-end/42577 (array bounds false positive with -O3, goes away with -O2)
authorRichard Guenther <rguenther@suse.de>
Sat, 2 Jan 2010 19:14:52 +0000 (19:14 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Sat, 2 Jan 2010 19:14:52 +0000 (19:14 +0000)
commit1d86f5e9ecf0454eae2c3edc8eed7aafdf2c994e
tree73badf5e1d0ce4aae2c5377454a51793fdb34713
parent78ce4053fa82a756bf2cb1a9e60d95a4f3ba7b05
re PR middle-end/42577 (array bounds false positive with -O3, goes away with -O2)

2010-01-02  Richard Guenther  <rguenther@suse.de>

PR middle-end/42577
* tree-vrp.c (check_all_array_refs): Skip non-excutable blocks.
(simplify_switch_using_ranges): Mark to be removed edges
as non-executable.

From-SVN: r155577
gcc/ChangeLog
gcc/tree-vrp.c