US-CERT Vulnerability Note VU#162289

[Mark Mitchell]

Mark Mitchell wrote:

> "Some compilers (including, at least, GCC, PathScale, and xlc) optimize 
> away incorrectly coded checks for overflow.  Applications containing 
> these incorrectly coded checks may be vulnerable if compiled with these 
> compilers."

I've now been told that the LLVM compiler also does this optimization.

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713