> Perhaps if the current implementation is too broken, that might be > the most constructive approach ...
That's my opinion and the current state of affairs is a hindrance, so I think that -ftrapv should be reimplemented from scratch if GCC is to be serious about overflow checking. Of course we would be happy to lend a hand. :-) -- Eric Botcazou