This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH][4.3] Deprecate -ftrapv
- From: Robert Dewar <dewar at adacore dot com>
- To: Paolo Bonzini <bonzini at gnu dot org>
- Cc: gcc at gcc dot gnu dot org, gcc-patches at gcc dot gnu dot org
- Date: Sat, 01 Mar 2008 08:57:44 -0500
- Subject: Re: [PATCH][4.3] Deprecate -ftrapv
- References: <Pine.LNX.firstname.lastname@example.org> <47C8B7F3.email@example.com> <firstname.lastname@example.org>
Paolo Bonzini wrote:
Seems a pity, this feature is really needed for Ada, which requires
efficient overflow checking for signed arithmetic, and it seems
useful for C, where signed overflow is undefined, and it would be
nice to enable trapping.
Right now, Ada uses really horrible double length arithmetic to
It's not the only way to do it though, and it's best to reimplement
-ftrapv in terms of GIMPLE.
Right ... from Ada's point of view, it is of course only of limited
value to have an implementation of -ftrapv that is equally horrible :-)
I'm for deprecating -ftrapv and reimplementing it. I could mentor a
GSOC project for reimplementation of -ftrapv.
Perhaps if the current implementation is too broken, that might be
the most constructive approach ...