diff options
Diffstat (limited to 'lib/Analysis/RValues.cpp')
| -rw-r--r-- | lib/Analysis/RValues.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/Analysis/RValues.cpp b/lib/Analysis/RValues.cpp index b372ab3831..56bb250213 100644 --- a/lib/Analysis/RValues.cpp +++ b/lib/Analysis/RValues.cpp @@ -352,7 +352,7 @@ void NonLVal::print(std::ostream& Out) const { switch (getSubKind()) { case nonlval::ConcreteIntKind: - Out << cast<nonlval::ConcreteInt>(this)->getValue(); + Out << cast<nonlval::ConcreteInt>(this)->getValue().getZExtValue(); if (cast<nonlval::ConcreteInt>(this)->getValue().isUnsigned()) Out << 'U'; @@ -369,7 +369,7 @@ void NonLVal::print(std::ostream& Out) const { Out << '$' << C.getConstraint().getSymbol() << ' '; printOpcode(Out, C.getConstraint().getOpcode()); - Out << ' ' << C.getConstraint().getInt(); + Out << ' ' << C.getConstraint().getInt().getZExtValue(); if (C.getConstraint().getInt().isUnsigned()) Out << 'U'; @@ -395,7 +395,8 @@ void LVal::print(std::ostream& Out) const { switch (getSubKind()) { case lval::ConcreteIntKind: - Out << cast<lval::ConcreteInt>(this)->getValue() << " (LVal)"; + Out << cast<lval::ConcreteInt>(this)->getValue().getZExtValue() + << " (LVal)"; break; case lval::SymbolValKind: |