[Bug middle-end/84095] [8 Regression] false-positive -Wrestrict warnings for memcpy within array

[msebor at gcc dot gnu.org]

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

--- Comment #13 from Martin Sebor <msebor at gcc dot gnu.org> ---
Updated patch with fixes for the false positives discussed in comment #12:
https://gcc.gnu.org/ml/gcc-patches/2018-02/msg00076.html