================
@@ -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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to