[Bug c++/68767] [6 regression] spurious warning: null argument where non-null required

[jason at gcc dot gnu.org]

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

--- Comment #13 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Mon Jan 18 15:54:14 2016
New Revision: 232522

URL: https://gcc.gnu.org/viewcvs?rev=232522&root=gcc&view=rev
Log:
        PR c++/68767
gcc/c-family/
        * c-common.c (check_function_arguments_recurse): Fold the whole
        COND_EXPR, not just the condition.
gcc/cp/
        * cp-gimplify.c (cp_fold) [COND_EXPR]: Simplify.  Do fold COND_EXPR.
        (contains_label_1, contains_label_p): Remove.

Added:
    trunk/gcc/testsuite/g++.dg/warn/Wnonnull2.C
Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-common.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-gimplify.c