[Bug sanitizer/79572] [6/7 Regression] reference binding to null pointer not reported with -fsanitize=undefined

[jakub at gcc dot gnu.org]

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

--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Mar 31 18:39:25 2017
New Revision: 246621

URL: https://gcc.gnu.org/viewcvs?rev=246621&root=gcc&view=rev
Log:
        PR c++/79572
        * c-ubsan.h (ubsan_maybe_instrument_reference): Change argument to
        tree *.
        * c-ubsan.c (ubsan_maybe_instrument_reference): Likewise.  Handle
        not just NOP_EXPR to REFERENCE_TYPE, but also INTEGER_CST with
        REFERENCE_TYPE.

        * cp-gimplify.c (cp_genericize_r): Sanitize INTEGER_CSTs with
        REFERENCE_TYPE.  Adjust ubsan_maybe_instrument_reference caller
        for NOP_EXPR to REFERENCE_TYPE.

        * g++.dg/ubsan/null-8.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/ubsan/null-8.C
Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-ubsan.c
    trunk/gcc/c-family/c-ubsan.h
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-gimplify.c
    trunk/gcc/testsuite/ChangeLog