This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: What is wrong with Bugzilla? [Was: Re: GCC and Floating-Point]


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 <vincent@vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / SPACES project at LORIA


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]