diff options
| -rw-r--r-- | lib/GR/SVals.cpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/lib/GR/SVals.cpp b/lib/GR/SVals.cpp index 6040d5e1d5..1e583128ff 100644 --- a/lib/GR/SVals.cpp +++ b/lib/GR/SVals.cpp @@ -290,11 +290,13 @@ void SVal::dumpToStream(llvm::raw_ostream& os) const { void NonLoc::dumpToStream(llvm::raw_ostream& os) const { switch (getSubKind()) { - case nonloc::ConcreteIntKind: - os << cast<nonloc::ConcreteInt>(this)->getValue().getZExtValue(); - if (cast<nonloc::ConcreteInt>(this)->getValue().isUnsigned()) - os << 'U'; + case nonloc::ConcreteIntKind: { + const nonloc::ConcreteInt& C = *cast<nonloc::ConcreteInt>(this); + os << C.getValue().getZExtValue() + << ' ' << ((C.getValue().isUnsigned()) ? 'U' : 'S') + << C.getValue().getBitWidth() << 'b'; break; + } case nonloc::SymbolValKind: os << '$' << cast<nonloc::SymbolVal>(this)->getSymbol(); break; |