Enhance SimpleSValuator to handle nonloc::LocAsInteger -> location casts.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76481 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/SimpleSValuator.cpp b/lib/Analysis/SimpleSValuator.cpp
index 58b1696..4f8c29c 100644
--- a/lib/Analysis/SimpleSValuator.cpp
+++ b/lib/Analysis/SimpleSValuator.cpp
@@ -44,11 +44,16 @@
// Transfer function for Casts.
//===----------------------------------------------------------------------===//
-SVal SimpleSValuator::EvalCastNL(NonLoc val, QualType castTy) {
+SVal SimpleSValuator::EvalCastNL(NonLoc val, QualType castTy) {
+
+ bool isLocType = Loc::IsLocType(castTy);
+
+ if (isLocType)
+ if (nonloc::LocAsInteger *LI = dyn_cast<nonloc::LocAsInteger>(&val))
+ return LI->getLoc();
+
if (!isa<nonloc::ConcreteInt>(val))
return UnknownVal();
-
- bool isLocType = Loc::IsLocType(castTy);
// Only handle casts from integers to integers.
if (!isLocType && !castTy->isIntegerType())