[Bug sanitizer/80879] False positive for -fsanitize-address-use-after-scope

[marxin at gcc dot gnu.org]

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

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Thu Jun 22 11:41:09 2017
New Revision: 249551

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

2017-06-22  Martin Liska  <mli...@suse.cz>

        Backport from mainline
        2017-06-19  Martin Liska  <mli...@suse.cz>

        PR sanitizer/80879
        * gimplify.c (gimplify_switch_expr):
        Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST.
2017-06-22  Martin Liska  <mli...@suse.cz>

        Backport from mainline
        2017-06-19  Martin Liska  <mli...@suse.cz>

        PR sanitizer/80879
        * gcc.dg/asan/use-after-scope-switch-4.c: New test.

Added:
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/asan/use-after-scope-switch-4.c
Modified:
    branches/gcc-7-branch/gcc/ChangeLog
    branches/gcc-7-branch/gcc/gimplify.c
    branches/gcc-7-branch/gcc/testsuite/ChangeLog