xbolva00 added a comment.
In https://reviews.llvm.org/D47894#1125653, @efriedma wrote:
> The problem would come from propagating nonnull-ness from something which
> isn't inherently nonnull. For example, strlen has a nonnull argument, so
> `strlen(NULL)` is UB, therefore given `int z = strlen(x); if (x) {...}`, we
> can remove the null check. (Not sure we actually do this transform at the
> moment, but it's something we could do in the future.)
This is interesting. Extra pass for such transformation? or any better place
for it?
Repository:
rC Clang
https://reviews.llvm.org/D47894
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
