From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-116484-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 3177 invoked by alias); 28 Jun 2005 20:31:45 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 3168 invoked by uid 22791); 28 Jun 2005 20:31:43 -0000
Received: from nile.gnat.com (HELO nile.gnat.com) (205.232.38.5)
    by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Tue, 28 Jun 2005 20:31:43 +0000
Received: from localhost (localhost [127.0.0.1])
	by filtered-nile.gnat.com (Postfix) with ESMTP id D754D962D;
	Tue, 28 Jun 2005 16:31:41 -0400 (EDT)
Received: from nile.gnat.com ([127.0.0.1])
 by localhost (nile.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP
 id 02183-01-7; Tue, 28 Jun 2005 16:31:41 -0400 (EDT)
Received: from [127.0.0.1] (taconic.gnat.com [205.232.38.103])
	by nile.gnat.com (Postfix) with ESMTP id 9F24F960F;
	Tue, 28 Jun 2005 16:31:41 -0400 (EDT)
Message-ID: <42C1B3AC.50206@adacore.com>
Date: Tue, 28 Jun 2005 20:31:00 -0000
From: Robert Dewar <dewar@adacore.com>
User-Agent: Mozilla Thunderbird 0.8 (Windows/20040913)
MIME-Version: 1.0
To: Gabriel Dos Reis <gdr@integrable-solutions.net>
CC: Olivier Galibert <galibert@pobox.com>, Andrew Haley <aph@redhat.com>, 
 Dave Korn <dave.korn@artimi.com>,
 'Andrew Pinski' <pinskia@physics.uc.edu>, 
 'gcc mailing list' <gcc@gcc.gnu.org>
Subject: Re: signed is undefined and has been since 1992 (in GCC)
References: <20050628142441.GA52889@dspnet.fr.eu.org>	<SERRANOQzV7r6pVu4Jb0000024f@SERRANO.CAM.ARTIMI.COM>	<20050628145148.GD52889@dspnet.fr.eu.org>	<17089.26325.169281.749633@zapata.pink>	<20050628171752.GE52889@dspnet.fr.eu.org>	<42C19BE8.9050107@adacore.com>	<m3ll4ufgqi.fsf@uniton.integrable-solutions.net>	<42C1A23F.6000806@adacore.com> <m3aclafetj.fsf@uniton.integrable-solutions.net>
In-Reply-To: <m3aclafetj.fsf@uniton.integrable-solutions.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-SW-Source: 2005-06/txt/msg01195.txt.bz2

Gabriel Dos Reis wrote:


> C and C++ are general programming language geared toward system
> programming. 

Yes, and my two examples are completely consistent with that. A C
compiler that uses the trapping arithmetic on the MIPS is entirely
conforming, and has the advantage that if you develop with such a
compiler you avoid silly mistakes of expecting signed integers to
wrap, so your code will be more portable.

"has the semantics that Gabriel Dos Reis wants" is not an evaluable
predicate!