[clang] [analyzer] Conversion to CheckerFamily: MallocChecker (PR #147080)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 7 08:08:02 PDT 2025


================
@@ -3150,7 +3094,7 @@ void MallocChecker::checkPreCall(const CallEvent &Call,
   if (const auto *DC = dyn_cast<CXXDeallocatorCall>(&Call)) {
     const CXXDeleteExpr *DE = DC->getOriginExpr();
 
-    if (!ChecksEnabled[CK_NewDeleteChecker])
+    if (!NewDeleteChecker.isEnabled())
----------------
NagyDonat wrote:

TODO: This `if` condition is completely unjustified and should be removed in a follow-up commit. Checking use-after-free on the operand is always relevant and should be done even if `NewDeleteChecker` is enabled (but perhaps _after_ the potential check by NewDeleteChecker?).

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


More information about the cfe-commits mailing list