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