https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88575 Bug 88575 depends on bug 110199, which changed state.
Bug 110199 Summary: [12/13 Regression] Missing VRP transformation with MIN_EXPR and known relation https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110199 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
