https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121589
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Status|UNCONFIRMED |RESOLVED
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Deleted dead store: # .MEM_4 = VDEF <.MEM_3(D)>
cD.2960[0] = 1;
So we basically figure out that `*(e+1)` can't deference c[0] which is correct
as e!=c[-1] and still be well defined. So we delete the store to c[0].
