https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55155 Bug 55155 depends on bug 55157, which changed state.
Bug 55157 Summary: Missed VRP with != 0 and multiply https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55157 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED