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

[Wolfgang Bangerth]

> 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 ;-)

W.

-------------------------------------------------------------------------
Wolfgang Bangerth              email:            bangerth@ices.utexas.edu
                               www: http://www.ices.utexas.edu/~bangerth/