The @musllibc UB-purge continues. https://git.musl-libc.org/cgit/musl/commit/?id=4d0a82170a25464c39522d7190b9fe302045ddb2 … and previous few commits.
-
-
Note that no undefined pointer arithmetic happens - the pointer points to a valid byte, but the resulting aliased read with a may_alias type reads additional bytes past it that might not be part of the object.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Would be nice to be able to grab the aligned block containing the first byte. I don’t think you can compute that address without formal UB.
-
You compute it in the address model with uintptr_t, where it's implementation-defined not undefined. That part is fine. The problem is just whether the compiler extension defines the access to it or not.
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.
