This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][4.3] Deprecate -ftrapv
- From: Robert Dewar <dewar at adacore dot com>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: gcc at gcc dot gnu dot org, Richard Guenther <rguenther at suse dot de>, Mark Mitchell <mark at codesourcery dot com>, "Joseph S. Myers" <joseph at codesourcery dot com>, Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, gcc-patches at gcc dot gnu dot org, iant at google dot com
- Date: Mon, 03 Mar 2008 21:37:41 -0500
- Subject: Re: [PATCH][4.3] Deprecate -ftrapv
- References: <Pine.LNX.4.64.0803010041110.4133@zhemvz.fhfr.qr> <Pine.LNX.4.64.0803021202240.4133@zhemvz.fhfr.qr> <47CA94E5.9010204@adacore.com> <200803032348.18837.ebotcazou@adacore.com>
Eric Botcazou wrote:
Well let's see .. we (AdaCore) will try to focus more attention on this
to evaluate whether it is feasible to get this feature working well
enough to use in GNAT.
We already did that several times: -ftrapv is too broken to be used for Ada.
In its current form, that's true, the question is what would it take for
-ftrapv to be usable. The requirements for a useful feature for C
debugging and a feature to implement required overflow checking in
Ada are not that far apart.