diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-10-14 05:07:51 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-10-14 05:07:51 +0000 |
| commit | 092a9a94b7adc8fb5ffa6ba11f27433a420d2983 (patch) | |
| tree | 7c0428b9fada385b42081dd5ea721a9cdb22f57a /lib/Analysis/GRExprEngine.cpp | |
| parent | d0f8bb1f6b51b93bf07b27b4a8f9d1823063cba8 (diff) | |
Remove dead code.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@84073 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 35a1bf2d72..5079acef54 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1167,19 +1167,6 @@ void GRExprEngine::EvalLoad(ExplodedNodeSet& Dst, Expr* Ex, ExplodedNode* Pred, } else { SVal V = state->getSVal(cast<Loc>(location), Ex->getType()); - - // Casts can create weird scenarios where a location must be implicitly - // converted to something else. For example: - // - // void *x; - // int *y = (int*) &x; // void** -> int* cast. - // invalidate(y); // 'x' now binds to a symbolic region - // int z = *y; - // - //if (isa<Loc>(V) && !Loc::IsLocType(Ex->getType())) { - // V = EvalCast(V, Ex->getType()); - //} - MakeNode(Dst, Ex, Pred, state->BindExpr(Ex, V), K, tag); } } |