https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111591
--- Comment #33 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:97094d2ffd7d00261e6d7cc5d4a62dc7c2c89b64 commit r14-6481-g97094d2ffd7d00261e6d7cc5d4a62dc7c2c89b64 Author: Richard Biener <rguent...@suse.de> Date: Wed Dec 13 08:54:49 2023 +0100 middle-end/111591 - explain why TBAA doesn't need adjustment While tidying the prototype patch I've done for the reduced testcase in PR111591 and in that process trying to produce a testcase that is miscompiled by stack slot coalescing and the TBAA info that remains un-altered I've realized we do not need to adjust TBAA info. The following documents this in the place we adjust points-to info which we do need to adjust. PR middle-end/111591 * cfgexpand.cc (update_alias_info_with_stack_vars): Document why not adjusting TBAA info on accesses is OK.