Re: Ada front-end depends on signed overflow

[Georg Bauhaus]

Paul Schlie wrote:

- How is it necessary or desirable to define that the result is undefined
  vs. being target defined?

What does C say about how a target performs an instruction?
And why shouldn't GCC take advantage of this?