https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90676
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- I guess we should simply switch to -gimple dumping format for dumping MEM: void __GIMPLE (ssa,guessed_local(1073741824)) f2 () { __BB(2,guessed_local(1073741824)): __MEM <unsigned short, 8> ((char *)&a) = _Literal (unsigned short) 1; return; } void __GIMPLE (ssa,guessed_local(1073741824)) f4 () { __BB(2,guessed_local(1073741824)): __MEM <unsigned int, 8> ((char *)&a) = 1u; return; } which shows both the access type and its alignment. Of course that likely requires adjusting quite a number of testcases (which is why I added those TDF_GIMPLE differences in the first place...).