Re: [PATCH] Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST (PR sanitizer/80879).
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> 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 > > * gimplify.c (gimplify_switch_expr): > Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST. > > gcc/testsuite/ChangeLog: > > 2017-05-25 Martin Liska > > * gcc.dg/asan/use-after-scope-switch-4.c: New test. Ok, thanks. Jakub
Re: [PATCH] Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST (PR sanitizer/80879).
PING^2 On 06/06/2017 08:58 AM, Martin Liška wrote: > PING^1 > > On 05/26/2017 01:05 PM, 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 >> >
Re: [PATCH] Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST (PR sanitizer/80879).
PING^1 On 05/26/2017 01:05 PM, 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