On Fri, May 26, 2017 at 01:05:28PM +0200, Martin Liška wrote:
> Hello.
>
> Unfortunately I guarded use-after-scope to track live switch variables just
> to BIND_EXPR. However the bind expression can be included in a STATEMENT_LIST.
> That enables proper tracking and fixes the test added.
>
> Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.
>
> Ready to be installed?
> Martin
> >From a7f63e228118b3f256d9e774fdeeb8c85c0da437 Mon Sep 17 00:00:00 2001
> From: marxin <mli...@suse.cz>
> Date: Thu, 25 May 2017 17:53:06 +0200
> Subject: [PATCH] Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST
> (PR sanitizer/80879).
>
> gcc/ChangeLog:
>
> 2017-05-25 Martin Liska <mli...@suse.cz>
>
> * gimplify.c (gimplify_switch_expr):
> Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST.
>
> gcc/testsuite/ChangeLog:
>
> 2017-05-25 Martin Liska <mli...@suse.cz>
>
> * gcc.dg/asan/use-after-scope-switch-4.c: New test.
Ok, thanks.
Jakub
