File tree Expand file tree Collapse file tree 3 files changed +2
-5
lines changed Expand file tree Collapse file tree 3 files changed +2
-5
lines changed Original file line number Diff line number Diff line change 1- 99b7134389e9766462601a2fc4013840b9d31745
1+ 5c8488605624d67b272953bc21d41db60dbd5654
Original file line number Diff line number Diff line change 44
55//@normalize-stderr-test: "using [A-Za-z]+ heap deallocation operation" -> "using PLATFORM heap deallocation operation"
66//@normalize-stderr-test: "\| +\^+" -> "| ^"
7- //@normalize-stderr-test: "libc::free\([^()]*\)|unsafe \{ HeapFree\([^()]*\) \};" -> "FREE();"
7+ //@normalize-stderr-test: "libc::free\([^()]*\)|unsafe \{ HeapFree\([^}]* \};" -> "FREE();"
88
99#![ feature( allocator_api, slice_ptr_get) ]
1010
Original file line number Diff line number Diff line change @@ -39,8 +39,6 @@ fn test_ptr(ptr: *mut ()) {
3939 // Distance.
4040 let ptr = ptr. cast :: < i32 > ( ) ;
4141 ptr. offset_from ( ptr) ;
42- /*
43- FIXME: this is disabled for now as these cases are not yet allowed.
4442 // Distance from other "bad" pointers that have the same address, but different provenance. Some
4543 // of this is library UB, but we don't want it to be language UB since that would violate
4644 // provenance monotonicity: if we allow computing the distance between two ptrs with no
@@ -54,6 +52,5 @@ fn test_ptr(ptr: *mut ()) {
5452 // - Distance from use-after-free pointer
5553 drop ( b) ;
5654 ptr. offset_from ( other_ptr. with_addr ( ptr. addr ( ) ) ) ;
57- */
5855 }
5956}
You can’t perform that action at this time.
0 commit comments