------- Comment #15 from steven at gcc dot gnu dot org 2008-11-29 22:23 ------- I'm not sure if this bug is fixed, though. -ftrapv is still broken afaik. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19020