From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-116411-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 5132 invoked by alias); 28 Jun 2005 14:39:40 -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 5101 invoked by uid 22791); 28 Jun 2005 14:39:36 -0000
Received: from host217-40-213-68.in-addr.btopenworld.com (HELO SERRANO.CAM.ARTIMI.COM) (217.40.213.68)
    by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Tue, 28 Jun 2005 14:39:36 +0000
Received: from mace ([192.168.1.25]) by SERRANO.CAM.ARTIMI.COM with Microsoft SMTPSVC(6.0.3790.211);
	 Tue, 28 Jun 2005 15:39:33 +0100
From: "Dave Korn" <dave.korn@artimi.com>
To: "'Olivier Galibert'" <galibert@pobox.com>,
	"'Robert Dewar'" <dewar@adacore.com>
Cc: "'Gabriel Dos Reis'" <gdr@integrable-solutions.net>,
	"'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)
Date: Tue, 28 Jun 2005 14:39:00 -0000
MIME-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
In-Reply-To: <20050628142441.GA52889@dspnet.fr.eu.org>
Message-ID: <SERRANOQzV7r6pVu4Jb0000024f@SERRANO.CAM.ARTIMI.COM>
X-SW-Source: 2005-06/txt/msg01122.txt.bz2

----Original Message----
>From: Olivier Galibert
>Sent: 28 June 2005 15:25

> In particular, a very large number of C and C++ programs are written
> with the assumptions:

  This is a bad line of reasoning in general.  There is a vast amount of bad
software in the world, some blatantly buggy, some subtly-incorrect.  To
attempt to fix it all in the compiler rather than the source seems a bit
bass-ackwards to me!

> - sizeof(int) == 4, sizeof(long long) == 8
> 
> - sizeof(long) == sizeof(void *) == sizeof(void (*)())
> 
> Break them and see your compiler rejected by pretty much everybody.

  And what about 64 bit architectures?  Your assumptions are already widely
invalid and only going to get more so.

    cheers,
      DaveK
-- 
Can't think of a witty .sigline today....