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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a reviewer: Szelethus.
NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.

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.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D77012