https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93644
--- Comment #6 from Jeffrey A. Law <law at redhat dot com> --- I think we might be able to do this in remove_range_assertions
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93644
--- Comment #6 from Jeffrey A. Law <law at redhat dot com> --- I think we might be able to do this in remove_range_assertions