https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 60669, which changed state.
Bug 60669 Summary: VRP misses asserts for some already defined statements https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60669 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |FIXED
