C89 3.3 reads "An object shall have its stored value accessed only by an lvalue that has one of the following types:[28]..."
Even when C89 was being drafted, there was a concern for ensuring that compilers could optimize based on non-aliasing assumptions.
-
-
-
With footnote 28 as follows: "The intent of this list is to specify those circumstances in which an object may or may not be aliased."
-
And of course there's dmr's famous response to the noalias qualifier, which was subsequently omitted from C: https://www.lysator.liu.se/c/dmr-on-noalias.html …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.