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 | 9eb2706101f20ad8984755794e9090724c2e3603 (patch) | |
| tree | e1ae11f930debd89a825cf3550564d6fa8eb104b /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 31565b3e9fbd49f4cf1737048a24659b628a41f0 (diff) | |
| download | bcm5719-llvm-9eb2706101f20ad8984755794e9090724c2e3603.tar.gz bcm5719-llvm-9eb2706101f20ad8984755794e9090724c2e3603.zip | |
Remove dead code.
llvm-svn: 84073
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 35a1bf2d722..5079acef54b 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/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); } } |
