[Bug ada/25900] [4.2 Regression] ICE on ACATS cxac004 in Tree-VRP

[law at gcc dot gnu dot org]

------- Comment #7 from law at gcc dot gnu dot org  2006-01-26 17:14 -------
Subject: Bug 25900

Author: law
Date: Thu Jan 26 17:14:22 2006
New Revision: 110261

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=110261
Log:
        PR ada/25900
        * tree-vrp.c (extract_range_from_assert): When merging a VR_RANGE
        with a VR_ANTI_RANGE and the VR_ANTI_RANGEis completely contained
        within the VR_RANGE, use the VR_RANGE as the result, not the
        VR_ANTI_RANGE.
        (adjust_range_with_scev): Reject ranges from SCEV which are out
        of bounds for the type.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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