maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

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

llvm-svn: 122390
This commit is contained in:
Zhongxing Xu 2010-12-22 07:40:30 +00:00
parent 222374d886
commit 4dc4bf25d7
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
clang/lib/Checker/Environment.cpp
View File

@ -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;