Skip to content
Snippets Groups Projects
Commit a8d835ab authored by Zhongxing Xu's avatar Zhongxing Xu
Browse files

Always blast through no-op casts when getting expr SVals.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122390 91177308-0d34-0410-b5e6-96231b3b80d8
parent 05e53917
No related branches found
No related tags found
No related merge requests found
......@@ -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;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment