Skip to content

Commit

Permalink
stabilize raw_ref_op
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Aug 18, 2024
1 parent 11304f7 commit 28dd955
Show file tree
Hide file tree
Showing 6 changed files with 0 additions and 6 deletions.
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
#![feature(raw_ref_op)]
#![feature(strict_provenance)]
use std::ptr;

Expand Down
1 change: 0 additions & 1 deletion tests/fail/function_calls/return_pointer_aliasing_read.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
//@revisions: stack tree none
//@[tree]compile-flags: -Zmiri-tree-borrows
//@[none]compile-flags: -Zmiri-disable-stacked-borrows
#![feature(raw_ref_op)]
#![feature(core_intrinsics)]
#![feature(custom_mir)]

Expand Down
1 change: 0 additions & 1 deletion tests/fail/function_calls/return_pointer_aliasing_write.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
// This does need an aliasing model and protectors.
//@revisions: stack tree
//@[tree]compile-flags: -Zmiri-tree-borrows
#![feature(raw_ref_op)]
#![feature(core_intrinsics)]
#![feature(custom_mir)]

Expand Down
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
// This does need an aliasing model and protectors.
//@revisions: stack tree
//@[tree]compile-flags: -Zmiri-tree-borrows
#![feature(raw_ref_op)]
#![feature(core_intrinsics)]
#![feature(custom_mir)]
#![feature(explicit_tail_calls)]
Expand Down
1 change: 0 additions & 1 deletion tests/fail/function_calls/return_pointer_on_unwind.rs
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
// Doesn't need an aliasing model.
//@compile-flags: -Zmiri-disable-stacked-borrows
#![feature(raw_ref_op)]
#![feature(core_intrinsics)]
#![feature(custom_mir)]

Expand Down
1 change: 0 additions & 1 deletion tests/pass/function_calls/return_place_on_heap.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
#![feature(raw_ref_op)]
#![feature(core_intrinsics)]
#![feature(custom_mir)]

Expand Down

0 comments on commit 28dd955

Please sign in to comment.