[PATCH][4.3] Deprecate -ftrapv

[Robert Dewar]

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.