2010-04-15 Richard Guenther <rguenther@suse.de>
commit1906633505b0c628d4fe51838bef4428c19eb1b2
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 15 Apr 2010 13:46:42 +0000 (15 13:46 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 15 Apr 2010 13:46:42 +0000 (15 13:46 +0000)
tree9f47d552a5e4619d399c0bfb0bdaae297430f0ed
parent6943c6fd055cae2819555e58b4ccca00f1ce3301
2010-04-15  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/branches/gcc-4_5-branch@158377 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