Re: compiler bugs

Jonathan Thornburg <jonathan@nitrogen.astro.indiana.edu>
28 Apr 2009 18:36:43 GMT

          From comp.compilers
Related articles
Re: Compiler bugs Peter-Lawrence.Montgomery@cwi.nl (2002-01-05)
Re: Compiler bugs christian.bau@cbau.freeserve.co.uk (Christian Bau) (2002-01-05)
Re: Compiler bugs chase@world.std.com (David Chase) (2002-01-14)
compiler bugs SidTouati@inria.fr (Sid Touati) (2009-04-27)
Re: compiler bugs DrDiettrich1@aol.com (Hans-Peter Diettrich) (2009-04-28)
Re: compiler bugs r3jjs@yahoo.com (Jeremy J Starcher) (2009-04-28)
Re: compiler bugs lkrupp@indra.com (Louis Krupp) (2009-04-28)
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)
[15 later articles]
| List of all articles for this month |
From: Jonathan Thornburg <jonathan@nitrogen.astro.indiana.edu>
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 <SidTouati@inria.fr> 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


ciao,


--
-- "Jonathan Thornburg [remove -animal to reply]" <jthorn@astro.indiana-zebra.edu>
      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.