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

Ralf Jung via llvm-dev llvm-dev at lists.llvm.org
Fri Sep 29 06:21:25 PDT 2017


On 21.07.2017 21:02, John Regehr wrote:
>> 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.

(Context: <https://lists.llvm.org/pipermail/llvm-dev/2017-July/115665.html>)

Is there any news on this?  I don't even know what the process is.
Should I open an issue to track the progress?

Kind regards,

More information about the llvm-dev mailing list