Allow invalid_null_arguments in some tests

This commit is contained in:
Urgau 2025-03-09 22:23:31 +01:00
parent b738343a54
commit aa8848040a
9 changed files with 18 additions and 0 deletions

View File

@ -3,6 +3,8 @@
//@ error-pattern: unsafe precondition(s) violated: ptr::copy_nonoverlapping requires
//@ revisions: null_src null_dst misaligned_src misaligned_dst overlapping
#![allow(invalid_null_arguments)]
use std::ptr;
fn main() {

View File

@ -3,6 +3,8 @@
//@ error-pattern: unsafe precondition(s) violated: ptr::copy requires
//@ revisions: null_src null_dst misaligned_src misaligned_dst
#![allow(invalid_null_arguments)]
use std::ptr;
fn main() {

View File

@ -3,6 +3,8 @@
//@ error-pattern: unsafe precondition(s) violated: ptr::read_volatile requires
//@ revisions: null misaligned
#![allow(invalid_null_arguments)]
use std::ptr;
fn main() {

View File

@ -3,6 +3,8 @@
//@ error-pattern: unsafe precondition(s) violated: ptr::replace requires
//@ revisions: null misaligned
#![allow(invalid_null_arguments)]
use std::ptr;
fn main() {

View File

@ -3,6 +3,8 @@
//@ error-pattern: unsafe precondition(s) violated: slice::from_raw_parts_mut requires
//@ revisions: null misaligned toolarge
#![allow(invalid_null_arguments)]
fn main() {
unsafe {
#[cfg(null)]

View File

@ -3,6 +3,8 @@
//@ error-pattern: unsafe precondition(s) violated: slice::from_raw_parts requires
//@ revisions: null misaligned toolarge
#![allow(invalid_null_arguments)]
fn main() {
unsafe {
#[cfg(null)]

View File

@ -3,6 +3,8 @@
//@ error-pattern: unsafe precondition(s) violated: ptr::swap_nonoverlapping requires
//@ revisions: null_src null_dst misaligned_src misaligned_dst overlapping
#![allow(invalid_null_arguments)]
use std::ptr;
fn main() {

View File

@ -3,6 +3,8 @@
//@ error-pattern: unsafe precondition(s) violated: ptr::write_volatile requires
//@ revisions: null misaligned
#![allow(invalid_null_arguments)]
use std::ptr;
fn main() {

View File

@ -7,8 +7,10 @@ use std::ptr;
fn main() {
unsafe {
#[expect(invalid_null_arguments)] // false-positive, copy of 0
ptr::copy_nonoverlapping::<u8>(ptr::null(), ptr::null_mut(), 0);
ptr::copy_nonoverlapping::<()>(ptr::null(), ptr::null_mut(), 123);
#[expect(invalid_null_arguments)] // false-positive, copy of 0
ptr::copy::<u8>(ptr::null(), ptr::null_mut(), 0);
ptr::copy::<()>(ptr::null(), ptr::null_mut(), 123);
ptr::swap::<()>(ptr::null_mut(), ptr::null_mut());