https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100278
--- Comment #2 from CVS 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:acfe5290406cc70485df8899d14982278a9371f8 commit r12-141-gacfe5290406cc70485df8899d14982278a9371f8 Author: Richard Biener <rguent...@suse.de> Date: Tue Apr 27 09:41:38 2021 +0200 tree-optimization/100278 - handle mismatched code in TBAA adjust of PRE PRE has code to adjust TBAA behavior for refs that expects the base operation code to match. The testcase shows a case where we have a VAR_DECL vs. a MEM_REF so add code to give up in such cases. 2021-04-27 Richard Biener <rguent...@suse.de> PR tree-optimization/100278 * tree-ssa-pre.c (compute_avail): Give up when we cannot adjust TBAA beacuse of mismatching bases. * gcc.dg/tree-ssa/pr100278.c: New testcase.