On Fri, 29 Feb 2008, Robert Dewar wrote: > Richard Guenther wrote: > > This is a request to depcrecate -ftrapv which has numerous problems > > making it not work as expected since a long time. As nobody seems > > to have the energy to ensure it is working I propose to deprecate it > > for GCC 4.3 to make it possible to remove it during 4.4 (and not > > block removing libcall notes by it). > > 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 > do trapping. > > So I would hestitate to deprecate it so quickly
Maybe you should organize some resources to fix its implementation then? Richard.
