Re:Three proposals for the C standard WG14
by YouAreGreat on Thursday June 21, 2018 @03:21AM
(#17362858)
> conforming implementations cannot transform code on the basis that some behavior left undefined by the standard is impossible
You may have misunderstood how rogue optimizers obtain their license to miscompile.
It is not by assuming that the "behavior left undefined is impossible".
As boring and tautological as it sounds, it is by assuming that the operation with "behavior left undefined", when it actually happens, has undefined (and therefore arbitrary) behavior.
You may have misunderstood how rogue optimizers obtain their license to miscompile.
It is not by assuming that the "behavior left undefined is impossible".
As boring and tautological as it sounds, it is by assuming that the operation with "behavior left undefined", when it actually happens, has undefined (and therefore arbitrary) behavior.