Skip to content

Commit d5ca345

Browse files
RalfJungRalfJung
committed
remove redundant tests / flags
1 parent 3c1ab78 commit d5ca345

4 files changed

+1
-24
lines changed

‎tests/compile-fail/intptrcast_alignment_check.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
// Validation makes this fail in the wrong place
2-
// compile-flags: -Zmiri-disable-validation -Zmiri-seed=0000000000000000
2+
// compile-flags: -Zmiri-disable-validation
33

44
// Even with intptrcast and without validation, we want to be *sure* to catch bugs
55
// that arise from pointers being insufficiently aligned. The only way to achieve

‎tests/compile-fail/intptrcast_cast_int_to_fn_ptr.rs

Lines changed: 0 additions & 10 deletions
This file was deleted.

‎tests/compile-fail/intptrcast_null_pointer_deref.rs

Lines changed: 0 additions & 6 deletions
This file was deleted.

‎tests/compile-fail/intptrcast_wild_pointer_deref.rs

Lines changed: 0 additions & 7 deletions
This file was deleted.

0 commit comments

Comments
 (0)