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.
2 parents ad66ef1 + ca04ddf commit 1708b8eCopy full SHA for 1708b8e
tests/fail/dangling_pointers/out_of_bounds_read.rs
@@ -1,5 +1,3 @@
1
-#![feature(pointer_byte_offsets)]
2
-
3
fn main() {
4
let v: Vec<u16> = vec![1, 2];
5
// This read is also misaligned. We make sure that the OOB message has priority.
tests/fail/dangling_pointers/out_of_bounds_write.rs
let mut v: Vec<u16> = vec![1, 2];
tests/pass/provenance.rs
@@ -1,7 +1,6 @@
//@revisions: stack tree
//@[tree]compile-flags: -Zmiri-tree-borrows
#![feature(strict_provenance)]
use std::{mem, ptr};
6
7
const PTR_SIZE: usize = mem::size_of::<&i32>();
0 commit comments