In Any_to_u8 O(1) time? the argument was made that reading uninitialized value can invalidate the entire program due to undefined behaviour / llvm optimizations.
After thinking on this some more, I am confused for the following reason:
rustc/llvm, at compile time, because of halting problem, can not know whether a particular
readis guaranteed to be undefined
therefore, to preserve program correctness, when I tell rust to read from a memory address, it better read from that address
given the above, how can ‘read uninitialized value’ be worse than just reading garbage?