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