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

[via cfe-commits]

serge-sans-paille wrote:

what a funny timing :-) 
If I understand correctly, the assume should be ``dst != 0 || len ==0``, correct?

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