https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83959
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
I agree that it would be valuable to detect this class of bugs, including all
other such invalid uses of character arrays that aren't nul-terminated (e.g.,
strlen(a)), and perhaps even those that aren't initialized. I think the most
suitable pass to detect these bugs is tree-ssa-strlen. For the printf-family
of functions, integrating the gimple-ssa-sprintf pass would be a good approach.
(By integrating I don't necessarily mean at the source code level but rather
by having the strlen pass drive and call into the sprintf code).
This request is a duplicate of pr71501.
*** This bug has been marked as a duplicate of bug 71501 ***
