Might a -native-semantics switch, forcing native target optimization semantics, be reasonable?

[Paul Schlie]

> From: Robert Dewar <dewar@adacore.com>>
> though Paul's mention of saturating arithmetic seems way out of left field to
> me, since very few common architectures implement saturating arithmetic at the
> hardware level.

- Only every single dsp, and an increasing number of otherwise conventional
  and/or vector extended architectures targeted to improve the support for
  the same? (not to mention corresponding modular and/or specific algorithm
  addressing mode support, which may ideally be the target of optimized code
  mapping to improve performance, which correspondingly would ideally
  require their generic definition)

(But acknowledge these machines tend not to be targeted as the CPU of a PC,
if that is the intended focus of GCC)