https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77899
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=107699
--- Comment #13 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #12)
> Even this should be folded but is not currently:
> void f (signed char i)
> {
> char d [260];
>
> const char *p = &d[130];
>
> p += i;
>
> if (p == d + 2 || d + 257 == p)
> __builtin_abort ();
> }
That was handled by r13-4555-g892e8c520be37d (aka PR 107699).
The non eq/ne ones are not handled though; I think there might be another bug
about that ...
