As although C/C++ define some expressions as having undefined semantics; it would seem desirable to be able to conveniently force GCC to presume a target's true native semantics in lieu of presuming their being undefined.
Thereby more conveniently and optimally enabling use of GCC as a high-level, native behavior preserving, optimizing high-level language compiler for an arbitrary target machine, without having to otherwise sub-optimally enable and/or disable some collection of optimization presumptions target by target basis otherwise? (i.e. Enable a target to define it's native overflow, null-dereference, etc. semantics, which may be optionally utilized as the basis of optimization.)
