Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!ut-sally!utah-cs!utah-gr!thomas
From: thomas@utah-gr.UUCP (Spencer W. Thomas)
Newsgroups: comp.lang.c,comp.sys.ibm.pc
Subject: Re: C-Compiler Validation Suites
Message-ID: <1841@utah-gr.UUCP>
Date: Mon, 10-Nov-86 09:44:19 EST
Article-I.D.: utah-gr.1841
Posted: Mon Nov 10 09:44:19 1986
Date-Received: Mon, 10-Nov-86 22:12:42 EST
References: <1182@kontron.UUCP>
Reply-To: thomas@utah-gr.UUCP (Spencer W. Thomas)
Organization: University of Utah CS Dept
Lines: 12
Xref: mnetor comp.lang.c:2 comp.sys.ibm.pc:7

In article <1182@kontron.UUCP> stephan@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@utah-cs.ARPA)