Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!lll-crg!styx!twg-ap!amdahl!pyramid!decwrl!ucbvax!ucbcad!faustus
From: faustus@ucbcad.BERKELEY.EDU (Wayne A. Christopher)
Newsgroups: comp.lang.c,comp.sys.ibm.pc
Subject: Re: C-Compiler Validation Suites
Message-ID: <1130@ucbcad.BERKELEY.EDU>
Date: Fri, 14-Nov-86 15:38:44 EST
Article-I.D.: ucbcad.1130
Posted: Fri Nov 14 15:38:44 1986
Date-Received: Sun, 16-Nov-86 00:30:51 EST
References: <1182@kontron.UUCP> <1841@utah-gr.UUCP>
Organization: CAD Group, U.C. Berkeley
Lines: 11
Xref: mnetor comp.lang.c:50 comp.sys.ibm.pc:90

In article <1841@utah-gr.UUCP>, thomas@utah-gr.UUCP writes:
> 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!

Try compiling SPICE 3 -- there's plenty of floating point to excercise your
compiler.  Of course, since we have had to put in lots of work-arounds to
avoid compiler problems we have already encountered, if you have the same
ones you may not find them this way...

	Wayne