Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!brl-adm!brl-sem!ron
From: ron@brl-sem.ARPA (Ron Natalie <ron>)
Newsgroups: comp.lang.c,comp.sys.ibm.pc
Subject: Re: C-Compiler Validation Suites
Message-ID: <474@brl-sem.ARPA>
Date: Wed, 12-Nov-86 20:43:32 EST
Article-I.D.: brl-sem.474
Posted: Wed Nov 12 20:43:32 1986
Date-Received: Wed, 12-Nov-86 23:54:27 EST
References: <1841@utah-gr.UUCP> <1189@kontron.UUCP>
Organization: Electronic Brain Research Lab
Lines: 16
Xref: mnetor comp.lang.c:26 comp.sys.ibm.pc:48

In article <1189@kontron.UUCP>, stephan@kontron.UUCP (Stephan W. Wendl) writes:
>
> As far as I can recall at the moment, the UNIX kernel doesn't use floating
> point data (of course I might be wrong).

At least as far as BSD goes, you're wrong.  load averages are computed
using floating point, for example.  In the old days it was true.  The
kernel not only did not use floating point, it didn't use longs either
but rather an array of two ints that the kernel code took care to do
the carry when necessary.  Of course, there was no unsigned ints either
but using "char *" for these worked just fine.

Besides, everyone knows that the first step in verification is to
compile the compiler.

-Ron