@Gankro so, re your initialise me maybe blog post, why is writing to an uninitialised bool ub? Awesome blog post btw!
It's not the write, it's having a bool that has a value other than true or false. It's considered UB regardless of whether you read it or not.
-
-
yeah, the whole thing with mem::uninitialized is it tricks the compiler into thinking we initialized the memory, which makes the compiler tell llvm "this memory definitely contains 0 or 1", but llvm can easily see it doesn't.
-
i wanted to write a followup comparing and contrasting to c++, but not enough health (spoiler: they only apply this metadata on load, avoiding that issue, but they also don't let you claim to do things like "return uninit" or "pass uninit" -- only allocs are uninit, not values)
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.