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.