Skip to content

Commit 7739280

Browse files
committed
Allow invalid_null_arguments in some tests
1 parent 8a54ae9 commit 7739280

9 files changed

+18
-0
lines changed

tests/ui/precondition-checks/copy-nonoverlapping.rs

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
//@ error-pattern: unsafe precondition(s) violated: ptr::copy_nonoverlapping requires
44
//@ revisions: null_src null_dst misaligned_src misaligned_dst overlapping
55

6+
#![allow(invalid_null_arguments)]
7+
68
use std::ptr;
79

810
fn main() {

tests/ui/precondition-checks/copy.rs

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
//@ error-pattern: unsafe precondition(s) violated: ptr::copy requires
44
//@ revisions: null_src null_dst misaligned_src misaligned_dst
55

6+
#![allow(invalid_null_arguments)]
7+
68
use std::ptr;
79

810
fn main() {

tests/ui/precondition-checks/read_volatile.rs

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
//@ error-pattern: unsafe precondition(s) violated: ptr::read_volatile requires
44
//@ revisions: null misaligned
55

6+
#![allow(invalid_null_arguments)]
7+
68
use std::ptr;
79

810
fn main() {

tests/ui/precondition-checks/replace.rs

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
//@ error-pattern: unsafe precondition(s) violated: ptr::replace requires
44
//@ revisions: null misaligned
55

6+
#![allow(invalid_null_arguments)]
7+
68
use std::ptr;
79

810
fn main() {

tests/ui/precondition-checks/slice-from-raw-parts-mut.rs

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
//@ error-pattern: unsafe precondition(s) violated: slice::from_raw_parts_mut requires
44
//@ revisions: null misaligned toolarge
55

6+
#![allow(invalid_null_arguments)]
7+
68
fn main() {
79
unsafe {
810
#[cfg(null)]

tests/ui/precondition-checks/slice-from-raw-parts.rs

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
//@ error-pattern: unsafe precondition(s) violated: slice::from_raw_parts requires
44
//@ revisions: null misaligned toolarge
55

6+
#![allow(invalid_null_arguments)]
7+
68
fn main() {
79
unsafe {
810
#[cfg(null)]

tests/ui/precondition-checks/swap-nonoverlapping.rs

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
//@ error-pattern: unsafe precondition(s) violated: ptr::swap_nonoverlapping requires
44
//@ revisions: null_src null_dst misaligned_src misaligned_dst overlapping
55

6+
#![allow(invalid_null_arguments)]
7+
68
use std::ptr;
79

810
fn main() {

tests/ui/precondition-checks/write_volatile.rs

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
//@ error-pattern: unsafe precondition(s) violated: ptr::write_volatile requires
44
//@ revisions: null misaligned
55

6+
#![allow(invalid_null_arguments)]
7+
68
use std::ptr;
79

810
fn main() {

tests/ui/precondition-checks/zero-size-null.rs

+2
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,10 @@ use std::ptr;
77

88
fn main() {
99
unsafe {
10+
#[expect(invalid_null_arguments)] // false-positive, copy of 0
1011
ptr::copy_nonoverlapping::<u8>(ptr::null(), ptr::null_mut(), 0);
1112
ptr::copy_nonoverlapping::<()>(ptr::null(), ptr::null_mut(), 123);
13+
#[expect(invalid_null_arguments)] // false-positive, copy of 0
1214
ptr::copy::<u8>(ptr::null(), ptr::null_mut(), 0);
1315
ptr::copy::<()>(ptr::null(), ptr::null_mut(), 123);
1416
ptr::swap::<()>(ptr::null_mut(), ptr::null_mut());

0 commit comments

Comments
 (0)