summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-12-09 05:52:12 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-12-09 05:52:12 +0000
commitf5448561ed60d5ffdc965a67d29b9d8c98f4a077 (patch)
treee593ff07445578368b75213bf702964a0847ee95 /clang/lib/Analysis/GRExprEngine.cpp
parentd1dee7e71ac75550acdcda4ffb07bacf51efd2f0 (diff)
downloadbcm5719-llvm-f5448561ed60d5ffdc965a67d29b9d8c98f4a077.tar.gz
bcm5719-llvm-f5448561ed60d5ffdc965a67d29b9d8c98f4a077.zip
remove dead code.
llvm-svn: 90953
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
-rw-r--r--clang/lib/Analysis/GRExprEngine.cpp41
1 files changed, 0 insertions, 41 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp
index dc317cf368f..4a960c69379 100644
--- a/clang/lib/Analysis/GRExprEngine.cpp
+++ b/clang/lib/Analysis/GRExprEngine.cpp
@@ -1576,47 +1576,6 @@ static bool EvalOSAtomic(ExplodedNodeSet& Dst,
// Transfer function: Function calls.
//===----------------------------------------------------------------------===//
-bool GRExprEngine::EvalBuiltinFunction(const FunctionDecl *FD, CallExpr *CE,
- ExplodedNode *Pred,
- ExplodedNodeSet &Dst) {
- if (!FD)
- return false;
-
- unsigned id = FD->getBuiltinID();
- if (!id)
- return false;
-
- const GRState *state = Pred->getState();
-
- switch (id) {
- case Builtin::BI__builtin_expect: {
- // For __builtin_expect, just return the value of the subexpression.
- assert (CE->arg_begin() != CE->arg_end());
- SVal X = state->getSVal(*(CE->arg_begin()));
- MakeNode(Dst, CE, Pred, state->BindExpr(CE, X));
- return true;
- }
-
- case Builtin::BI__builtin_alloca: {
- // FIXME: Refactor into StoreManager itself?
- MemRegionManager& RM = getStateManager().getRegionManager();
- const MemRegion* R =
- RM.getAllocaRegion(CE, Builder->getCurrentBlockCount(),
- Pred->getLocationContext());
-
- // Set the extent of the region in bytes. This enables us to use the
- // SVal of the argument directly. If we save the extent in bits, we
- // cannot represent values like symbol*8.
- SVal Extent = state->getSVal(*(CE->arg_begin()));
- state = getStoreManager().setExtent(state, R, Extent);
- MakeNode(Dst, CE, Pred, state->BindExpr(CE, loc::MemRegionVal(R)));
- return true;
- }
- }
-
- return false;
-}
-
void GRExprEngine::VisitCall(CallExpr* CE, ExplodedNode* Pred,
CallExpr::arg_iterator AI,
CallExpr::arg_iterator AE,
OpenPOWER on IntegriCloud