We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 907d2c7 commit bcd5063Copy full SHA for bcd5063
tests/compile-fail-fullmir/undefined_byte_read.rs
@@ -1,3 +1,6 @@
1
+// FIXME: Probably failing due to https://github.com/solson/miri/issues/296
2
+// compile-flags: -Zmir-emit-validate=0
3
+
4
fn main() {
5
let v: Vec<u8> = Vec::with_capacity(10);
6
let undef = unsafe { *v.get_unchecked(5) };
0 commit comments