OSDN Git Service

PR ada/25900
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 26 Jan 2006 17:14:22 +0000 (17:14 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 26 Jan 2006 17:14:22 +0000 (17:14 +0000)
commita16bbe8bc359e78da30685bfb3cecf1885672235
treed7efed4195e58d47f1a7e0e6040b9772010a5665
parent51f0789f3db300550af81f690c71571a0927ab46
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110261 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/tree-vrp.c