From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 29512 invoked by alias); 14 Dec 2009 20:36:07 -0000 Received: (qmail 29371 invoked by uid 22791); 14 Dec 2009 20:36:06 -0000 X-SWARE-Spam-Status: No, hits=-2.7 required=5.0 tests=AWL,BAYES_00,SPF_HELO_PASS,SPF_PASS X-Spam-Check-By: sourceware.org Received: from mail-svr1.cs.utah.edu (HELO mail-svr1.cs.utah.edu) (155.98.64.241) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 14 Dec 2009 20:36:02 +0000 Received: from mail-svr1.cs.utah.edu (localhost [127.0.0.1]) by mail-svr1.cs.utah.edu (Postfix) with ESMTP id 7D27C6500DD; Mon, 14 Dec 2009 13:36:00 -0700 (MST) Received: from thebes.cs.utah.edu (thebes.cs.utah.edu [155.98.65.57]) by mail-svr1.cs.utah.edu (Postfix) with ESMTP; Mon, 14 Dec 2009 13:36:00 -0700 (MST) Date: Mon, 14 Dec 2009 20:36:00 -0000 From: John Regehr To: Daniel Jacobowitz cc: Andi Kleen , gcc@gcc.gnu.org Subject: Re: detailed comparison of generated code size for GCC and other compilers In-Reply-To: <20091214174614.GA12422@caradoc.them.org> Message-ID: References: <4B265B23.1010102@cs.utah.edu> <87hbrty1k5.fsf@basil.nowhere.org> <20091214171745.GD16474@basil.fritz.box> <20091214174614.GA12422@caradoc.them.org> User-Agent: Alpine 1.00 (DEB 882 2007-12-20) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-IsSubscribed: yes Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2009-12/txt/msg00185.txt.bz2 My opinion is that code containing undefined behaviors is definitely interesting, but probably it is interesting in a different way than functions that are more meaningful. If I have time I'll just separate out the testcases into two groups: one containing functions that are more or less sensible code, the other containing functions that can be automatically categorized as bogus. Thanks, John Regehr > Actually, I think they're very interesting - especially if they are > valid code, and one compiler optimizes them away, but the other > doesn't. You may have heard of a commercial testsuite built on this > principle :-) > > -- > Daniel Jacobowitz > CodeSourcery >