[Bug sanitizer/85774] Incorrect stack-use-after-scope caused by missing cleanup of shadow bytes

[marxin at gcc dot gnu.org]

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

--- Comment #10 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Mon Sep 24 11:22:38 2018
New Revision: 264528

URL: https://gcc.gnu.org/viewcvs?rev=264528&root=gcc&view=rev
Log:
Unpoison variable partition properly (PR sanitizer/85774).

2018-09-24  Martin Liska  <mliska@suse.cz>

        PR sanitizer/85774
        * asan.c: Make asan_handled_variables extern.
        * asan.h: Likewise.
        * cfgexpand.c (expand_stack_vars): Make sure
        a representative is unpoison if another
        variable in the partition is handled by
        use-after-scope sanitization.
2018-09-24  Martin Liska  <mliska@suse.cz>

        PR sanitizer/85774
        * g++.dg/asan/pr85774.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/asan/pr85774.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/asan.c
    trunk/gcc/asan.h
    trunk/gcc/cfgexpand.c
    trunk/gcc/testsuite/ChangeLog