Is it OK that gcc optimizes away overflow check?

[Vincent Lefevre]

On 2011-07-25 17:21:42 +0100, Andrew Haley wrote:
> gcc is already safe, though: we don't do any optimizations that
> generate incorrect code.

Not always (but bugs have been reported about incorrect optimizations).

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)