From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17847 invoked by alias); 31 May 2005 19:43:48 -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 17819 invoked by uid 22791); 31 May 2005 19:43:43 -0000 Received: from vinc17.net4.nerim.net (HELO ay.vinc17.org) (62.212.121.106) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Tue, 31 May 2005 19:43:43 +0000 Received: from lefevre by ay.vinc17.org with local (Exim 4.50) id 1DdCeK-0000yv-Gu; Tue, 31 May 2005 21:43:40 +0200 Date: Tue, 31 May 2005 23:30:00 -0000 From: Vincent Lefevre To: gcc@gcc.gnu.org Subject: Re: What is wrong with Bugzilla? [Was: Re: GCC and Floating-Point] Message-ID: <20050531194340.GC3541@ay.vinc17.org> Mail-Followup-To: gcc@gcc.gnu.org References: <20050531121701.GQ3541@ay.vinc17.org> <20050531124837.GT3541@ay.vinc17.org> <20050531134304.GV3541@ay.vinc17.org> <429C751C.2080108@coyotegulch.com> <20050531172049.GA3541@ay.vinc17.org> <20050531173048.GJ7663@sunsite.mff.cuni.cz> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20050531173048.GJ7663@sunsite.mff.cuni.cz> X-Mailer-Info: http://www.vinc17.org/mutt/ User-Agent: Mutt/1.5.9-vl-20050401i X-SW-Source: 2005-05/txt/msg01718.txt.bz2 On 2005-05-31 19:30:48 +0200, Jakub Jelinek wrote: > IEEE 754 is not mandated by the ISO C{90,99} standards and there are indeed > platforms where float and double are not using IEEE 754 single resp. double > precision formats. But without IEEE-754 support, the ISO C99 standard is just a big joke concerning floating point: almost nothing is guaranteed. And yes, I know that there are platforms without IEEE-754 support, where a multiplication by 1.0 may yield an overflow... -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / SPACES project at LORIA