gcc-bug: Added proof that -ftrapv doesn't work on gcc < 4.10