[clang] [NFC][analyzer] Multipart checker refactor 2: NullabilityChecker (PR #132250)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Thu Mar 20 09:44:00 PDT 2025


================
@@ -491,7 +503,7 @@ void NullabilityChecker::reportBugIfInvariantHolds(
     N = C.addTransition(OriginalState, N);
   }
 
-  reportBug(Msg, Error, CK, N, Region, C.getBugReporter(), ValueExpr);
+  reportBug(Msg, Error, Idx, N, Region, C.getBugReporter(), ValueExpr);
----------------
NagyDonat wrote:

Good idea, I'll implement it.

I didn't think about this question and just mechanically translated the `enum CheckKind` (essentially another integer type) to `CheckerPartIdx` -- but in this particular checker it will be only used to get `BugTypes[Idx]` so I can switch to passing a bug type ref.

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


More information about the cfe-commits mailing list