[Bug middle-end/38934] [4.3/4.4 Regression] ICE in set_value_range, at tree-vrp.c:398

[jakub at gcc dot gnu dot org]

------- Comment #21 from jakub at gcc dot gnu dot org  2009-01-28 10:40 -------
Subject: Bug 38934

Author: jakub
Date: Wed Jan 28 10:40:06 2009
New Revision: 143723

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143723
Log:
        PR middle-end/38934
        * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR
        set to varying whenever max has TREE_OVERFLOW set, similarly
        for GE_EXPR and GT_EXPR and TREE_OVERFLOW min.

        * gcc.dg/pr38934.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr38934.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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