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