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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47548 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp
index 7cd89fd..3cbcd88 100644
--- a/Analysis/ValueState.cpp
+++ b/Analysis/ValueState.cpp
@@ -236,7 +236,15 @@
// 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);