[clang] [clang][analyzer] Split NullDereferenceChecker into a modeling and checker part (PR #122139)

[Balazs Benics via cfe-commits]

=?utf-8?q?Bal=C3=A1zs_K=C3=A9ri?= <balazs.keri at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/122139 at github.com>


================
@@ -155,22 +155,27 @@ static bool isDeclRefExprToReference(const Expr *E) {
 
 void DereferenceChecker::reportBug(DerefKind K, ProgramStateRef State,
                                    const Stmt *S, CheckerContext &C) const {
+  if (!CheckNullDereference) {
+    C.addSink();
----------------
steakhal wrote:

Could you check if the sink node would have a checker tag or not?

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