diff options
Diffstat (limited to 'lib/Checker/Environment.cpp')
-rw-r--r-- | lib/Checker/Environment.cpp | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/Checker/Environment.cpp b/lib/Checker/Environment.cpp index 954129883d..7bf2929161 100644 --- a/lib/Checker/Environment.cpp +++ b/lib/Checker/Environment.cpp @@ -63,12 +63,7 @@ SVal Environment::getSVal(const Stmt *E, SValBuilder& svalBuilder) const { if (CT->isVoidType()) return UnknownVal(); if (C->getCastKind() == CK_NoOp) { - // If the no-op cast has value, use it. Should we always propagate - // values through all levels of no-op casts? - if (const SVal* X = ExprBindings.lookup(C)) - return *X; - else - E = C->getSubExpr(); + E = C->getSubExpr(); continue; } break; |