https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80936
Eric Gallager <egallager at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |INVALID
--- Comment #3 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to Eric Gallager from comment #2)
> Comment in builtins.def says:
>
> /* bcmp, bcopy and bzero have traditionally accepted NULL pointers
> when the length parameter is zero, so don't apply attribute "nonnull". */
>
> svn blame says Kaveh Ghazi wrote that comment; cc-ing him
I'm thinking that this comment means that the current behavior is intentional,
in which case there's no bug here.
