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 [EMAIL PROTECTED] (650) 331-3385 x713