From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 31305 invoked by alias); 19 Jun 2017 13:23:41 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 25016 invoked by uid 89); 19 Jun 2017 13:23:35 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,SPF_HELO_PASS,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 spammy= X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 19 Jun 2017 13:23:34 +0000 Received: from smtp.corp.redhat.com (int-mx01.intmail.prod.int.phx2.redhat.com [10.5.11.11]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id 4FB8864C5; Mon, 19 Jun 2017 13:23:36 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mx1.redhat.com 4FB8864C5 Authentication-Results: ext-mx09.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com Authentication-Results: ext-mx09.extmail.prod.ext.phx2.redhat.com; spf=pass smtp.mailfrom=jakub@redhat.com DKIM-Filter: OpenDKIM Filter v2.11.0 mx1.redhat.com 4FB8864C5 Received: from tucnak.zalov.cz (ovpn-116-68.ams2.redhat.com [10.36.116.68]) by smtp.corp.redhat.com (Postfix) with ESMTPS id D6D0218989; Mon, 19 Jun 2017 13:23:35 +0000 (UTC) Received: from tucnak.zalov.cz (localhost [127.0.0.1]) by tucnak.zalov.cz (8.15.2/8.15.2) with ESMTP id v5JDNWuw024729; Mon, 19 Jun 2017 15:23:32 +0200 Received: (from jakub@localhost) by tucnak.zalov.cz (8.15.2/8.15.2/Submit) id v5JDNVkB023044; Mon, 19 Jun 2017 15:23:31 +0200 Date: Mon, 19 Jun 2017 13:23:00 -0000 From: Jakub Jelinek To: Martin =?utf-8?B?TGnFoWth?= Cc: GCC Patches Subject: Re: [PATCH] Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST (PR sanitizer/80879). Message-ID: <20170619132331.GO2123@tucnak> Reply-To: Jakub Jelinek References: <08849f53-06b3-ab85-d524-7d291d9ab509@suse.cz> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <08849f53-06b3-ab85-d524-7d291d9ab509@suse.cz> User-Agent: Mutt/1.7.1 (2016-10-04) X-IsSubscribed: yes X-SW-Source: 2017-06/txt/msg01301.txt.bz2 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