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



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

Reply via email to