[Bug sanitizer/81040] asan false negative if parameter of a global function passed by reference

[marxin at gcc dot gnu.org]

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

--- Comment #13 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Mon Jul  3 11:48:47 2017
New Revision: 249903

URL: https://gcc.gnu.org/viewcvs?rev=249903&root=gcc&view=rev
Log:
ASAN: handle addressable params (PR sanitize/81040).

2017-07-03  Martin Liska  <mliska@suse.cz>

        PR sanitize/81040
        * g++.dg/asan/function-argument-1.C: New test.
        * g++.dg/asan/function-argument-2.C: New test.
        * g++.dg/asan/function-argument-3.C: New test.
2017-07-03  Martin Liska  <mliska@suse.cz>

        PR sanitize/81040
        * sanopt.c (rewrite_usage_of_param): New function.
        (sanitize_rewrite_addressable_params): Likewise.
        (pass_sanopt::execute): Call rewrite_usage_of_param.

Added:
    trunk/gcc/testsuite/g++.dg/asan/function-argument-1.C
    trunk/gcc/testsuite/g++.dg/asan/function-argument-2.C
    trunk/gcc/testsuite/g++.dg/asan/function-argument-3.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/doc/extend.texi
    trunk/gcc/sanopt.c
    trunk/gcc/testsuite/ChangeLog