[clang] [clang] Generate appropriate assume in presence of libc's memcpy (PR #119704)

[via cfe-commits]

serge-sans-paille wrote:

For the record, I've added the assumption that seems to correctly capture current UB. I'm not 100% sure it's worth generating them now though?

https://github.com/llvm/llvm-project/pull/119704