[PATCH] D11948: Add some macros to abstract marking of parameters as "not null", and use them in <cstring>

Marshall Clow via cfe-commits cfe-commits at lists.llvm.org
Tue Aug 11 13:30:10 PDT 2015

mclow.lists added a comment.

In http://reviews.llvm.org/D11948#221991, @joerg wrote:

> No, it doesn't. It tells the compiler that it is free to make such assumptions.

Again, I disagree. The compiler already knows it is free to make such assumptions.
(LLVM has an entire optimizer pass devoted to `memcpy` and friends)


More information about the cfe-commits mailing list