https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60256
--- Comment #9 from Martin Sebor <msebor at gcc dot gnu.org> --- Thanks for the reference. The strcmp(s, s) (and likewise memcmp(p, p, n)) case in bug 65452 is different because unlike this one, strcmp doesn't change the arrays pointed to by its arguments (which are also not declared restrict) and so calling the function with the same array is valid.
