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