diff options
| author | Urgau <urgau@numericable.fr> | 2023-03-29 22:18:20 +0200 |
|---|---|---|
| committer | Urgau <urgau@numericable.fr> | 2023-05-10 19:36:02 +0200 |
| commit | 61ff2718f76ac1ea0669938a06babfd578fadd46 (patch) | |
| tree | 7d90536b4173c04ece9cc0a94c45a9a278b10782 /src/tools | |
| parent | 3f81b6b8a20378dcb507bf3f6d9afc76494d7933 (diff) | |
| download | rust-61ff2718f76ac1ea0669938a06babfd578fadd46.tar.gz | |
Adjust tests for new drop and forget lints
Diffstat (limited to 'src/tools')
4 files changed, 9 insertions, 0 deletions
diff --git a/src/tools/miri/tests/fail/stacked_borrows/illegal_write2.rs b/src/tools/miri/tests/fail/stacked_borrows/illegal_write2.rs index 70c51e671fe..bf4204c61fd 100644 --- a/src/tools/miri/tests/fail/stacked_borrows/illegal_write2.rs +++ b/src/tools/miri/tests/fail/stacked_borrows/illegal_write2.rs @@ -1,3 +1,5 @@ +#![allow(drop_ref)] + fn main() { let target = &mut 42; let target2 = target as *mut _; diff --git a/src/tools/miri/tests/fail/uninit_buffer.rs b/src/tools/miri/tests/fail/uninit_buffer.rs index d21371225e5..c084dea20bd 100644 --- a/src/tools/miri/tests/fail/uninit_buffer.rs +++ b/src/tools/miri/tests/fail/uninit_buffer.rs @@ -1,5 +1,7 @@ //@error-pattern: memory is uninitialized at [0x4..0x10] +#![allow(drop_copy)] + use std::alloc::{alloc, dealloc, Layout}; use std::slice::from_raw_parts; diff --git a/src/tools/miri/tests/fail/uninit_buffer_with_provenance.rs b/src/tools/miri/tests/fail/uninit_buffer_with_provenance.rs index 170bc6e1ed1..1eccc483612 100644 --- a/src/tools/miri/tests/fail/uninit_buffer_with_provenance.rs +++ b/src/tools/miri/tests/fail/uninit_buffer_with_provenance.rs @@ -2,6 +2,8 @@ //@normalize-stderr-test: "a[0-9]+" -> "ALLOC" #![feature(strict_provenance)] +#![allow(drop_copy)] + // Test printing allocations that contain single-byte provenance. use std::alloc::{alloc, dealloc, Layout}; diff --git a/src/tools/miri/tests/pass/stacked-borrows/zst-field-retagging-terminates.rs b/src/tools/miri/tests/pass/stacked-borrows/zst-field-retagging-terminates.rs index ce3c8b7d5f1..9f743f0b566 100644 --- a/src/tools/miri/tests/pass/stacked-borrows/zst-field-retagging-terminates.rs +++ b/src/tools/miri/tests/pass/stacked-borrows/zst-field-retagging-terminates.rs @@ -1,5 +1,8 @@ //@compile-flags: -Zmiri-retag-fields // Checks that the test does not run forever (which relies on a fast path). + +#![allow(drop_copy)] + fn main() { let array = [(); usize::MAX]; drop(array); // Pass the array to a function, retagging its fields |