Forums before death by AOL, social media and spammers... "We can't have nice things"
|    comp.compilers    |    Compiler construction, theory, etc. (Mod    |    2,753 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 1,470 of 2,753    |
|    Tony Finch to Chris F Clark    |
|    Re: Was: Debug optimized code; Now: How     |
|    25 Sep 08 14:38:19    |
   
   From: dot@dotat.at   
      
   Chris F Clark 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 http://dotat.at/   
   SOUTH FITZROY: NORTHEASTERLY 5 TO 7. MODERATE OR ROUGH. SHOWERS. MODERATE OR   
   GOOD.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   
|
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca