https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83819 Bug 83819 depends on bug 91315, which changed state.
Bug 91315 Summary: missing strlen lower bound of a string known to be at least N characters https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91315 What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED
