[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