Ada front-end depends on signed overflow

[Eric Botcazou]

> For Ada, I propose we make the following changes:
>    - by default, enable overflow checks using -ftrapv

-ftrapv is not practically usable because (1) it generates awful code and (2) 
it badly interacts with the RTL optimizers.

-- 
Eric Botcazou