projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4e18df) | patch
re PR ada/25900 (ICE on ACATS cxac004 in Tree-VRP)
authorJeff Law <law@gcc.gnu.org>
Thu, 26 Jan 2006 17:14:22 +0000 (10:14 -0700)
committerJeff Law <law@gcc.gnu.org>
Thu, 26 Jan 2006 17:14:22 +0000 (10:14 -0700)
commit4f67dfcf24affdc0336fbfc0ff0611251c9703be
treed7efed4195e58d47f1a7e0e6040b9772010a5665tree
parentf4e18df2dea8047a58a70c3583132797da83ca8acommit | diff
re PR ada/25900 (ICE on ACATS cxac004 in Tree-VRP)

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.

From-SVN: r110261
gcc/ChangeLog diff | blob | history
gcc/tree-vrp.c diff | blob | history