Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50108 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/RValues.cpp b/lib/Analysis/RValues.cpp
index 2e44e70..86f5ac9 100644
--- a/lib/Analysis/RValues.cpp
+++ b/lib/Analysis/RValues.cpp
@@ -35,6 +35,10 @@
return (symbol_iterator) &C.getSymbol();
}
+ else if (isa<nonlval::LValAsInteger>(this)) {
+ const nonlval::LValAsInteger& V = cast<nonlval::LValAsInteger>(*this);
+ return V.getPersistentLVal().symbol_begin();
+ }
return NULL;
}
@@ -345,7 +349,14 @@
Out << 'U';
break;
- }
+ }
+
+ case nonlval::LValAsIntegerKind: {
+ const nonlval::LValAsInteger& C = *cast<nonlval::LValAsInteger>(this);
+ C.getLVal().print(Out);
+ Out << " [as " << C.getNumBits() << " bit integer]";
+ break;
+ }
default:
assert (false && "Pretty-printed not implemented for this NonLVal.");