From: Kees Cook > Sent: 26 March 2018 23:16 ... > +#define __typecheck(x, y) \ > + (!!(sizeof((typeof(x)*)1 == (typeof(y)*)1)))
The two 1 should probably be at least 8 before the compiler starts bleating about accesses to misaligned addresses being undefined. David