From 601fa4e4e2df34442aea987e9bc6621f350eef2d Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 23 Dec 2010 02:42:31 +0000
Subject: [PATCH] Enhance pretty-printing for nonloc::ConcreteInt to also
 include signedness and bitwidth of the underlying integer.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122466 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/GR/SVals.cpp | 10 ++++++----
 1 file 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;
-- 
2.40.0