correctness and comprehensiveness of compilers [was: Re: C compiletime]

[Steven Bosscher]

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