http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50189
--- Comment #18 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-01-03 15:28:25 UTC --- Author: rguenth Date: Tue Jan 3 15:28:19 2012 New Revision: 182850 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182850 Log: 2012-01-03 Richard Guenther <rguent...@suse.de> Backport from mainline 2011-10-12 Paul Koning <pkon...@gcc.gnu.org> PR tree-optimization/50189 * tree-vrp.c (extract_range_from_assert): Use the type of the variable, not the limit. * g++.dg/torture/pr50189.C: New testcase. Added: branches/gcc-4_5-branch/gcc/testsuite/g++.dg/torture/pr50189.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
