[clang] [analyzer] Splitting TaintPropagation checker into reporting and mode… (PR #98157)

Donát Nagy via cfe-commits cfe-commits at lists.llvm.org
Wed Jul 10 06:06:18 PDT 2024


================
@@ -1046,10 +1044,7 @@ bool GenericTaintChecker::generateReportIfTainted(const Expr *E, StringRef Msg,
     return false;
 
   // Generate diagnostic.
----------------
NagyDonat wrote:

:thinking: Perhaps add an `assert(BT)` here for the sake of paranoia?

https://github.com/llvm/llvm-project/pull/98157


More information about the cfe-commits mailing list