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