https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92955
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com
--- Comment #7 from Jeffrey A. Law <law at redhat dot com> ---
I think c#5 is over-reduced and a warning is warranted in both functions in
c#5. In those cases the loop iterates until it encounters a NUL in *p and can
trivially leave the bounds of the object.
The testcase in c#4 is far more interesting as we should be able to put limits
on the loop bounds because of the test before the loop.
