[Bug c/30475] assert(int+100 > int) optimized away

andreas at andreas dot org gcc-bugzilla@gcc.gnu.org
Sun Jan 21 12:23:00 GMT 2007



------- Comment #31 from andreas at andreas dot org  2007-01-21 12:23 -------
And who will go over the existing millions lines of code, and verify the
overflow checks everywhere? Or add -fwrapv to all the Makefiles for unaidited
code? Obviously not you.  It seems to be easier to pretend you're not
responsible for the next security bug in Linux.

I'm still amazed that for the gcc maintainers, performance seems to be more
important than security of the existing code base. I'm even more amazed that
they seem to be unable to do some benchmarks to show that they have a point,
apart from some made-up examples.

Why is Microsoft willing and able to do such changes to Visual Studio, and you
are not?


-- 

andreas at andreas dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andreas at andreas dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30475



More information about the Gcc-bugs mailing list