[Bug sanitizer/80797] -fsanitize=null doesn't instrument &s->x

[mpolacek at gcc dot gnu.org]

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

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Thu May 18 07:18:24 2017
New Revision: 248179

URL: https://gcc.gnu.org/viewcvs?rev=248179&root=gcc&view=rev
Log:
        PR sanitizer/80797
        * ubsan.c (instrument_null): Unwrap ADDR_EXPRs.
        (pass_ubsan::execute): Call gimple_assign_single_p instead of
        gimple_assign_load_p.

        * c-c++-common/ubsan/null-12.c: New test.

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/null-12.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/ubsan.c