2016-03-03 Richard Biener <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 3 Mar 2016 09:12:53 +0000 (09:12 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 3 Mar 2016 09:12:53 +0000 (09:12 +0000)
commit5dd12e436a086895d97036e63c5f9fd33fd226f5
tree05f432bea9dada8406010e5ee06973c6c266c6bb
parentdf46fd5e81d3c1113418c55aead6258d0aba16ee
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@233928 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/vrp06.c
gcc/tree-vrp.c