[clang] [analyzer] Split TaintPropagation checker into reporting and modeling checkers (PR #98157)

[Balazs Benics via cfe-commits]

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

If we are there, maybe we should also assert that inside the register call, before emplacing it was empty.

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