home bbs files messages ]

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