https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93249
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
CC| |jakub at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Indeed, which means that either we only do tail trimming and not head trimming
for strncpy*, or allow head trimming for strncpy* as well, but only if the
source argument can be proven not to contain any zeros. The former change
would be trivial, the latter might need slightly more work, will look at it.
