Skip to content

Commit ff14d23

Browse files
committed
Auto merge of #2893 - RalfJung:rustup, r=RalfJung
Rustup
2 parents 10c6d6a + 5e93256 commit ff14d23

File tree

6 files changed

+10
-2
lines changed

6 files changed

+10
-2
lines changed

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0b795044c6f0854445f1f2bb6443e87848e150d1
1+
69fef92ab2f287f072b66fb7b4f62c8bb4acba43

src/borrow_tracker/stacked_borrows/stack.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -83,7 +83,7 @@ impl Stack {
8383
self.borrows.truncate(write_idx);
8484

8585
#[cfg(not(feature = "stack-cache"))]
86-
drop(first_removed); // This is only needed for the stack-cache
86+
let _unused = first_removed; // This is only needed for the stack-cache
8787

8888
#[cfg(feature = "stack-cache")]
8989
if let Some(first_removed) = first_removed {

tests/fail/stacked_borrows/illegal_write2.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
#![allow(drop_ref)]
2+
13
fn main() {
24
let target = &mut 42;
35
let target2 = target as *mut _;

tests/fail/uninit_buffer.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
//@error-in-other-file: memory is uninitialized at [0x4..0x10]
22

3+
#![allow(drop_copy)]
4+
35
use std::alloc::{alloc, dealloc, Layout};
46
use std::slice::from_raw_parts;
57

tests/fail/uninit_buffer_with_provenance.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
//@error-in-other-file: memory is uninitialized at [0x4..0x8]
22
//@normalize-stderr-test: "a[0-9]+" -> "ALLOC"
33
#![feature(strict_provenance)]
4+
#![allow(drop_copy)]
45

56
// Test printing allocations that contain single-byte provenance.
67

tests/pass/stacked-borrows/zst-field-retagging-terminates.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
//@compile-flags: -Zmiri-retag-fields
22
// Checks that the test does not run forever (which relies on a fast path).
3+
4+
#![allow(drop_copy)]
5+
36
fn main() {
47
let array = [(); usize::MAX];
58
drop(array); // Pass the array to a function, retagging its fields

0 commit comments

Comments
 (0)