On 9/7/13 8:39 AM, Oren Ben-Kiki wrote:
I have a feeling that there is a non-trivial amount of code which is "actually safe" but would impossible to convince the compiler it is "statically safe". Surely having run-time safety in such cases is better than none at all...?
I would be fine with this, but one big problem is that null pointer dereferences are undefined behavior in LLVM.
Patrick _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev