Re: compiler bugs

Jonathan Thornburg <>
28 Apr 2009 18:36:43 GMT

          From comp.compilers

Related articles
Re: Compiler bugs (2002-01-05)
Re: Compiler bugs (Christian Bau) (2002-01-05)
Re: Compiler bugs (David Chase) (2002-01-14)
compiler bugs (Sid Touati) (2009-04-27)
Re: compiler bugs (Hans-Peter Diettrich) (2009-04-28)
Re: compiler bugs (Jeremy J Starcher) (2009-04-28)
Re: compiler bugs (Louis Krupp) (2009-04-28)
Re: compiler bugs (Jonathan Thornburg) (2009-04-28)
Re: compiler bugs (2009-04-28)
Re: compiler bugs (George Peter Staplin) (2009-04-28)
Re: compiler bugs (Marco van de Voort) (2009-04-29)
Re: compiler bugs (2009-04-29)
Re: compiler bugs (Tony Finch) (2009-04-29)
Re: compiler bugs (Derek M. Jones) (2009-04-29)
[15 later articles]
| List of all articles for this month |

From: Jonathan Thornburg <>
Newsgroups: comp.compilers
Date: 28 Apr 2009 18:36:43 GMT
Organization: Compilers Central
References: 09-04-072
Keywords: errors, bibliography, comment
Posted-Date: 28 Apr 2009 15:00:59 EDT

Sid Touati <> wrote:
> How can a simple programmer detect a bug in a compiler ? is there some
> well known verification techniques ?

There are some useful ideas in
    Flash Sheridan
    "Practical testing of a C99 compiler using output comparison"
    Software--Practice and Experience volume 37 (2007), pages1475--1488


-- "Jonathan Thornburg [remove -animal to reply]" <>
      Dept of Astronomy, Indiana University, Bloomington, Indiana, USA
      "C++ is to programming as sex is to reproduction. Better ways might
        technically exist but they're not nearly as much fun." -- Nikolai Irgens
[Too bad SPE now costs $3278/yr. -John]

Post a followup to this message

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