[PATCH] D77012: [analyzer] Fix StdLibraryFunctionsChecker NotNull Constraint Check

Mon Mar 30 02:40:33 PDT 2020

martong accepted this revision.
martong added a comment.

LGTM and thanks!

In D77012#1948550 <https://reviews.llvm.org/D77012#1948550>, @NoQ wrote:

> Thanks!
>
> @Szelethus can we make this checker depend on undefined value checker (probably CallAndMessage) so that uninitialized arguments were handled first? In fact, can we make a silent assumption that everything depends on `core`? If so we could eliminate all checks for undefined values in PreStmt and PreCall.

+1, we should really do that.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D77012/new/

https://reviews.llvm.org/D77012