This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/68046] -ftrapv doesn't catch leaq-based overflows on x86-64
- From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 23 Oct 2015 08:57:49 +0000
- Subject: [Bug middle-end/68046] -ftrapv doesn't catch leaq-based overflows on x86-64
- Auto-submitted: auto-generated
- References: <bug-68046-4 at http dot gcc dot gnu dot org/bugzilla/>
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.