]> gcc.gnu.org Git - gcc.git/commit
Remove simple ranges from trailing zero bitmasks.
authorAndrew MacLeod <amacleod@redhat.com>
Tue, 31 Oct 2023 15:51:34 +0000 (11:51 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Fri, 3 Nov 2023 16:54:50 +0000 (12:54 -0400)
commita291237b628f419d7f7ac264dd7b42947b565222
treeaa34be42614ff3921c052cbaf49045653e6ea82f
parent751fc7bcdcdf25e7cc0d9821f69313b6571a62e3
Remove simple ranges from trailing zero bitmasks.

During the intersection operation, it can be helpful to remove any
low-end ranges when the bitmask has trailing zeros.  This prevents
obviously incorrect ranges from appearing without requiring a bitmask
check.

* value-range.cc (irange_bitmask::adjust_range): New.
(irange::intersect_bitmask): Call adjust_range.
* value-range.h (irange_bitmask::adjust_range): New prototype.
gcc/value-range.cc
gcc/value-range.h
This page took 0.065616 seconds and 5 git commands to generate.