diff --git a/tests/compile-fail/deallocate-bad-alignment.rs b/tests/compile-fail/alloc/deallocate-bad-alignment.rs similarity index 100% rename from tests/compile-fail/deallocate-bad-alignment.rs rename to tests/compile-fail/alloc/deallocate-bad-alignment.rs diff --git a/tests/compile-fail/deallocate-bad-size.rs b/tests/compile-fail/alloc/deallocate-bad-size.rs similarity index 100% rename from tests/compile-fail/deallocate-bad-size.rs rename to tests/compile-fail/alloc/deallocate-bad-size.rs diff --git a/tests/compile-fail/deallocate-twice.rs b/tests/compile-fail/alloc/deallocate-twice.rs similarity index 100% rename from tests/compile-fail/deallocate-twice.rs rename to tests/compile-fail/alloc/deallocate-twice.rs diff --git a/tests/compile-fail/reallocate-bad-size.rs b/tests/compile-fail/alloc/reallocate-bad-size.rs similarity index 100% rename from tests/compile-fail/reallocate-bad-size.rs rename to tests/compile-fail/alloc/reallocate-bad-size.rs diff --git a/tests/compile-fail/reallocate-change-alloc.rs b/tests/compile-fail/alloc/reallocate-change-alloc.rs similarity index 100% rename from tests/compile-fail/reallocate-change-alloc.rs rename to tests/compile-fail/alloc/reallocate-change-alloc.rs diff --git a/tests/compile-fail/reallocate-dangling.rs b/tests/compile-fail/alloc/reallocate-dangling.rs similarity index 100% rename from tests/compile-fail/reallocate-dangling.rs rename to tests/compile-fail/alloc/reallocate-dangling.rs diff --git a/tests/compile-fail/stack_free.rs b/tests/compile-fail/alloc/stack_free.rs similarity index 100% rename from tests/compile-fail/stack_free.rs rename to tests/compile-fail/alloc/stack_free.rs diff --git a/tests/compile-fail/dangling_pointer_deref.rs b/tests/compile-fail/dangling_pointers/dangling_pointer_deref.rs similarity index 100% rename from tests/compile-fail/dangling_pointer_deref.rs rename to tests/compile-fail/dangling_pointers/dangling_pointer_deref.rs diff --git a/tests/compile-fail/dangling_zst_deref.rs b/tests/compile-fail/dangling_pointers/dangling_zst_deref.rs similarity index 100% rename from tests/compile-fail/dangling_zst_deref.rs rename to tests/compile-fail/dangling_pointers/dangling_zst_deref.rs diff --git a/tests/compile-fail/deref-invalid-ptr.rs b/tests/compile-fail/dangling_pointers/deref-invalid-ptr.rs similarity index 75% rename from tests/compile-fail/deref-invalid-ptr.rs rename to tests/compile-fail/dangling_pointers/deref-invalid-ptr.rs index 561017293a1..e0bba8c7c73 100644 --- a/tests/compile-fail/deref-invalid-ptr.rs +++ b/tests/compile-fail/dangling_pointers/deref-invalid-ptr.rs @@ -2,6 +2,6 @@ // compile-flags: -Zmiri-disable-validation fn main() { - let x = 2usize as *const u32; - let _y = unsafe { &*x as *const u32 }; //~ ERROR invalid use of 2 as a pointer + let x = 16usize as *const u32; + let _y = unsafe { &*x as *const u32 }; //~ ERROR invalid use of 16 as a pointer } diff --git a/tests/compile-fail/deref-partially-dangling.rs b/tests/compile-fail/dangling_pointers/deref-partially-dangling.rs similarity index 100% rename from tests/compile-fail/deref-partially-dangling.rs rename to tests/compile-fail/dangling_pointers/deref-partially-dangling.rs diff --git a/tests/compile-fail/maybe_null_pointer_deref_zst.rs b/tests/compile-fail/dangling_pointers/maybe_null_pointer_deref_zst.rs similarity index 100% rename from tests/compile-fail/maybe_null_pointer_deref_zst.rs rename to tests/compile-fail/dangling_pointers/maybe_null_pointer_deref_zst.rs diff --git a/tests/compile-fail/maybe_null_pointer_write_zst.rs b/tests/compile-fail/dangling_pointers/maybe_null_pointer_write_zst.rs similarity index 100% rename from tests/compile-fail/maybe_null_pointer_write_zst.rs rename to tests/compile-fail/dangling_pointers/maybe_null_pointer_write_zst.rs diff --git a/tests/compile-fail/out_of_bounds_read1.rs b/tests/compile-fail/dangling_pointers/out_of_bounds_read1.rs similarity index 100% rename from tests/compile-fail/out_of_bounds_read1.rs rename to tests/compile-fail/dangling_pointers/out_of_bounds_read1.rs diff --git a/tests/compile-fail/out_of_bounds_read2.rs b/tests/compile-fail/dangling_pointers/out_of_bounds_read2.rs similarity index 100% rename from tests/compile-fail/out_of_bounds_read2.rs rename to tests/compile-fail/dangling_pointers/out_of_bounds_read2.rs diff --git a/tests/compile-fail/wild_pointer_deref.rs b/tests/compile-fail/dangling_pointers/wild_pointer_deref.rs similarity index 100% rename from tests/compile-fail/wild_pointer_deref.rs rename to tests/compile-fail/dangling_pointers/wild_pointer_deref.rs diff --git a/tests/compile-fail/cast_box_int_to_fn_ptr.rs b/tests/compile-fail/function_pointers/cast_box_int_to_fn_ptr.rs similarity index 100% rename from tests/compile-fail/cast_box_int_to_fn_ptr.rs rename to tests/compile-fail/function_pointers/cast_box_int_to_fn_ptr.rs diff --git a/tests/compile-fail/cast_fn_ptr1.rs b/tests/compile-fail/function_pointers/cast_fn_ptr1.rs similarity index 100% rename from tests/compile-fail/cast_fn_ptr1.rs rename to tests/compile-fail/function_pointers/cast_fn_ptr1.rs diff --git a/tests/compile-fail/cast_fn_ptr2.rs b/tests/compile-fail/function_pointers/cast_fn_ptr2.rs similarity index 100% rename from tests/compile-fail/cast_fn_ptr2.rs rename to tests/compile-fail/function_pointers/cast_fn_ptr2.rs diff --git a/tests/compile-fail/cast_fn_ptr3.rs b/tests/compile-fail/function_pointers/cast_fn_ptr3.rs similarity index 100% rename from tests/compile-fail/cast_fn_ptr3.rs rename to tests/compile-fail/function_pointers/cast_fn_ptr3.rs diff --git a/tests/compile-fail/cast_fn_ptr4.rs b/tests/compile-fail/function_pointers/cast_fn_ptr4.rs similarity index 100% rename from tests/compile-fail/cast_fn_ptr4.rs rename to tests/compile-fail/function_pointers/cast_fn_ptr4.rs diff --git a/tests/compile-fail/cast_fn_ptr5.rs b/tests/compile-fail/function_pointers/cast_fn_ptr5.rs similarity index 100% rename from tests/compile-fail/cast_fn_ptr5.rs rename to tests/compile-fail/function_pointers/cast_fn_ptr5.rs diff --git a/tests/compile-fail/cast_int_to_fn_ptr.rs b/tests/compile-fail/function_pointers/cast_int_to_fn_ptr.rs similarity index 100% rename from tests/compile-fail/cast_int_to_fn_ptr.rs rename to tests/compile-fail/function_pointers/cast_int_to_fn_ptr.rs diff --git a/tests/compile-fail/deref_fn_ptr.rs b/tests/compile-fail/function_pointers/deref_fn_ptr.rs similarity index 100% rename from tests/compile-fail/deref_fn_ptr.rs rename to tests/compile-fail/function_pointers/deref_fn_ptr.rs diff --git a/tests/compile-fail/execute_memory.rs b/tests/compile-fail/function_pointers/execute_memory.rs similarity index 100% rename from tests/compile-fail/execute_memory.rs rename to tests/compile-fail/function_pointers/execute_memory.rs diff --git a/tests/compile-fail/fn_ptr_offset.rs b/tests/compile-fail/function_pointers/fn_ptr_offset.rs similarity index 100% rename from tests/compile-fail/fn_ptr_offset.rs rename to tests/compile-fail/function_pointers/fn_ptr_offset.rs diff --git a/tests/compile-fail/assume.rs b/tests/compile-fail/intrinsics/assume.rs similarity index 100% rename from tests/compile-fail/assume.rs rename to tests/compile-fail/intrinsics/assume.rs diff --git a/tests/compile-fail/copy_null.rs b/tests/compile-fail/intrinsics/copy_null.rs similarity index 100% rename from tests/compile-fail/copy_null.rs rename to tests/compile-fail/intrinsics/copy_null.rs diff --git a/tests/compile-fail/copy_overflow.rs b/tests/compile-fail/intrinsics/copy_overflow.rs similarity index 100% rename from tests/compile-fail/copy_overflow.rs rename to tests/compile-fail/intrinsics/copy_overflow.rs diff --git a/tests/compile-fail/copy_overlapping.rs b/tests/compile-fail/intrinsics/copy_overlapping.rs similarity index 100% rename from tests/compile-fail/copy_overlapping.rs rename to tests/compile-fail/intrinsics/copy_overlapping.rs diff --git a/tests/compile-fail/copy_unaligned.rs b/tests/compile-fail/intrinsics/copy_unaligned.rs similarity index 100% rename from tests/compile-fail/copy_unaligned.rs rename to tests/compile-fail/intrinsics/copy_unaligned.rs diff --git a/tests/compile-fail/ctlz_nonzero.rs b/tests/compile-fail/intrinsics/ctlz_nonzero.rs similarity index 100% rename from tests/compile-fail/ctlz_nonzero.rs rename to tests/compile-fail/intrinsics/ctlz_nonzero.rs diff --git a/tests/compile-fail/cttz_nonzero.rs b/tests/compile-fail/intrinsics/cttz_nonzero.rs similarity index 100% rename from tests/compile-fail/cttz_nonzero.rs rename to tests/compile-fail/intrinsics/cttz_nonzero.rs diff --git a/tests/compile-fail/div-by-zero-1.rs b/tests/compile-fail/intrinsics/div-by-zero-1.rs similarity index 100% rename from tests/compile-fail/div-by-zero-1.rs rename to tests/compile-fail/intrinsics/div-by-zero-1.rs diff --git a/tests/compile-fail/div-by-zero-2.rs b/tests/compile-fail/intrinsics/div-by-zero-2.rs similarity index 100% rename from tests/compile-fail/div-by-zero-2.rs rename to tests/compile-fail/intrinsics/div-by-zero-2.rs diff --git a/tests/compile-fail/exact_div1.rs b/tests/compile-fail/intrinsics/exact_div1.rs similarity index 100% rename from tests/compile-fail/exact_div1.rs rename to tests/compile-fail/intrinsics/exact_div1.rs diff --git a/tests/compile-fail/exact_div2.rs b/tests/compile-fail/intrinsics/exact_div2.rs similarity index 100% rename from tests/compile-fail/exact_div2.rs rename to tests/compile-fail/intrinsics/exact_div2.rs diff --git a/tests/compile-fail/exact_div3.rs b/tests/compile-fail/intrinsics/exact_div3.rs similarity index 100% rename from tests/compile-fail/exact_div3.rs rename to tests/compile-fail/intrinsics/exact_div3.rs diff --git a/tests/compile-fail/exact_div4.rs b/tests/compile-fail/intrinsics/exact_div4.rs similarity index 100% rename from tests/compile-fail/exact_div4.rs rename to tests/compile-fail/intrinsics/exact_div4.rs diff --git a/tests/compile-fail/out_of_bounds_ptr_1.rs b/tests/compile-fail/intrinsics/out_of_bounds_ptr_1.rs similarity index 100% rename from tests/compile-fail/out_of_bounds_ptr_1.rs rename to tests/compile-fail/intrinsics/out_of_bounds_ptr_1.rs diff --git a/tests/compile-fail/out_of_bounds_ptr_2.rs b/tests/compile-fail/intrinsics/out_of_bounds_ptr_2.rs similarity index 100% rename from tests/compile-fail/out_of_bounds_ptr_2.rs rename to tests/compile-fail/intrinsics/out_of_bounds_ptr_2.rs diff --git a/tests/compile-fail/overflowing-unchecked-rsh.rs b/tests/compile-fail/intrinsics/overflowing-unchecked-rsh.rs similarity index 100% rename from tests/compile-fail/overflowing-unchecked-rsh.rs rename to tests/compile-fail/intrinsics/overflowing-unchecked-rsh.rs diff --git a/tests/compile-fail/ptr_offset_0_plus_0.rs b/tests/compile-fail/intrinsics/ptr_offset_0_plus_0.rs similarity index 100% rename from tests/compile-fail/ptr_offset_0_plus_0.rs rename to tests/compile-fail/intrinsics/ptr_offset_0_plus_0.rs diff --git a/tests/compile-fail/ptr_offset_int_plus_int.rs b/tests/compile-fail/intrinsics/ptr_offset_int_plus_int.rs similarity index 100% rename from tests/compile-fail/ptr_offset_int_plus_int.rs rename to tests/compile-fail/intrinsics/ptr_offset_int_plus_int.rs diff --git a/tests/compile-fail/ptr_offset_int_plus_ptr.rs b/tests/compile-fail/intrinsics/ptr_offset_int_plus_ptr.rs similarity index 100% rename from tests/compile-fail/ptr_offset_int_plus_ptr.rs rename to tests/compile-fail/intrinsics/ptr_offset_int_plus_ptr.rs diff --git a/tests/compile-fail/ptr_offset_overflow.rs b/tests/compile-fail/intrinsics/ptr_offset_overflow.rs similarity index 100% rename from tests/compile-fail/ptr_offset_overflow.rs rename to tests/compile-fail/intrinsics/ptr_offset_overflow.rs diff --git a/tests/compile-fail/ptr_offset_ptr_plus_0.rs b/tests/compile-fail/intrinsics/ptr_offset_ptr_plus_0.rs similarity index 100% rename from tests/compile-fail/ptr_offset_ptr_plus_0.rs rename to tests/compile-fail/intrinsics/ptr_offset_ptr_plus_0.rs diff --git a/tests/compile-fail/unchecked_add1.rs b/tests/compile-fail/intrinsics/unchecked_add1.rs similarity index 100% rename from tests/compile-fail/unchecked_add1.rs rename to tests/compile-fail/intrinsics/unchecked_add1.rs diff --git a/tests/compile-fail/unchecked_add2.rs b/tests/compile-fail/intrinsics/unchecked_add2.rs similarity index 100% rename from tests/compile-fail/unchecked_add2.rs rename to tests/compile-fail/intrinsics/unchecked_add2.rs diff --git a/tests/compile-fail/unchecked_div1.rs b/tests/compile-fail/intrinsics/unchecked_div1.rs similarity index 100% rename from tests/compile-fail/unchecked_div1.rs rename to tests/compile-fail/intrinsics/unchecked_div1.rs diff --git a/tests/compile-fail/unchecked_mul1.rs b/tests/compile-fail/intrinsics/unchecked_mul1.rs similarity index 100% rename from tests/compile-fail/unchecked_mul1.rs rename to tests/compile-fail/intrinsics/unchecked_mul1.rs diff --git a/tests/compile-fail/unchecked_mul2.rs b/tests/compile-fail/intrinsics/unchecked_mul2.rs similarity index 100% rename from tests/compile-fail/unchecked_mul2.rs rename to tests/compile-fail/intrinsics/unchecked_mul2.rs diff --git a/tests/compile-fail/unchecked_sub1.rs b/tests/compile-fail/intrinsics/unchecked_sub1.rs similarity index 100% rename from tests/compile-fail/unchecked_sub1.rs rename to tests/compile-fail/intrinsics/unchecked_sub1.rs diff --git a/tests/compile-fail/unchecked_sub2.rs b/tests/compile-fail/intrinsics/unchecked_sub2.rs similarity index 100% rename from tests/compile-fail/unchecked_sub2.rs rename to tests/compile-fail/intrinsics/unchecked_sub2.rs diff --git a/tests/compile-fail/write_bytes_null.rs b/tests/compile-fail/intrinsics/write_bytes_null.rs similarity index 100% rename from tests/compile-fail/write_bytes_null.rs rename to tests/compile-fail/intrinsics/write_bytes_null.rs diff --git a/tests/compile-fail/write_bytes_overflow.rs b/tests/compile-fail/intrinsics/write_bytes_overflow.rs similarity index 100% rename from tests/compile-fail/write_bytes_overflow.rs rename to tests/compile-fail/intrinsics/write_bytes_overflow.rs diff --git a/tests/compile-fail/libc_pthread_mutex_destroy_locked.rs b/tests/compile-fail/sync/libc_pthread_mutex_destroy_locked.rs similarity index 100% rename from tests/compile-fail/libc_pthread_mutex_destroy_locked.rs rename to tests/compile-fail/sync/libc_pthread_mutex_destroy_locked.rs diff --git a/tests/compile-fail/libc_pthread_mutex_normal_deadlock.rs b/tests/compile-fail/sync/libc_pthread_mutex_normal_deadlock.rs similarity index 100% rename from tests/compile-fail/libc_pthread_mutex_normal_deadlock.rs rename to tests/compile-fail/sync/libc_pthread_mutex_normal_deadlock.rs diff --git a/tests/compile-fail/libc_pthread_mutex_normal_unlock_unlocked.rs b/tests/compile-fail/sync/libc_pthread_mutex_normal_unlock_unlocked.rs similarity index 100% rename from tests/compile-fail/libc_pthread_mutex_normal_unlock_unlocked.rs rename to tests/compile-fail/sync/libc_pthread_mutex_normal_unlock_unlocked.rs diff --git a/tests/compile-fail/libc_pthread_rwlock_destroy_read_locked.rs b/tests/compile-fail/sync/libc_pthread_rwlock_destroy_read_locked.rs similarity index 100% rename from tests/compile-fail/libc_pthread_rwlock_destroy_read_locked.rs rename to tests/compile-fail/sync/libc_pthread_rwlock_destroy_read_locked.rs diff --git a/tests/compile-fail/libc_pthread_rwlock_destroy_write_locked.rs b/tests/compile-fail/sync/libc_pthread_rwlock_destroy_write_locked.rs similarity index 100% rename from tests/compile-fail/libc_pthread_rwlock_destroy_write_locked.rs rename to tests/compile-fail/sync/libc_pthread_rwlock_destroy_write_locked.rs diff --git a/tests/compile-fail/libc_pthread_rwlock_read_write_deadlock.rs b/tests/compile-fail/sync/libc_pthread_rwlock_read_write_deadlock.rs similarity index 100% rename from tests/compile-fail/libc_pthread_rwlock_read_write_deadlock.rs rename to tests/compile-fail/sync/libc_pthread_rwlock_read_write_deadlock.rs diff --git a/tests/compile-fail/libc_pthread_rwlock_unlock_unlocked.rs b/tests/compile-fail/sync/libc_pthread_rwlock_unlock_unlocked.rs similarity index 100% rename from tests/compile-fail/libc_pthread_rwlock_unlock_unlocked.rs rename to tests/compile-fail/sync/libc_pthread_rwlock_unlock_unlocked.rs diff --git a/tests/compile-fail/libc_pthread_rwlock_write_read_deadlock.rs b/tests/compile-fail/sync/libc_pthread_rwlock_write_read_deadlock.rs similarity index 100% rename from tests/compile-fail/libc_pthread_rwlock_write_read_deadlock.rs rename to tests/compile-fail/sync/libc_pthread_rwlock_write_read_deadlock.rs diff --git a/tests/compile-fail/libc_pthread_rwlock_write_write_deadlock.rs b/tests/compile-fail/sync/libc_pthread_rwlock_write_write_deadlock.rs similarity index 100% rename from tests/compile-fail/libc_pthread_rwlock_write_write_deadlock.rs rename to tests/compile-fail/sync/libc_pthread_rwlock_write_write_deadlock.rs diff --git a/tests/compile-fail/alignment.rs b/tests/compile-fail/unaligned_pointers/alignment.rs similarity index 100% rename from tests/compile-fail/alignment.rs rename to tests/compile-fail/unaligned_pointers/alignment.rs diff --git a/tests/compile-fail/atomic_unaligned.rs b/tests/compile-fail/unaligned_pointers/atomic_unaligned.rs similarity index 100% rename from tests/compile-fail/atomic_unaligned.rs rename to tests/compile-fail/unaligned_pointers/atomic_unaligned.rs diff --git a/tests/compile-fail/intptrcast_alignment_check.rs b/tests/compile-fail/unaligned_pointers/intptrcast_alignment_check.rs similarity index 100% rename from tests/compile-fail/intptrcast_alignment_check.rs rename to tests/compile-fail/unaligned_pointers/intptrcast_alignment_check.rs diff --git a/tests/compile-fail/reference_to_packed.rs b/tests/compile-fail/unaligned_pointers/reference_to_packed.rs similarity index 100% rename from tests/compile-fail/reference_to_packed.rs rename to tests/compile-fail/unaligned_pointers/reference_to_packed.rs diff --git a/tests/compile-fail/unaligned_ptr1.rs b/tests/compile-fail/unaligned_pointers/unaligned_ptr1.rs similarity index 100% rename from tests/compile-fail/unaligned_ptr1.rs rename to tests/compile-fail/unaligned_pointers/unaligned_ptr1.rs diff --git a/tests/compile-fail/unaligned_ptr2.rs b/tests/compile-fail/unaligned_pointers/unaligned_ptr2.rs similarity index 100% rename from tests/compile-fail/unaligned_ptr2.rs rename to tests/compile-fail/unaligned_pointers/unaligned_ptr2.rs diff --git a/tests/compile-fail/unaligned_ptr3.rs b/tests/compile-fail/unaligned_pointers/unaligned_ptr3.rs similarity index 100% rename from tests/compile-fail/unaligned_ptr3.rs rename to tests/compile-fail/unaligned_pointers/unaligned_ptr3.rs diff --git a/tests/compile-fail/unaligned_ptr_zst.rs b/tests/compile-fail/unaligned_pointers/unaligned_ptr_zst.rs similarity index 100% rename from tests/compile-fail/unaligned_ptr_zst.rs rename to tests/compile-fail/unaligned_pointers/unaligned_ptr_zst.rs