[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 #12 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Tue Sep 25 06:50:30 2018
New Revision: 264557

URL: https://gcc.gnu.org/viewcvs?rev=264557&root=gcc&view=rev
Log:
Backport r264528

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

        Backport from mainline
        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-25  Martin Liska  <mliska@suse.cz>

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

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

Added:
    branches/gcc-8-branch/gcc/testsuite/g++.dg/asan/pr85774.C
Modified:
    branches/gcc-8-branch/gcc/ChangeLog
    branches/gcc-8-branch/gcc/asan.c
    branches/gcc-8-branch/gcc/asan.h
    branches/gcc-8-branch/gcc/cfgexpand.c
    branches/gcc-8-branch/gcc/testsuite/ChangeLog