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

[Marshall Clow via cfe-commits]

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)


http://reviews.llvm.org/D11948