17 Commits

Author	SHA1	Message	Date
Ralf Jung	798dc5a78a	Make sure we notice when a u16 is loaded at offset 1 into a u8 allocation	2022-03-02 13:06:28 -05:00
Ralf Jung	de0f3f930b	rustup	2021-03-28 01:36:41 +01:00
Ralf Jung	585e51aabd	disable MIR opts for ZST-related tests	2021-03-25 12:44:30 +01:00
Ralf Jung	6f5a91f70a	rustup	2021-01-31 13:12:25 +01:00
Ralf Jung	029c851d7c	another optimization work-around	2020-09-07 11:23:09 +02:00
Ralf Jung	237bea2c17	avoid promotion in alignment test to get different alignment on each try	2020-08-20 10:14:13 +02:00
Ralf Jung	d5b15297ac	forgot to add alignment test loop in one test	2020-08-18 10:19:29 +02:00
Ralf Jung	5b1bc4ba94	make another test more robust against random alignment	2020-08-17 18:22:46 +02:00
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
Ralf Jung	8d1d572472	unaligned-raw-deref is always UB	2020-06-20 14:34:57 +02:00
Ralf Jung	0345ee42da	some UB gets masked by optimizations	2020-04-18 09:15:59 +02:00
Ralf Jung	c6ab27577b	test that we check dynamic actual size of object	2020-04-18 02:06:36 +02:00
Ralf Jung	521e77d712	test that we properly check dynamic alignment	2020-04-17 20:43:54 +02:00
Ralf Jung	e6822d60b3	make sure we find some things without validation or stacked borrows, respectively	2020-04-14 10:23:47 +02:00
Ralf Jung	f4a15444cf	fix comment in alignment test	2020-04-14 09:50:20 +02:00
Ralf Jung	fd8beaf5c4	add option to disable alignment checks	2020-04-13 17:58:03 +02:00
Ralf Jung	b2bf4ec2f5	organize compile-fail tests in folders	2020-04-11 11:36:55 +02:00