diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-11-12 04:16:35 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-11-12 04:16:35 +0000 |
| commit | 8f6c4e861788345eb825c970e15332b9441ad2c2 (patch) | |
| tree | c86888c27b73e0a2ba078625a2f44885fc901cfa /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 801b33b17c0aa9c11ef3df6eeab22e3ce68fcdb9 (diff) | |
| download | bcm5719-llvm-8f6c4e861788345eb825c970e15332b9441ad2c2.tar.gz bcm5719-llvm-8f6c4e861788345eb825c970e15332b9441ad2c2.zip | |
Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, and was easily inlined.
llvm-svn: 86948
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 23 |
1 files changed, 10 insertions, 13 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index f25858d880c..08151e7d611 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -1498,17 +1498,6 @@ bool GRExprEngine::EvalBuiltinFunction(const FunctionDecl *FD, CallExpr *CE, return false; } -void GRExprEngine::EvalCall(ExplodedNodeSet& Dst, CallExpr* CE, SVal L, - ExplodedNode* Pred) { - assert (Builder && "GRStmtNodeBuilder must be defined."); - - // FIXME: Allow us to chain together transfer functions. - if (EvalOSAtomic(Dst, *this, *Builder, CE, L, Pred)) - return; - - getTF().EvalCall(Dst, *this, *Builder, CE, L, Pred); -} - void GRExprEngine::VisitCall(CallExpr* CE, ExplodedNode* Pred, CallExpr::arg_iterator AI, CallExpr::arg_iterator AE, @@ -1589,14 +1578,22 @@ void GRExprEngine::VisitCallRec(CallExpr* CE, ExplodedNode* Pred, unsigned size = Dst.size(); SaveOr OldHasGen(Builder->HasGeneratedNode); - EvalCall(Dst, CE, L, *DI); + + // Dispatch to transfer function logic to handle the call itself. + assert(Builder && "GRStmtNodeBuilder must be defined."); + + // FIXME: Allow us to chain together transfer functions. + Pred = *DI; + + if (!EvalOSAtomic(Dst, *this, *Builder, CE, L, Pred)) + getTF().EvalCall(Dst, *this, *Builder, CE, L, Pred); // Handle the case where no nodes where generated. Auto-generate that // contains the updated state if we aren't generating sinks. if (!Builder->BuildSinks && Dst.size() == size && !Builder->HasGeneratedNode) - MakeNode(Dst, CE, *DI, state); + MakeNode(Dst, CE, Pred, state); } } |

