File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change
1
+ // compile-flag: -Zmiri-seed=
1
2
#![ feature( allocator_api) ]
2
3
3
4
use std:: ptr:: NonNull ;
@@ -32,8 +33,8 @@ fn check_overalign_requests<T: Alloc>(mut allocator: T) {
32
33
let size = 8 ;
33
34
// Greater than `size`.
34
35
let align = 16 ;
35
- // Miri is deterministic; no need to try many times.
36
- let iterations = 1 ;
36
+
37
+ let iterations = 5 ;
37
38
unsafe {
38
39
let pointers: Vec < _ > = ( 0 ..iterations) . map ( |_| {
39
40
allocator. alloc ( Layout :: from_size_align ( size, align) . unwrap ( ) ) . unwrap ( )
@@ -75,7 +76,6 @@ fn box_to_global() {
75
76
fn main ( ) {
76
77
check_alloc ( System ) ;
77
78
check_alloc ( Global ) ;
78
- #[ cfg( not( target_os = "windows" ) ) ] // TODO: Inspects allocation base address on Windows; needs intptrcast model
79
79
check_overalign_requests ( System ) ;
80
80
check_overalign_requests ( Global ) ;
81
81
global_to_box ( ) ;
You can’t perform that action at this time.
0 commit comments