From 298e5cc7f4a5b86dbba6e8db1c48fd86b51beadd Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 29 Jul 2011 21:18:22 +0000 Subject: [PATCH] [analyzer] Remove recursive visitation in ExprEngine::VisitCallExpr because it isn't needed anymore. llvm-svn: 136514 --- clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | 22 +------------------- 1 file changed, 1 insertion(+), 21 deletions(-) diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp index 080c97c27894..d3332402c654 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -1670,29 +1670,9 @@ void ExprEngine::VisitCallExpr(const CallExpr* CE, ExplodedNode* Pred, if (const PointerType *FnTypePtr = FnType->getAs()) Proto = FnTypePtr->getPointeeType()->getAs(); - // Should the first argument be evaluated as an lvalue? - bool firstArgumentAsLvalue = false; - switch (CE->getStmtClass()) { - case Stmt::CXXOperatorCallExprClass: - firstArgumentAsLvalue = true; - break; - default: - break; - } - - // Evaluate the arguments. - ExplodedNodeSet dstArgsEvaluated; - evalArguments(CE->arg_begin(), CE->arg_end(), Proto, Pred, dstArgsEvaluated, - firstArgumentAsLvalue); - - // Evaluate the callee. - ExplodedNodeSet dstCalleeEvaluated; - evalCallee(CE, dstArgsEvaluated, dstCalleeEvaluated); - // Perform the previsit of the CallExpr. ExplodedNodeSet dstPreVisit; - getCheckerManager().runCheckersForPreStmt(dstPreVisit, dstCalleeEvaluated, - CE, *this); + getCheckerManager().runCheckersForPreStmt(dstPreVisit, Pred, CE, *this); // Now evaluate the call itself. class DefaultEval : public GraphExpander {