diff options
Diffstat (limited to 'lib/Analysis/GRTransferFuncs.cpp')
-rw-r--r-- | lib/Analysis/GRTransferFuncs.cpp | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/lib/Analysis/GRTransferFuncs.cpp b/lib/Analysis/GRTransferFuncs.cpp index d621edddc6..c08bd8f0b1 100644 --- a/lib/Analysis/GRTransferFuncs.cpp +++ b/lib/Analysis/GRTransferFuncs.cpp @@ -17,25 +17,6 @@ using namespace clang; -void GRTransferFuncs::EvalStore(ExplodedNodeSet<GRState>& Dst, - GRExprEngine& Eng, - GRStmtNodeBuilder<GRState>& Builder, - Expr* E, ExplodedNode<GRState>* Pred, - const GRState* St, SVal TargetLV, SVal Val) { - - // This code basically matches the "safety-net" logic of GRExprEngine: - // bind Val to TargetLV, and create a new node. We replicate it here - // because subclasses of GRTransferFuncs may wish to call it. - - assert (!TargetLV.isUndef()); - - if (TargetLV.isUnknown()) - Builder.MakeNode(Dst, E, Pred, St); - else - Builder.MakeNode(Dst, E, Pred, - Eng.getStateManager().BindLoc(St, cast<Loc>(TargetLV), Val)); -} - void GRTransferFuncs::EvalBinOpNN(GRStateSet& OStates, GRExprEngine& Eng, const GRState *St, Expr* Ex, |