This has got to be a compiler bug, right? -ftrapv should really be checking this add. https://godbolt.org/g/NeEqeZ
Isn't -ftrapv documented as not-actually-working? I think you need to version in ubsan to actually reliably catch overflow UB.
-
-
Oh, is it? I had no idea. I'm putting together some slides on how tricky checking for integer overflow actually is.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Also it works if you switch from ancient gcc version to a modern one.
-
Turns out the departmental machines my students have access to is running Ubuntu 13.04.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.