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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to