Re: Bootstraping compilers ?

Marco van de Voort <marcov@stack.nl>
Fri, 18 Apr 2008 19:38:29 +0000 (UTC)

          From comp.compilers

Related articles
Bootstraping compilers ? pocm@soton.ac.uk (2008-04-16)
Re: Bootstraping compilers ? chris@phaedsys.org (Chris Hills) (2008-04-18)
Re: Bootstraping compilers ? roland.leissa@googlemail.com (=?ISO-8859-1?Q?Roland_Lei=DFa?=) (2008-04-18)
Re: Bootstraping compilers ? damian.thomas@unisys.com (Damian Thomas) (2008-04-18)
Re: Bootstraping compilers ? marcov@stack.nl (Marco van de Voort) (2008-04-18)
Re: Bootstraping compilers ? marcov@stack.nl (Marco van de Voort) (2008-04-18)
Re: Bootstraping compilers ? lindahl@pbm.com (Greg Lindahl) (2008-04-18)
Re: Bootstraping compilers ? cdb@nullstone.com (Christopher Glaeser) (2008-04-19)
Re: Bootstraping compilers ? torbenm@app-4.diku.dk (2008-04-21)
Re: Bootstraping compilers ? DrDiettrich1@aol.com (Hans-Peter Diettrich) (2008-04-21)
Re: Bootstraping compilers ? pocm@soton.ac.uk (2008-04-22)
Re: Bootstraping compilers ? gah@ugcs.caltech.edu (glen herrmannsfeldt) (2008-04-21)
[3 later articles]
| List of all articles for this month |
From: Marco van de Voort <marcov@stack.nl>
Newsgroups: comp.compilers
Date: Fri, 18 Apr 2008 19:38:29 +0000 (UTC)
Organization: Stack Usenet News Service
References: 08-04-059 08-04-069
Keywords: debug, practice
Posted-Date: 18 Apr 2008 19:53:51 EDT

On 2008-04-18, Damian Thomas <damian.thomas@unisys.com> wrote:
> Do not stop at simply compiling, but also using the resulting compiler to
> compile itself again and again and again.
> I suggest at least 3 generations of compiles. Some say you should need 5
> generations.
> 1st - finds compile-time errors
> 2nd - finds run-time errors
> 3rd - finds errors where the compiler ran improperly
> 4th - finds errors where the program ran correctly, but produced incorrect
> results
> 5th - ?


Binary comparing the nth and the n+1th can give information about
uninitialised data written to constants, alignment spaces etc, padding bytes
to make the binary a multiple of some blocksize and other non deterministic
behaviour


Moreover, only the 2nd time the compiler is compiled in full, e.g. since the
first step might suffer from ifdefs due to the reference compiler having
certain bugs or missing language features. So the 2nd time might find
compile bugs there too.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.