http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50189
--- Comment #15 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-12 15:13:04 UTC --- Author: rguenth Date: Wed Oct 12 15:12:58 2011 New Revision: 179856 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179856 Log: 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_6-branch/gcc/testsuite/g++.dg/torture/pr50189.C Modified: branches/gcc-4_6-branch/gcc/ChangeLog branches/gcc-4_6-branch/gcc/testsuite/ChangeLog branches/gcc-4_6-branch/gcc/tree-vrp.c