https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115526
Andreas K. Huettel <dilfridge at gentoo dot org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amacleod at redhat dot com --- Comment #5 from Andreas K. Huettel <dilfridge at gentoo dot org> --- I tried bisecting this, and the result is ... puzzling. a291237b628f419d7f7ac264dd7b42947b565222 is the first bad commit commit a291237b628f419d7f7ac264dd7b42947b565222 Author: Andrew MacLeod <amacl...@redhat.com> Date: Tue Oct 31 11:51:34 2023 -0400 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 | 30 ++++++++++++++++++++++++++++++ gcc/value-range.h | 2 ++ 2 files changed, 32 insertions(+) bisect found first bad commit