[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#221936, @joerg wrote:

> I'm against doing this unconditionally. IMO it creates bugs without reasonable compensation. Just because glibc wants to hurt people doesn't mean anyone should get hurt.


Really? I see it as:

  It tells people who have UB in their code that they have a bug.

There's nothing here that "creates bugs".


http://reviews.llvm.org/D11948