[Bug tree-optimization/110620] spurious array-bounds

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-07-11
     Ever confirmed|0                           |1

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  We diagnose

  _41 = operator new (8);

  <bb 3> [local count: 1014634345]:
  # iftmp.3_28 = PHI <_41(2)>
...
  <bb 9> [local count: 507317173]: 
  MEM[(struct value_type &)iftmp.3_28 + 24].first = 0;

and this access _is_ out of bounds, it's just in an unreachable path we
have not yet proved to be unreachable.