[Bug sanitizer/81094] -fsanitize=object-size does not instrument aggregate call arguments

[jakub at gcc dot gnu.org]

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

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Jun 16 09:13:28 2017
New Revision: 249239

URL: https://gcc.gnu.org/viewcvs?rev=249239&root=gcc&view=rev
Log:
        PR sanitizer/81094
        * ubsan.c (instrument_null): Add T argument, use it instead
        of computing it based on IS_LHS.
        (instrument_object_size): Likewise.
        (pass_ubsan::execute): Adjust instrument_null and
        instrument_object_size callers to pass gimple_get_lhs or
        gimple_assign_rhs1 result to it.  Use instrument_null instead of
        calling get_base_address and instrument_mem_ref.  Handle
        aggregate call arguments for object-size sanitization.

        * c-c++-common/ubsan/object-size-11.c: New test.

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/object-size-11.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/ubsan.c