[llvm-dev] Which assumptions do llvm.memcpy/memmove/memset.* make when the count is 0?

John Regehr via llvm-dev llvm-dev at lists.llvm.org
Fri Jul 21 12:02:55 PDT 2017

> I don't think that was the conclusion of the discussion? I mean the
> result was that a NULL pointer should be explicitly valid if the length
> argument is zero. That's a bit more restrictive.

Yeah there's a design space here. I don't care about the result but am 
volunteering to document whatever people want.


More information about the llvm-dev mailing list