diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-12-23 02:42:46 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-12-23 02:42:46 +0000 |
| commit | fe22d939060ebe2f5d8d6d29a9deac389af33ef6 (patch) | |
| tree | 70451cbe49e041d602f18efbfe09dab9f5970ee4 | |
| parent | e73571b9cccdf0e3e07ab551e0cea6356047458a (diff) | |
| download | bcm5719-llvm-fe22d939060ebe2f5d8d6d29a9deac389af33ef6.tar.gz bcm5719-llvm-fe22d939060ebe2f5d8d6d29a9deac389af33ef6.zip | |
Further tweak nonloc::ConcreteInt pretty printing
to correctly print out negative values for
signed integers.
llvm-svn: 122470
| -rw-r--r-- | clang/lib/GR/SVals.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/clang/lib/GR/SVals.cpp b/clang/lib/GR/SVals.cpp index 1e583128ffc..0484b62f8aa 100644 --- a/clang/lib/GR/SVals.cpp +++ b/clang/lib/GR/SVals.cpp @@ -292,8 +292,11 @@ void NonLoc::dumpToStream(llvm::raw_ostream& os) const { switch (getSubKind()) { case nonloc::ConcreteIntKind: { const nonloc::ConcreteInt& C = *cast<nonloc::ConcreteInt>(this); - os << C.getValue().getZExtValue() - << ' ' << ((C.getValue().isUnsigned()) ? 'U' : 'S') + if (C.getValue().isUnsigned()) + os << C.getValue().getZExtValue(); + else + os << C.getValue().getSExtValue(); + os << ' ' << (C.getValue().isUnsigned() ? 'U' : 'S') << C.getValue().getBitWidth() << 'b'; break; } |
