From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22730 invoked by alias); 3 Jul 2005 10:02:52 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 22720 invoked by uid 22791); 3 Jul 2005 10:02:47 -0000 Received: from mail.enyo.de (HELO mail.enyo.de) (212.9.189.167) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Sun, 03 Jul 2005 10:02:47 +0000 Received: from deneb.enyo.de ([2001:14b0:202:1::ab]) by albireo.enyo.de with esmtp id 1Dp1J3-0000CP-Dv; Sun, 03 Jul 2005 12:02:33 +0200 Received: from fw by deneb.enyo.de with local (Exim 4.50) id 1Dp1Ij-0004ec-D8; Sun, 03 Jul 2005 12:02:13 +0200 From: Florian Weimer To: Robert Dewar Cc: Gabriel Dos Reis , Olivier Galibert , Dave Korn , 'Andrew Haley' , 'Andrew Pinski' , 'gcc mailing list' Subject: Re: signed is undefined and has been since 1992 (in GCC) References: <20050628171752.GE52889@dspnet.fr.eu.org> <20050628180203.GG52889@dspnet.fr.eu.org> <42C19C5A.2040705@adacore.com> <20050628191746.GJ52889@dspnet.fr.eu.org> <42C1A318.4040407@adacore.com> <8764vt2kq3.fsf@deneb.enyo.de> <42C72101.4020604@adacore.com> <42C7B5A8.1000404@adacore.com> Date: Sun, 03 Jul 2005 10:02:00 -0000 In-Reply-To: <42C7B5A8.1000404@adacore.com> (Robert Dewar's message of "Sun, 03 Jul 2005 05:53:44 -0400") Message-ID: <87r7egryvu.fsf@deneb.enyo.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-SW-Source: 2005-07/txt/msg00086.txt.bz2 * Robert Dewar: > Making programs bug free has more to it than understanding the language > you are writing in, but it is a useful step forward to avoid problems > that come from simply not knowing the rules of the language you are > writing in (I can't guarantee that GNAT is bug free in that regard, > but I can't remember a case where a bug stemmed from this source). There was some dependency on argument order evaluation in GNAT, but this was part of GIGI, so it's not the best example.