From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 23488 invoked by alias); 8 Nov 2012 12:53:37 -0000 Received: (qmail 23457 invoked by uid 48); 8 Nov 2012 12:53:19 -0000 From: "markus at trippelsdorf dot de" To: gcc-bugs@gcc.gnu.org Subject: [Bug middle-end/44786] -fcatch-undefined-behavior: Turn on runtime code generation to check for undefined behavior Date: Thu, 08 Nov 2012 12:53:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: middle-end X-Bugzilla-Keywords: X-Bugzilla-Severity: enhancement X-Bugzilla-Who: markus at trippelsdorf dot de X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: CC Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2012-11/txt/msg00713.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44786 Markus Trippelsdorf changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |markus at trippelsdorf dot | |de --- Comment #6 from Markus Trippelsdorf 2012-11-08 12:53:17 UTC --- Just for fun, today I've build gcc trunk with: CC="clang -fsanitize=undefined -w" CXX="clang++ -fsanitize=undefined -w" ~/gcc/configure --disable-bootstrap --disable-werror --disable-multilib --enable-languages=c,c++ It didn't get very far (haven't looked deeper yet): gcc/libiberty/regex.c:6968:11: fatal error: left shift of negative value -1 gcc/gcc/genattrtab.c:625:27: fatal error: signed integer overflow: 4568797 * 613 cannot be represented in type 'int' gcc/gcc/genautomata.c:3510:23: fatal error: shift exponent 64 is too large for 64-bit type 'set_el_t' (aka 'unsigned long')