[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