This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug sanitizer/81040] asan false negative if parameter of a global function passed by reference
- From: "ryabinin.a.a at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 13 Jun 2017 08:58:26 +0000
- Subject: [Bug sanitizer/81040] asan false negative if parameter of a global function passed by reference
- Auto-submitted: auto-generated
- References: <bug-81040-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81040
--- Comment #4 from Andrey Ryabinin <ryabinin.a.a at gmail dot com> ---
(In reply to Martin Liška from comment #3)
> As mentioned by Richard, currently ASAN is able to protect function
> variables that live on stack. In your case the function foo is called with
> constant that is then assigned a stack slot which we don't instrument with
> red zones.
Exactly, that's the problem. That stack slot should be instrumented with
redzones. Surely compiler is capable of doing this. Clang does this.
So I don't understand why you closed this as WONTFIX.