Is it OK that gcc optimizes away overflow check?

[Ian Lance Taylor]

Jeffrey Walton <noloader@gmail.com> writes:

> Its really too bad that GCC does not offer something for overflow and
> carry. There's been a couple of feature requests for overflow and
> carry testing when the CPU supports it, but I don't believe its gained
> any momentum (what does that say about secure programming practices?):
>  * http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48580
>  * http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49467

I apologize for the cliched response, but gcc is free software.  This
kind of feature is typically implemented by the person who cares the
most.  Perhaps you could be that person.

Ian