[Bug tree-optimization/80936] bcmp, bcopy, and bzero not declared nonnull

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80936

--- Comment #8 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Wed Oct  2 22:00:42 2019
New Revision: 276491

URL: https://gcc.gnu.org/viewcvs?rev=276491&root=gcc&view=rev
Log:
PR tree-optimization/80936 - bcmp, bcopy, and bzero not declared nonnull

gcc/testsuite/ChangeLog:

        PR tree-optimization/80936
        * gcc.dg/Wnonnull-2.c: New test.
        * gcc.dg/Wnonnull-3.c: New test.
        * gcc.dg/nonnull-3.c: Expect more warnings.

gcc/ChangeLog:

        PR tree-optimization/80936
        * builtins.def (bcmp, bcopy, bzero): Declare nonnull.

Added:
    trunk/gcc/testsuite/gcc.dg/Wnonnull-2.c
    trunk/gcc/testsuite/gcc.dg/Wnonnull-3.c
Modified:
    trunk/gcc/builtins.def
    trunk/gcc/testsuite/gcc.dg/nonnull-3.c