[Bug tree-optimization/94234] missed ccp folding for (addr + 8 * n) - (addr + 8 * (n - 1))

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Feng Xue <f...@gcc.gnu.org>:

https://gcc.gnu.org/g:459f6f68a75fe88e7c8309ca8ad3244a532b0d8e

commit r11-2764-g459f6f68a75fe88e7c8309ca8ad3244a532b0d8e
Author: Feng Xue <f...@os.amperecomputing.com>
Date:   Mon Jun 1 11:57:35 2020 +0800

    tree-optimization/94234 - add pattern for ptr-diff on addresses with same
offset

    2020-08-19  Feng Xue  <f...@os.amperecomputing.com>

    gcc/
            PR tree-optimization/94234
            * match.pd ((PTR_A + OFF) - (PTR_B + OFF)) -> (PTR_A - PTR_B): New
            simplification.

    gcc/testsuite/
            PR tree-optimization/94234
            * gcc.dg/pr94234-1.c: New test.