当指针是__restrict类型时,编译器从std::copy生成对memcpy的调用?

gcc编译器生成调用 memcpy 当我添加 __restrict 函数参数。 编译器/标准库如何确定它可以生成对以下对象的调用 memcpy 在适当的时候?

void call_stdcpy_r(int *__restrict p, int *__restrict q, int sz) {
  std::copy(p, p+sz, q); // generates call to memcpy
}

void call_stdcpy(int *p, int *q, int sz) {
  std::copy(p, p+sz, q); // generates call to memmove
}

根据 https://en.cppreference.com/w/cpp/algorithm/copy

如果源和目标范围重叠,则行为未定义。

原则上,编译器不应该生成对 memcpy 总是?

连接到螺栓: https://godbolt.org/z/aKj3Y5K8M