Re: Was: Debug optimized code; Now: How many compiler bugs have you seen?

Tony Finch <dot@dotat.at>
25 Sep 2008 14:38:19 +0100 (BST)

          From comp.compilers

Related articles
[2 earlier articles]
Re: Debug optimized code gneuner2@comcast.net (George Neuner) (2008-09-23)
Was: Debug optimized code; Now: How many compiler bugs have you seen? cfc@shell01.TheWorld.com (Chris F Clark) (2008-09-24)
Re: Was: Debug optimized code; Now: How many compiler bugs have you se ArarghMail809@Arargh.com (2008-09-24)
Re: Was: Debug optimized code; Now: How many compiler bugs have you se n.pipenbrinck@cubic.org (Nils) (2008-09-25)
Re: Was: Debug optimized code; Now: How many compiler bugs have you se sh006d3592@blueyonder.co.uk (Stephen Horne) (2008-09-25)
Re: Was: Debug optimized code; Now: How many compiler bugs have you se gneuner2@comcast.net (George Neuner) (2008-09-25)
Re: Was: Debug optimized code; Now: How many compiler bugs have you se dot@dotat.at (Tony Finch) (2008-09-25)
Re: Was: Debug optimized code; Now: How many compiler bugs have you se cfc@shell01.TheWorld.com (Chris F Clark) (2008-09-25)
Re: Was: Debug optimized code; Now: How many compiler bugs have you se jfc@mit.edu (2008-10-02)
| List of all articles for this month |

From: Tony Finch <dot@dotat.at>
Newsgroups: comp.compilers
Date: 25 Sep 2008 14:38:19 +0100 (BST)
Organization: dotat labs
References: 08-09-076 08-09-110 08-09-115 08-09-119
Keywords: errors
Posted-Date: 25 Sep 2008 11:45:59 EDT

Chris F Clark <cfc@shell01.TheWorld.com> wrote:
>
>So, I wonder, how many of you have experienced real compiler bugs,
>that you could verify was the compilers fault and not just "mysterious
>behavior" that could be fixed by changing the optimizer/debugger
>level?


Here's a paper which very cleverly surveys compilers for bugs in their
handling of the volatile type qualifier. They compile code using different
optimization levels and verify that its behaviour is consistent.


http://www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf


Tony.
--
f.anthony.n.finch <dot@dotat.at> http://dotat.at/
SOUTH FITZROY: NORTHEASTERLY 5 TO 7. MODERATE OR ROUGH. SHOWERS. MODERATE OR
GOOD.



Post a followup to this message

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