> From: "Joseph S. Myers" <[EMAIL PROTECTED]> > "no requirements" means that *any* translation conforms in the case of > undefined behavior. Only those executions not involving undefined > behavior have any requirements.
What delineates the bounds between undefined and non-undefined behaviors? (As in the extreme if an undefined behavior may arbitrarily corrupt the entire specified program state, and/or modify the languages otherwise required semantics governing the translation/execution of a program, it would seem that rather than attempting to utilize undefined behaviors as a basis of optimizations, the compiler should more properly simply abort compilation upon their detection, as the resulting program would be otherwise be arguably useless for any likely purpose if the effect of an undefined behavior within a program is not bounded?)
