summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/Environment.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib/Checker/Environment.cpp')
-rw-r--r--clang/lib/Checker/Environment.cpp7
1 files changed, 1 insertions, 6 deletions
diff --git a/clang/lib/Checker/Environment.cpp b/clang/lib/Checker/Environment.cpp
index 954129883d6..7bf2929161c 100644
--- a/clang/lib/Checker/Environment.cpp
+++ b/clang/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;
OpenPOWER on IntegriCloud