File tree 5 files changed +8
-1
lines changed
src/tools/miri/tests/pass
5 files changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -1933,7 +1933,7 @@ fn vec_macro_repeating_null_raw_fat_pointer() {
1933
1933
1934
1934
let vec = vec ! [ null_raw_dyn; 1 ] ;
1935
1935
dbg ! ( ptr_metadata( vec[ 0 ] ) ) ;
1936
- assert ! ( vec[ 0 ] == null_raw_dyn) ;
1936
+ assert ! ( std :: ptr :: eq ( vec[ 0 ] , null_raw_dyn) ) ;
1937
1937
1938
1938
// Polyfill for https://github.com/rust-lang/rfcs/pull/2580
1939
1939
Original file line number Diff line number Diff line change 2
2
//@[tree]compile-flags: -Zmiri-tree-borrows
3
3
//@compile-flags: -Zmiri-permissive-provenance
4
4
#![ feature( ptr_metadata, const_raw_ptr_comparison) ]
5
+ #![ allow( unclear_fat_pointer_comparisons) ]
5
6
6
7
use std:: mem:: { self , transmute} ;
7
8
use std:: ptr;
Original file line number Diff line number Diff line change 3
3
//@compile-flags: -Zmiri-strict-provenance
4
4
#![ feature( new_uninit) ]
5
5
#![ feature( get_mut_unchecked) ]
6
+ #![ allow( unclear_fat_pointer_comparisons) ]
6
7
7
8
use std:: cell:: { Cell , RefCell } ;
8
9
use std:: fmt:: Debug ;
Original file line number Diff line number Diff line change 1
1
// build-pass
2
+
2
3
#![ allow( unused_must_use) ]
4
+ #![ allow( unclear_fat_pointer_comparisons) ]
5
+
3
6
#[ allow( dead_code) ]
4
7
fn check ( a : & str ) {
5
8
let x = a as * const str ;
Original file line number Diff line number Diff line change 1
1
// run-pass
2
2
// check raw fat pointer ops in mir
3
3
// FIXME: please improve this when we get monomorphization support
4
+
4
5
#![ feature( raw_ref_op) ]
6
+ #![ allow( unclear_fat_pointer_comparisons) ]
5
7
6
8
use std:: mem;
7
9
You can’t perform that action at this time.
0 commit comments