[Bug tree-optimization/107699] [12/13 Regression] False positive -Warray-bounds, non-existent offset reported by GCC

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

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

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
The change fixed the missing

_2 = &data._M_elems + _1;
if (&data._M_elems != _2)
  goto <bb 3>; [53.47%]
else
  goto <bb 12>; [46.53%]

optimization only, the diagnostic is still there.