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

Added hack to transfer function logic to handle the case where a DeclRefExpr 

wrapping an EnumConstantDecl evaluates to an integer type that has a different
signedness than the APSInt stored in the EnumConstantDecl. Will file a Bugzilla
report.

llvm-svn: 47548
This commit is contained in:
Ted Kremenek 2008-02-25 18:34:45 +00:00
parent 6f92e2294a
commit b23cc7191f
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
clang/Analysis/ValueState.cpp
View File

@ -236,7 +236,15 @@ RVal ValueStateManager::GetRVal(ValueState St, Expr* E, bool* hasVal) {
// already has persistent storage? We do this because we
// are comparing states using pointer equality. Perhaps there is
// a better way, since APInts are fairly lightweight.
return nonlval::ConcreteInt(ValMgr.getValue(ED->getInitVal()));
llvm::APSInt X = ED->getInitVal();
// FIXME: This is a hack. The APSInt inside the EnumConstantDecl
// might not match the signedness of the DeclRefExpr. We hack
// a workaround here. Should be fixed elsewhere.
if (E->getType()->isUnsignedIntegerType() != X.isUnsigned())
X.setIsUnsigned(!X.isUnsigned());
return nonlval::ConcreteInt(ValMgr.getValue(X));
}
else if (FunctionDecl* FD = dyn_cast<FunctionDecl>(D))
return lval::FuncVal(FD);