9 files changed +18
-0
lines changed Original file line number Diff line number Diff line change 3
3
//@ error-pattern: unsafe precondition(s) violated: ptr::copy_nonoverlapping requires
4
4
//@ revisions: null_src null_dst misaligned_src misaligned_dst overlapping
5
5
6
+ #![ allow( invalid_null_arguments) ]
7
+
6
8
use std:: ptr;
7
9
8
10
fn main ( ) {
Original file line number Diff line number Diff line change 3
3
//@ error-pattern: unsafe precondition(s) violated: ptr::copy requires
4
4
//@ revisions: null_src null_dst misaligned_src misaligned_dst
5
5
6
+ #![ allow( invalid_null_arguments) ]
7
+
6
8
use std:: ptr;
7
9
8
10
fn main ( ) {
Original file line number Diff line number Diff line change 3
3
//@ error-pattern: unsafe precondition(s) violated: ptr::read_volatile requires
4
4
//@ revisions: null misaligned
5
5
6
+ #![ allow( invalid_null_arguments) ]
7
+
6
8
use std:: ptr;
7
9
8
10
fn main ( ) {
Original file line number Diff line number Diff line change 3
3
//@ error-pattern: unsafe precondition(s) violated: ptr::replace requires
4
4
//@ revisions: null misaligned
5
5
6
+ #![ allow( invalid_null_arguments) ]
7
+
6
8
use std:: ptr;
7
9
8
10
fn main ( ) {
Original file line number Diff line number Diff line change 3
3
//@ error-pattern: unsafe precondition(s) violated: slice::from_raw_parts_mut requires
4
4
//@ revisions: null misaligned toolarge
5
5
6
+ #![ allow( invalid_null_arguments) ]
7
+
6
8
fn main ( ) {
7
9
unsafe {
8
10
#[ cfg( null) ]
Original file line number Diff line number Diff line change 3
3
//@ error-pattern: unsafe precondition(s) violated: slice::from_raw_parts requires
4
4
//@ revisions: null misaligned toolarge
5
5
6
+ #![ allow( invalid_null_arguments) ]
7
+
6
8
fn main ( ) {
7
9
unsafe {
8
10
#[ cfg( null) ]
Original file line number Diff line number Diff line change 3
3
//@ error-pattern: unsafe precondition(s) violated: ptr::swap_nonoverlapping requires
4
4
//@ revisions: null_src null_dst misaligned_src misaligned_dst overlapping
5
5
6
+ #![ allow( invalid_null_arguments) ]
7
+
6
8
use std:: ptr;
7
9
8
10
fn main ( ) {
Original file line number Diff line number Diff line change 3
3
//@ error-pattern: unsafe precondition(s) violated: ptr::write_volatile requires
4
4
//@ revisions: null misaligned
5
5
6
+ #![ allow( invalid_null_arguments) ]
7
+
6
8
use std:: ptr;
7
9
8
10
fn main ( ) {
Original file line number Diff line number Diff line change @@ -7,8 +7,10 @@ use std::ptr;
7
7
8
8
fn main ( ) {
9
9
unsafe {
10
+ #[ expect( invalid_null_arguments) ] // false-positive, copy of 0
10
11
ptr:: copy_nonoverlapping :: < u8 > ( ptr:: null ( ) , ptr:: null_mut ( ) , 0 ) ;
11
12
ptr:: copy_nonoverlapping :: < ( ) > ( ptr:: null ( ) , ptr:: null_mut ( ) , 123 ) ;
13
+ #[ expect( invalid_null_arguments) ] // false-positive, copy of 0
12
14
ptr:: copy :: < u8 > ( ptr:: null ( ) , ptr:: null_mut ( ) , 0 ) ;
13
15
ptr:: copy :: < ( ) > ( ptr:: null ( ) , ptr:: null_mut ( ) , 123 ) ;
14
16
ptr:: swap :: < ( ) > ( ptr:: null_mut ( ) , ptr:: null_mut ( ) ) ;
0 commit comments