https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66630
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- For -ftrapv I never got around to commit some of the fixes I posted last year... (guard CCP properly for example). Eventually at least CCP should be more aggressive and simplify trapping stuff to __builtin_trap () (but the optab implementations in libgcc use abort ()).