https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100278
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-11 branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:3ac56ea477ec72340ebbce44af93c7712b579109 commit r11-8352-g3ac56ea477ec72340ebbce44af93c7712b579109 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. (cherry picked from commit acfe5290406cc70485df8899d14982278a9371f8)