Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| [7 earlier articles] |
| Re: compiler bugs jonathan@nitrogen.astro.indiana.edu (Jonathan Thornburg) (2009-04-28) |
| Re: compiler bugs jgd@cix.compulink.co.uk (2009-04-28) |
| Re: compiler bugs georgeps@xmission.com (George Peter Staplin) (2009-04-28) |
| Re: compiler bugs marcov@stack.nl (Marco van de Voort) (2009-04-29) |
| Re: compiler bugs torbenm@pc-003.diku.dk (2009-04-29) |
| Re: compiler bugs dot@dotat.at (Tony Finch) (2009-04-29) |
| Re: compiler bugs derek@knosof.co.uk (Derek M. Jones) (2009-04-29) |
| Re: compiler bugs gah@ugcs.caltech.edu (glen herrmannsfeldt) (2009-04-29) |
| Re: compiler bugs r3jjs@yahoo.com (Jeremy J Starcher) (2009-04-29) |
| Re: compiler bugs walter@bytecraft.com (Walter Banks) (2009-04-30) |
| Re: compiler bugs cfc@shell01.TheWorld.com (Chris F Clark) (2009-04-30) |
| Re: compiler bugs anton@mips.complang.tuwien.ac.at (2009-05-01) |
| Re: compiler bugs gene.ressler@gmail.com (Gene) (2009-05-01) |
| [9 later articles] |
| From: | "Derek M. Jones" <derek@knosof.co.uk> |
| Newsgroups: | comp.compilers |
| Date: | Wed, 29 Apr 2009 16:15:17 +0100 |
| Organization: | virginmedia.com |
| References: | 09-04-072 09-04-080 |
| Keywords: | testing |
| Posted-Date: | 29 Apr 2009 11:45:51 EDT |
John,
>> How can a simple programmer detect a bug in a compiler ? is there some
>> well known verification techniques ?
>
> If there is, I don't know it. Compiler writers generally test their
> compilers quite hard - there are various test suites of source code
> available, and all serious compiler writing organisations will develop
> test sets of their own and expand them as they fix bugs - but there is
> no simple and all-embracing method.
The part of the test suites (eg, Perennial) that compiler writers
uses is often only the part that checks the syntax and semantics.
While code generation stress testers might be included they are
used less frequently.
See
http://shape-of-code.coding-guidelines.com/2009/03/volatile-handling-sometimes-overly-volatile/
for a discussion of one area where compiler correctness seems to be
suspect.
Return to the
comp.compilers page.
Search the
comp.compilers archives again.