[PATCH] D47894: [clang]: Add support for "-fno-delete-null-pointer-checks"

[Eli Friedman via Phabricator via cfe-commits]

efriedma added a comment.

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.)


Repository:
  rC Clang

https://reviews.llvm.org/D47894