This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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.)





Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]