[clang] [analyzer][NFC] Explain why operator new/delete should never be eval-called (PR #161370)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 30 07:06:58 PDT 2025


================
@@ -1110,6 +1117,10 @@ void ExprEngine::VisitCXXDeleteExpr(const CXXDeleteExpr *CDE,
   if (AMgr.getAnalyzerOptions().MayInlineCXXAllocator) {
     StmtNodeBuilder Bldr(DstPreCall, DstPostCall, *currBldrCtx);
     for (ExplodedNode *I : DstPreCall) {
+      // Intentionally either inline or conservative eval-call the operator
+      // delete, but triggering an eval-call event for checkers.
----------------
NagyDonat wrote:

```suggestion
      // delete, but avoid triggering an eval-call event for checkers.
```
I guess this is what you meant.

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


More information about the cfe-commits mailing list