File tree Expand file tree Collapse file tree 5 files changed +8
-1
lines changed
src/tools/miri/tests/pass Expand file tree Collapse file tree 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() {
19331933
19341934 let vec = vec ! [ null_raw_dyn; 1 ] ;
19351935 dbg ! ( ptr_metadata( vec[ 0 ] ) ) ;
1936- assert ! ( vec[ 0 ] == null_raw_dyn) ;
1936+ assert ! ( std :: ptr :: eq ( vec[ 0 ] , null_raw_dyn) ) ;
19371937
19381938 // Polyfill for https://github.com/rust-lang/rfcs/pull/2580
19391939
Original file line number Diff line number Diff line change 22//@[tree]compile-flags: -Zmiri-tree-borrows
33//@compile-flags: -Zmiri-permissive-provenance
44#![ feature( ptr_metadata, const_raw_ptr_comparison) ]
5+ #![ allow( unclear_fat_pointer_comparisons) ]
56
67use std:: mem:: { self , transmute} ;
78use std:: ptr;
Original file line number Diff line number Diff line change 33//@compile-flags: -Zmiri-strict-provenance
44#![ feature( new_uninit) ]
55#![ feature( get_mut_unchecked) ]
6+ #![ allow( unclear_fat_pointer_comparisons) ]
67
78use std:: cell:: { Cell , RefCell } ;
89use std:: fmt:: Debug ;
Original file line number Diff line number Diff line change 11// build-pass
2+
23#![ allow( unused_must_use) ]
4+ #![ allow( unclear_fat_pointer_comparisons) ]
5+
36#[ allow( dead_code) ]
47fn check ( a : & str ) {
58 let x = a as * const str ;
Original file line number Diff line number Diff line change 11// run-pass
22// check raw fat pointer ops in mir
33// FIXME: please improve this when we get monomorphization support
4+
45#![ feature( raw_ref_op) ]
6+ #![ allow( unclear_fat_pointer_comparisons) ]
57
68use std:: mem;
79
You can’t perform that action at this time.
0 commit comments