aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-02-25 21:16:03 +0000
committerTed Kremenek <kremenek@apple.com>2008-02-25 21:16:03 +0000
commit994a09bdd94aa683373835bd6c152d91bd54603d (patch)
tree7059f6876f74c5cb7e28e8e5eec808feee06c2c6
parentc81c8144a661a49d7b9dae8d2080dee2e43186ec (diff)
Better handling of calls to functions via function pointers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47562 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--Analysis/GRExprEngine.cpp8
1 files changed, 5 insertions, 3 deletions
diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp
index dedeb7b1b7..4e6d1a3f6b 100644
--- a/Analysis/GRExprEngine.cpp
+++ b/Analysis/GRExprEngine.cpp
@@ -429,14 +429,16 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred,
// If we reach here we have processed all of the arguments. Evaluate
// the callee expression.
- NodeSet DstTmp;
- Visit(CE->getCallee(), Pred, DstTmp);
+ NodeSet DstTmp;
+ Expr* Callee = CE->getCallee()->IgnoreParenCasts();
+
+ VisitLVal(Callee, Pred, DstTmp);
// Finally, evaluate the function call.
for (NodeSet::iterator DI = DstTmp.begin(), DE = DstTmp.end(); DI!=DE; ++DI) {
StateTy St = (*DI)->getState();
- RVal L = GetLVal(St, CE->getCallee());
+ RVal L = GetLVal(St, Callee);
// Check for uninitialized control-flow.