Rules for alignment and non-NULLness of references

True. It would be helpful to know when and where exactly LLVM starts making alignment assumptions (in the IR generated by rustc) -- then we could define Rust's alignment assumptions accordingly. Currently miri does not check empty accesses, but it does check on every & -- which can't be entirely right, because you are supposed to be able to do &unaligned.field as *const _.

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.