------- Comment #16 from ebotcazou at gcc dot gnu dot org 2008-11-29 22:29 ------- > I'm not sure if this bug is fixed, though. -ftrapv is still broken afaik. Probably, but let's ditch antiquated stuff and start afresh. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19020