there's a simple language hiding inside modern C, but it's hiding really really wellhttps://twitter.com/bmastenbrook/status/725048588053655554 …
-
-
Replying to @johnregehr
@johnregehr@kssreeram when you make it impossible to write a kernel or libc in C, you've clearly broken the C language spec.1 reply 5 retweets 3 likes -
Replying to @hyc_symas
@hyc_symas@johnregehr@kssreeram I consider building anything without -fno-strict-aliasing a bug.2 replies 0 retweets 4 likes -
Replying to @landley
@landley@hyc_symas@johnregehr@kssreeram These optimizations still apply even with -fno-strict-aliasing. That only disables type-based AA.1 reply 0 retweets 0 likes -
Replying to @CopperheadOS
@landley@hyc_symas@johnregehr@kssreeram In GCC, for some reason -fno-strict-aliasing also makes restrict a no-op, but not in LLVM.1 reply 0 retweets 0 likes -
Replying to @CopperheadOS
@landley@hyc_symas@johnregehr@kssreeram See http://llvm.org/docs/LangRef.html#pointer-aliasing-rules …. Those aliasing rules are there with or without -fno-strict-aliasing.1 reply 0 retweets 0 likes -
Replying to @CopperheadOS
@landley@hyc_symas@johnregehr@kssreeram No doubt GCC and LLVM will take advantage of any new assumptions allowed by this 'clarification'.1 reply 0 retweets 1 like -
Replying to @CopperheadOS
@CopperheadSec@landley@hyc_symas@johnregehr@kssreeram Hopefully not. This doc (proposal) renders lots of previously-conforming code UB.1 reply 0 retweets 1 like -
Replying to @RichFelker
@CopperheadSec@landley@hyc_symas@johnregehr@kssreeram It has no correspondence to anything in past or current versions of the standard.1 reply 0 retweets 0 likes -
Replying to @RichFelker
@RichFelker@landley@hyc_symas@johnregehr@kssreeram GCC and LLVM did stretch the meaning of the standard to come up with similar rules.3 replies 0 retweets 1 like
@CopperheadSec @landley @hyc_symas @johnregehr @kssreeram They're clearly wrong & now some experts on the "good side" are stepping up. :-)
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.