[Bug middle-end/50189] [4.5/4.6 Regression] Wrong code error in -O2 [-fstrict-enums] compile, target independent

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50189

--- Comment #16 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-12 
15:16:17 UTC ---
Author: rguenth
Date: Wed Oct 12 15:16:14 2011
New Revision: 179857

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179857
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:
    trunk/gcc/testsuite/g++.dg/torture/pr50189.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c