diff options
| -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); } } |
