This is the mail archive of the
mailing list for the GCC project.
Re: Signed int overflow behaviour in the security context
Andreas Bogk wrote:
Making a call here before knowing this is not sensible. In fact, I'm
tempted to argue that it is generally a bad idea to do optimizations
that lead to the same expression being evaluated to different results
without making the user explicitly request them.
People always say this, but they don't really realize what they are
saying. This would mean you could not put variables in registers, and
would essentially totally disable optimization. The -O2 flag is exactly
a request to do optimizations that may cause wrong programs to generate
Note by the way that formally safety-critical or security-critical
software is very unlikely to be compiled at -O2 anyway.