3 Commits

Author	SHA1	Message	Date
Ralf Jung	a1233a721d	adjust Miri to Pointer type overhaul	2021-07-16 10:10:12 +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