6 commits

Author	SHA1	Message	Date
rl1987	72e0dc0822	Check roundtrip for each bit of {unsigned} int values	2019-03-20 19:06:40 +02:00
rl1987	280109473f	Check more values of int	2019-03-20 19:00:03 +02:00
rl1987	0bc9ed9d38	Move casts to separate C file to prevent compiler from optimising them away	2019-03-20 18:54:11 +02:00
rl1987	e52653e01a	USe uintptr_t for unsigned ints	2019-03-12 12:14:22 +02:00
rl1987	052ec08a08	Refrain from doing exhaustive iteration over all values of integers	2019-03-12 12:01:26 +02:00
rl1987	d731ab4583	Check that all valid values of int and unsigned int can be put into void pointer	2019-02-25 20:04:02 +02:00