Eric Botcazou wrote:
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.
In its current form, that's true, the question is what would it take for -ftrapv to be usable. The requirements for a useful feature for C debugging and a feature to implement required overflow checking in Ada are not that far apart.
