[clang] [NFC][analyzer] Simplify ExprEngine::Visit, eliminate NodeBuilders (PR #200837)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 1 07:39:17 PDT 2026
================
@@ -590,6 +590,26 @@ static ProgramStateRef getInlineFailedState(ProgramStateRef State,
void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred,
ExplodedNodeSet &dst) {
+ if (const auto *OCE = dyn_cast<CXXOperatorCallExpr>(CE)) {
+ // For instance method operators, make sure the 'this' argument has a
+ // valid region.
+ // FIXME: Why is this only applied for operator calls and not other calls?
----------------
NagyDonat wrote:
@steakhal Do you happen to have any idea about this? (I'm not asking for deep research, just a quick answer/guess if you happen to have one.)
https://github.com/llvm/llvm-project/pull/200837
More information about the cfe-commits
mailing list