https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83819 Bug 83819 depends on bug 86427, which changed state.
Bug 86427 Summary: strlen not folded after strcpy into a zeroed-out local array https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86427 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |FIXED
