]> git.ipfire.org Git - thirdparty/gcc.git/commit
re PR tree-optimization/55936 (Missed VRP optimization)
authorRichard Biener <rguenther@suse.de>
Thu, 3 Mar 2016 09:12:53 +0000 (09:12 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Thu, 3 Mar 2016 09:12:53 +0000 (09:12 +0000)
commita75f5e30cc27568bbc2bc0629425598e89bf9059
tree05f432bea9dada8406010e5ee06973c6c266c6bb
parent0a67ef4c4de7bf55d3ef3c7bc61a9480e0d213bd
re PR tree-optimization/55936 (Missed VRP optimization)

2016-03-03  Richard Biener  <rguenther@suse.de>

PR tree-optimization/55936
* tree-vrp.c (compare_name_with_value): Add use_equiv_p
parameter and guard unsafe equivalence use.
(vrp_evaluate_conditional_warnv_with_ops): Always use
safe equivalences but not via the quadratic compare_names
helper.

* gcc.dg/tree-ssa/vrp06.c: Remove XFAIL.

From-SVN: r233928
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/vrp06.c
gcc/tree-vrp.c