This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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 <mliska@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  <mliska@suse.cz>
> 
> 	* gimplify.c (gimplify_switch_expr):
> 	Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST.
> 
> gcc/testsuite/ChangeLog:
> 
> 2017-05-25  Martin Liska  <mliska@suse.cz>
> 
> 	* gcc.dg/asan/use-after-scope-switch-4.c: New test.

Ok, thanks.

	Jakub


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]