From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11569 invoked by alias); 30 May 2005 15:28:10 -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 9176 invoked by uid 22791); 30 May 2005 15:22:34 -0000 Received: from monty-python.gnu.org (HELO monty-python.gnu.org) (199.232.76.173) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Mon, 30 May 2005 15:22:34 +0000 Received: from [62.212.121.106] (helo=ay.vinc17.org) by monty-python.gnu.org with esmtp (TLS-1.0:RSA_AES_128_CBC_SHA:16) (Exim 4.34) id 1DchO6-000792-5w for gcc@gcc.gnu.org; Mon, 30 May 2005 06:20:50 -0400 Received: from lefevre by ay.vinc17.org with local (Exim 4.50) id 1DchMW-00083O-Sj; Mon, 30 May 2005 12:19:12 +0200 Date: Mon, 30 May 2005 15:31: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: <20050530101912.GH3541@ay.vinc17.org> Mail-Followup-To: gcc@gcc.gnu.org References: <42988B8C.2090905@kss-loka.si> <20050528225238.GC5967@ay.vinc17.org> <1117427504.16811.34.camel@linux.site> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <1117427504.16811.34.camel@linux.site> X-Mailer-Info: http://www.vinc17.org/mutt/ User-Agent: Mutt/1.5.9-vl-20050401i X-SW-Source: 2005-05/txt/msg01604.txt.bz2 On 2005-05-30 00:31:44 -0400, Daniel Berlin wrote: [http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21809] > Compiling the code there with icc gives us: > > dberlin@linux:~> icc icca.c > icca.c(7): warning #1572: floating-point equality and inequality > comparisons are unreliable > assert(a == x); > ^ icc is not a good example concerning the warnings. I've been told that it issues too many annoying warnings, not just related to FP. > ./dberlin@linux:~> ./a.out > a.out: icca.c:7: main: Assertion `a == x' failed. > Aborted Here, according to the C standard (even if IEEE-754 isn't supported), the code shouldn't fail. -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / SPACES project at LORIA