[Bug middle-end/68046] -ftrapv doesn't catch leaq-based overflows on x86-64
ebotcazou at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Fri Oct 23 08:57:00 GMT 2015
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68046
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu.org
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> If we have a variant that doesn't require libubsan (which is not available
> on all targets) then yes, that would indeed be nice. Of course it's
> restricted to the C family languages while -ftrapv was "working" for all
> languages before (though IIRC Ada has its own implementation).
Correct, the Ada compiler doesn't use -ftrapv at all, it's too broad.
More information about the Gcc-bugs
mailing list