4 Commits

Author	SHA1	Message	Date
Ralf Jung	1103a10e2c	adjust for error reform	2020-03-19 08:25:08 +01:00
Ralf Jung	60a0688185	adjust tests for eager pointer checks on deref	2019-08-15 11:01:03 +02:00
Ralf Jung	d5ca345c36	remove redundant tests / flags	2019-07-23 23:26:25 +02:00
Ralf Jung	0bb50ada34	make sure we catch alignment problems even with intrptrcast	2019-06-29 14:31:54 +02:00