2013-11-26 Richard Biener <rguenther@suse.de>
commit3dad27e9f62890802f6e4e705dcd33e92fdb6c4f
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 26 Nov 2013 15:14:52 +0000 (26 15:14 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 26 Nov 2013 15:14:52 +0000 (26 15:14 +0000)
treea18efccf1d3300e4c9b27e6e22290bc25247ee31
parent7eaf2be0433b82ad4dd64271adaf1972a5730d08
2013-11-26  Richard Biener  <rguenther@suse.de>

PR tree-optimization/59245
* tree-vrp.c (set_value_range): Assert that we don't have
overflowed constants (but our infinities).
(set_value_range_to_value): Drop all overflow flags.
(vrp_visit_phi_node): Likewise.
(vrp_visit_assignment_or_call): Use set_value_range_to_value
to set a constant range.

* gcc.dg/torture/pr59245.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@205395 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr59245.c [new file with mode: 0644]
gcc/tree-vrp.c