Ada front-end depends on signed overflow

[Florian Weimer]

* Robert Dewar:

> Defintiely not, integer overflow generates async traps on very few
> architectures. Certainly synchronous traps can be generated (e.g.
> with into on the x86).

Or the JO jump instruction.  Modern CPUs choke on the INTO
instruction.