r158377 - in /branches/gcc-4_5-branch/gcc: Chan...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Thu Apr 15 13:46:42 2010
New Revision: 158377

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158377
Log:
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.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/tree-ssa/vrp49.c
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_5-branch/gcc/tree-vrp.c