https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> --- Hmm. It is not eliminated until VRP1 now. Looks like something in EVRP. lets see...
amacleod at redhat dot com via Gcc-bugs Tue, 10 Jan 2023 08:55:04 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> --- Hmm. It is not eliminated until VRP1 now. Looks like something in EVRP. lets see...