[Bug tree-optimization/121454] [16 regression] ICE in nonoverlapping_refs_since_match_p, at tree-ssa-alias.cc:1684 since r16-3066-g53f491ccd1e59f

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121454

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
I'll note that the assert isn't ensured in the GIMPLE IL verifier AFAICS.

  /* TARGET_MEM_REF are never wrapped in handled components, so we do not need
     to handle them here at all.  */
  gcc_checking_assert (TREE_CODE (ref1) != TARGET_MEM_REF
                       && TREE_CODE (ref2) != TARGET_MEM_REF);

I will make the VN lookup code more careful.