From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12159 invoked by alias); 22 Aug 2013 17:51:27 -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 12150 invoked by uid 89); 22 Aug 2013 17:51:27 -0000 X-Spam-SWARE-Status: No, score=-7.0 required=5.0 tests=AWL,BAYES_00,RCVD_IN_HOSTKARMA_W,RCVD_IN_HOSTKARMA_WL,RP_MATCHES_RCVD,SPF_HELO_PASS,SPF_PASS autolearn=ham version=3.3.2 Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.84/v0.84-167-ge50287c) with ESMTP; Thu, 22 Aug 2013 17:51:13 +0000 Received: from int-mx12.intmail.prod.int.phx2.redhat.com (int-mx12.intmail.prod.int.phx2.redhat.com [10.5.11.25]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id r7MHpBP3029043 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Thu, 22 Aug 2013 13:51:11 -0400 Received: from redhat.com (ovpn-116-91.ams2.redhat.com [10.36.116.91]) by int-mx12.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id r7MHp7YV024580 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO); Thu, 22 Aug 2013 13:51:09 -0400 Date: Thu, 22 Aug 2013 18:19:00 -0000 From: Marek Polacek To: GCC Patches Cc: Jakub Jelinek , Jason Merrill , "Joseph S. Myers" Subject: Re: Request to merge Undefined Behavior Sanitizer in (take 3) Message-ID: <20130822175107.GC4968@redhat.com> References: <20130815150848.GZ17022@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20130815150848.GZ17022@redhat.com> User-Agent: Mutt/1.5.20 (2009-06-14) X-SW-Source: 2013-08/txt/msg01296.txt.bz2 Ping. On Thu, Aug 15, 2013 at 05:08:48PM +0200, Marek Polacek wrote: > I've fixed a few unpleasant bugs; mainly the bug that introduced > various uninitialized variable warnings was bothersome. > Now it is possible to do bootstrap with -fsanitize=undefined, > even though there are some comparison failures at the end. > > v3: > - Fix Wuninitialized warnings because of SAVE_EXPRs > http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00861.html > - [ubsan] Add -lpthread to POSTSTAGE1_LDFLAGS > http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00793.html > - [ubsan] Fix assert in c-ubsan.c > http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00802.html > - [ubsan] Properly create const char type > http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00213.html > > v2: > - [ubsan] Add -static-libubsan > http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01467.html > - [ubsan] Don't try to sanitize shifts outside of functions > http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01468.html > - [ubsan] Use build_constructor_va where possible > http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01469.html > - [ubsan] Add bootstrap-ubsan.mk > http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01470.html > - [ubsan] Rename obsolete variable > http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01473.html > - [ubsan] Instrument expr only when doing shift or division > http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01529.html > - [ubsan] Improve documentation of -fsanitize=undefined > http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01540.html > - [ubsan] Add missing ubsan tests in g++.dg/dg.exp > http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01563.html > > Regtested/bootstrapped on x86_64-linux and ppc64-linux. > > One patch is not in yet, but that isn't anything important: > http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00376.html > > Ok to merge ubsan into trunk? > > Marek Marek