Ralf Jung cb985670c1 make alignment check integer-based by default, and add an option to make it symbolic		2020-08-16 17:08:38 +02:00
..
alignment.rs	fix comment in alignment test	2020-04-14 09:50:20 +02:00
atomic_unaligned.rs	make alignment check integer-based by default, and add an option to make it symbolic	2020-08-16 17:08:38 +02:00
dyn_alignment.rs	make alignment check integer-based by default, and add an option to make it symbolic	2020-08-16 17:08:38 +02:00
intptrcast_alignment_check.rs	make alignment check integer-based by default, and add an option to make it symbolic	2020-08-16 17:08:38 +02:00
reference_to_packed.rs	make alignment check integer-based by default, and add an option to make it symbolic	2020-08-16 17:08:38 +02:00
unaligned_ptr1.rs	make sure we find some things without validation or stacked borrows, respectively	2020-04-14 10:23:47 +02:00
unaligned_ptr2.rs	make sure we find some things without validation or stacked borrows, respectively	2020-04-14 10:23:47 +02:00
unaligned_ptr3.rs	make sure we find some things without validation or stacked borrows, respectively	2020-04-14 10:23:47 +02:00
unaligned_ptr_addr_of.rs	unaligned-raw-deref is always UB	2020-06-20 14:34:57 +02:00
unaligned_ptr_zst.rs	make alignment check integer-based by default, and add an option to make it symbolic	2020-08-16 17:08:38 +02:00