[PATCH][4.3] Deprecate -ftrapv

[Laurent GUERBY]

On Sat, 2008-03-01 at 09:05 -0500, Robert Dewar wrote:

> Note that in Ada, you can often avoid one or both ends of
> the range check, e.g.
> 
>      type R is integer range 1 .. 10;
> 
>      RV : R;
> 
>      R := R + 1;
> 
> no need for double length arithmetic here, you just check that the
> result is not greater than 10.

Isn't that a job for VRP? I remember long discussions about VRP
and Ada (I don't remenber the conclusion though), if something is done
to replace trapv it has to taken that into account.

Laurent