https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93249
--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> --- "Proven not to contain any zeros in the first N bytes" where N is the source offset in strncpy, would suggest the strlen pass might be more suitable for this transformation than DSE.