Re: compiler bugs

Jeremy J Starcher <r3jjs@yahoo.com>
Tue, 28 Apr 2009 17:15:54 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 quinn_jackson2004@yahoo.ca (Quinn Tyler Jackson) (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)
[18 later articles]
| List of all articles for this month |
From: Jeremy J Starcher <r3jjs@yahoo.com>
Newsgroups: comp.compilers
Date: Tue, 28 Apr 2009 17:15:54 GMT
Organization: at&t http://my.att.net/
References: 09-04-072
Keywords: errors
Posted-Date: 28 Apr 2009 14:50:58 EDT

On Mon, 27 Apr 2009 14:42:19 +0200, Sid Touati wrote:


> How can a simple programmer detect a bug in a compiler ? is there some
> well known verification techniques ? ...


Since you didn't say what language or compiler you are using, I can only
answer in very general terms.


In some circumstances, optimizers are known to break code. Sometimes by
optimizing away side effects. Sometimes causing heisen-bugs by changing
the order of evaluations and sometimes by tripping over "clever" code.


That said, when I come across a problem, I always assume the bug is in my
code until I can provide a test case that clearly demonstrates that the
compiler itself is at fault. Then I have someone else review my code to
make sure I'm not being an idiot.


Post a followup to this message

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