[Bug c/85365] -Wrestrict false positives with -fsanitize=undefined

[msebor at gcc dot gnu.org]

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

--- Comment #7 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Fri Apr 20 23:43:51 2018
New Revision: 259535

URL: https://gcc.gnu.org/viewcvs?rev=259535&root=gcc&view=rev
Log:
PR c/85365 -  -Wrestrict false positives with -fsanitize=undefined

gcc/ChangeLog:

        PR c/85365
        * gimple-fold.c (gimple_fold_builtin_strcpy): Suppress -Wrestrict
        for null pointers.
        (gimple_fold_builtin_stxcpy_chk): Same.
        * gimple-ssa-warn-restrict.c (check_bounds_or_overlap): Same.

gcc/testsuite/ChangeLog:

        PR c/85365
        * gcc.dg/Wrestrict-15.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/Wrestrict-15.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple-ssa-warn-restrict.c
    trunk/gcc/testsuite/ChangeLog