Unaligned raw references are considered UB #1339
Labels
A-aliasing
Area: This affects the aliasing model (Stacked/Tree Borrows)
A-interpreter
Area: affects the core interpreter
C-bug
Category: This is a bug.
I-false-UB
Impact: makes Miri falsely report UB, i.e., a false positive (with default settings)
The following program should pass, but is incorrectly considered UB:
The error source seems to be related to Stacked Borrows.
The text was updated successfully, but these errors were encountered: