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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to