GRExprEngine: Polish up handling of casting integer constants to pointers and back.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66127 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 415bc3f..2425016 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1720,8 +1720,14 @@
// FIXME: Determine if the number of bits of the target type is
// equal or exceeds the number of bits to store the pointer value.
// If not, flag an error.
- unsigned bits = getContext().getTypeSize(PtrTy);
- V = nonloc::LocAsInteger::Make(getBasicVals(), cast<Loc>(V), bits);
+
+ if (loc::ConcreteInt *CI = dyn_cast<loc::ConcreteInt>(&V)) {
+ V = nonloc::ConcreteInt(CI->getValue());
+ }
+ else {
+ unsigned bits = getContext().getTypeSize(PtrTy);
+ V = nonloc::LocAsInteger::Make(getBasicVals(), cast<Loc>(V), bits);
+ }
}
MakeNode(Dst, CastE, Pred, BindExpr(state, CastE, V));