2010-04-06 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Apr 2010 12:32:25 +0000 (12:32 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Apr 2010 12:32:25 +0000 (12:32 +0000)
commit33731620c0f4b4c8f1128f27c3f015052fac75ca
tree2f14f42f42d043356e4dcb409a2fe721ee4ea3b1
parent2fb69c7ac1a474c30db3d9e3a3806cb623179203
2010-04-06  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/43627
* tree-vrp.c (extract_range_from_unary_expr): Widenings
of [1, +INF(OVF)] go to [1, +INF(OVF)] of the wider type,
not varying.

* gcc.dg/tree-ssa/vrp49.c: New testcase.

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