C-Compiler Validation Suites

[Spencer W. Thomas]

In article <1182 at kontron.UUCP> stephan at kontron.UUCP (Stephan W. Wendl) writes:
>Yes, I also know that on UNIX systems one considers a successful
>compilation of the unix kernel (of course the kernel should run, too)
>as sufficent validation of the compiler.

Yes, and we have found bugs in several systems' handling of floating
point numbers because of exactly this attitude.  Compilation of the
kernel is NOT sufficient valication of the compiler!


-- 
=Spencer   ({ihnp4,decvax}!utah-cs!thomas, thomas at utah-cs.ARPA)