https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63375
--- Comment #17 from Mikael Pettersson <mikpelinux at gmail dot com> ---
(In reply to Pranith Kumar from comment #16)
> printf("%d\n", *(int *)(&val1+4));
This is broken, you're invoking undefined behaviour.
