[cfe-commits] r122466 - /cfe/trunk/lib/GR/SVals.cpp

[Ted Kremenek]

Author: kremenek
Date: Wed Dec 22 20:42:31 2010
New Revision: 122466

URL: http://llvm.org/viewvc/llvm-project?rev=122466&view=rev
Log:
Enhance pretty-printing for nonloc::ConcreteInt
to also include signedness and bitwidth of
the underlying integer.

Modified:
    cfe/trunk/lib/GR/SVals.cpp

Modified: cfe/trunk/lib/GR/SVals.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/GR/SVals.cpp?rev=122466&r1=122465&r2=122466&view=diff
==============================================================================
--- cfe/trunk/lib/GR/SVals.cpp (original)
+++ cfe/trunk/lib/GR/SVals.cpp Wed Dec 22 20:42:31 2010
@@ -290,11 +290,13 @@
 
 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;