[Bug middle-end/90663] [9/10/11/12 Regression] strcmp (&a[i], a + i) not folded for arrays and constant index

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

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org
            Summary|[9 Regression] strcmp       |[9/10/11/12 Regression]
                   |(&a[i], a + i) not folded   |strcmp (&a[i], a + i) not
                   |for arrays and constant     |folded for arrays and
                   |index                       |constant index
             Status|NEW                         |ASSIGNED

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> Anyhow, I suggest to use get_addr_base_and_unit_offset in the gimple
> folder since there variable addresses will not appear literally but
> only in separate SSA defs.

We could also use ptr_difference_const now and see if the difference is zero.

Let me try that.