[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