This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: correctness and comprehensiveness of compilers [was: Re: C compiletime]
- From: Steven Bosscher <s dot bosscher at student dot tudelft dot nl>
- To: Wolfgang Bangerth <bangerth at ices dot utexas dot edu>
- Cc: Karel Gardas <kgardas at objectsecurity dot com>,Scott Robert Ladd <coyote at coyotegulch dot com>,Dara Hazeghi <dhazeghi at yahoo dot com>, gcc mailing list <gcc at gcc dot gnu dot org>
- Date: Wed, 18 Jun 2003 16:07:50 +0200
- Subject: Re: correctness and comprehensiveness of compilers [was: Re: C compiletime]
- References: <200306180900.12008.bangerth@ices.utexas.edu>
Wolfgang Bangerth wrote:
Just one example: all last three releases of Intel C++ compiler for Linux
(I mean 6.0, 7.0 and 7.1) miscompile MICO (http://www.mico.org) such that
its IDL compiler is either crashing (6.0 + 7.0) or loops infinitely (7.1).
What a coincidence, the same holds for deal.II: miscompilations at various
places. icc may be fast, but that isn't enough. We use icc as a good
compliance checker for standards conformance of our code ;-)
FYI, the Intel Fortran 95 is also notorious for its bugs. It gets the
simple things right, but fails hopelessly on the harder stuff... Seems
like intel is not a very "correct" compiler :-)
Gr.
Steven