From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 59598 invoked by alias); 12 Feb 2018 08:57:10 -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 51316 invoked by uid 89); 12 Feb 2018 08:57:00 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.3 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy=HX-Received:Mon X-HELO: mail-lf0-f67.google.com Received: from mail-lf0-f67.google.com (HELO mail-lf0-f67.google.com) (209.85.215.67) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 12 Feb 2018 08:56:58 +0000 Received: by mail-lf0-f67.google.com with SMTP id w10so6618536lfc.9 for ; Mon, 12 Feb 2018 00:56:57 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=ZrjoM1ini+rlRieAgKqM6CnNidWpImEzO7I580ZcOGU=; b=sPGQlTsv2MhLDp5EMidFcTreZOt5/MnqMJwoyfaSkTPmuSKUeJNCP5zchyRqWI9+El vWrPs5S0sivbjJg7a3r/w72Q2bm+BbXiw8rehgR4gR+IXV4WpYaSXkSVOQyWEoumBDrn oT31SumPhNIkjJTF09Mvm3WMrUMcOPj6mznwW6wkPgG0V7RfNVWfYb4KuNDOc5yKmrW8 kB6IdeGwcIziHprxnkmOB11PQiw5U5ugP/sqOgnvgCU63S2WCjflCdKrNjHr0rJZ76VK CON9y0+GWrN2sgHPNo3Lr/Oyqpl4ywcI6ZVpmb+50mMNaxowQl1ks1Rm8/WdXZ+JAKQO XfTQ== X-Gm-Message-State: APf1xPDUEGzGj8FCroiN82gqN9ztoIxCpknojtm70p9DCB3zrq/CwoMV tJdrVt61MIMDYP7uAMg96Vyw8V2s2gRpyJj0nUs= X-Google-Smtp-Source: AH8x226FzJuz57hUJ1+UTdmzMioy8PHczFVLwkkHgOI+ixrQpWc40Da59RN0Z+/45wZ7WVaYZnzJhGg/HeGdeKJ3Ygc= X-Received: by 10.25.163.68 with SMTP id m65mr6194742lfe.83.1518425815899; Mon, 12 Feb 2018 00:56:55 -0800 (PST) MIME-Version: 1.0 Received: by 10.46.51.21 with HTTP; Mon, 12 Feb 2018 00:56:55 -0800 (PST) In-Reply-To: <51F0785D-7117-447E-9D49-BD76CA47FC45@gmail.com> References: <1518192504-49084-1-git-send-email-bonzini@gnu.org> <2bd36577-88f0-2926-d777-ee9a11d315f4@gnu.org> <4FD5AE20-78E2-4741-A6CB-EA2B0AA3514F@gmail.com> <20180209180745.GK5867@tucnak> <51F0785D-7117-447E-9D49-BD76CA47FC45@gmail.com> From: Richard Biener Date: Mon, 12 Feb 2018 08:57:00 -0000 Message-ID: Subject: Re: [PATCH] Improve dead code elimination with -fsanitize=address (PR84307) To: Jakub Jelinek Cc: Paolo Bonzini , GCC Patches , marcandre.lureau@redhat.com, mliska@suse.cz Content-Type: text/plain; charset="UTF-8" X-IsSubscribed: yes X-SW-Source: 2018-02/txt/msg00625.txt.bz2 On Fri, Feb 9, 2018 at 9:10 PM, Richard Biener wrote: > On February 9, 2018 7:07:45 PM GMT+01:00, Jakub Jelinek wrote: >>On Fri, Feb 09, 2018 at 07:01:08PM +0100, Richard Biener wrote: >>> >which indeed fixes the testcase and seems not to break asan.exp. >>> >>> Huh. Need to double check why that makes sense ;) >> >>I think it does, for both ASAN_CHECK and ASAN_MARK the pointer argument >>is the second one, the first one is an integer argument with flags. >>And ASAN_MARK, both poison and unpoison, works kind like a clobber on >>the >>referenced variable, before unpoison it is generally inaccessible and >>after >>poison too. > > Ah, indeed. Which was an approval as well, in case you want to push this right now. Richard. > Richard. > >> Jakub >