From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2454 invoked by alias); 12 Feb 2018 12:10:25 -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 2439 invoked by uid 89); 12 Feb 2018 12:10:24 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-3.1 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_LOW,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 spammy= X-HELO: mx1.redhat.com Received: from mx3-rdu2.redhat.com (HELO mx1.redhat.com) (66.187.233.73) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 12 Feb 2018 12:10:23 +0000 Received: from smtp.corp.redhat.com (int-mx05.intmail.prod.int.rdu2.redhat.com [10.11.54.5]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id 84E6D4040093; Mon, 12 Feb 2018 12:10:14 +0000 (UTC) Received: from tucnak.zalov.cz (ovpn-204-85.brq.redhat.com [10.40.204.85]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 6828AFD91A; Mon, 12 Feb 2018 12:10:05 +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 w1CCA2ug003294; Mon, 12 Feb 2018 13:10:03 +0100 Received: (from jakub@localhost) by tucnak.zalov.cz (8.15.2/8.15.2/Submit) id w1CCA0ZY003293; Mon, 12 Feb 2018 13:10:00 +0100 Date: Mon, 12 Feb 2018 12:10:00 -0000 From: Jakub Jelinek To: Paolo Bonzini Cc: Richard Biener , GCC Patches , marcandre.lureau@redhat.com, mliska@suse.cz Subject: Re: [PATCH] Improve dead code elimination with -fsanitize=address (PR84307) Message-ID: <20180212121000.GZ5867@tucnak> Reply-To: Jakub Jelinek 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> <565904f6-cab7-b52c-5004-d604c01eeca9@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <565904f6-cab7-b52c-5004-d604c01eeca9@gnu.org> User-Agent: Mutt/1.9.1 (2017-09-22) X-IsSubscribed: yes X-SW-Source: 2018-02/txt/msg00638.txt.bz2 On Mon, Feb 12, 2018 at 01:02:20PM +0100, Paolo Bonzini wrote: > On 12/02/2018 09:56, Richard Biener wrote: > >>> 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. > > Oh cool. I was going to look at ubsan builtins too, I'll post that > separately. Ok for GCC 7 too? Please wait with GCC 7 backport at least 2 weeks after it is committed to trunk. Jakub