[PATCH] D50039: [LibCalls] Added nonnull atribute to libc function args

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

I don't think we can reasonably do this for the functions which take a pointer+size pair; see http://lists.llvm.org/pipermail/cfe-dev/2017-January/052066.html etc.  Maybe we can mark specific calls where we know the size is nonzero.

Not sure how this should interact with -fno-delete-null-pointer-checks; maybe we can make that work "correctly" by just doing all our nonnull marking on individual calls, even for the functions which take null-terminated strings.


Repository:
  rL LLVM

https://reviews.llvm.org/D50039