> Well let's see .. we (AdaCore) will try to focus more attention on this > to evaluate whether it is feasible to get this feature working well > enough to use in GNAT.
We already did that several times: -ftrapv is too broken to be used for Ada. -- Eric Botcazou