The bug report is not wrong. Rather, whether the current behavior is correct depends on the platform.<p>For example, Darwin&#x27;s libc offers this contract for memcpy and clang is perfectly within its rights to generate such code (note that the IR it generates is still violating LLVM&#x27;s contract on the memcpy intrinsic); glibc offers no such contract for memcpy, and so clang&#x27;s code is nonconformant.