------- Comment #5 from regehr at cs dot utah dot edu 2008-09-30 03:04 ------- (In reply to comment #3) > The testcase is invalid, signed integer overflow is undefined behavior.
It still crashes when -fwrapv or -ftrapv is added to the command line. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37664