From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Mon, 10 Nov 2008 05:00:06 +0000 (+0000)
Subject: Print integer value instead of raw pointer. This is a hack to be fixed by migrating... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7d94e269d87fd5ae53d9b1c43578c70c184db2d3;p=clang

Print integer value instead of raw pointer. This is a hack to be fixed by migrating the output in analyzer to llvm::raw_ostream.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58965 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Analysis/BasicConstraintManager.cpp b/lib/Analysis/BasicConstraintManager.cpp
index ea13ea30f2..b09d9de446 100644
--- a/lib/Analysis/BasicConstraintManager.cpp
+++ b/lib/Analysis/BasicConstraintManager.cpp
@@ -258,8 +258,6 @@ BasicConstraintManager::AssumeSymInt(const GRState* St, bool Assumption,
   } // end switch
 }
 
-
-
 const GRState*
 BasicConstraintManager::AssumeSymNE(const GRState* St, SymbolID sym,
                                     const llvm::APSInt& V, bool& isFeasible) {
@@ -481,7 +479,7 @@ void BasicConstraintManager::print(const GRState* St, std::ostream& Out,
         if (isFirst) isFirst = false;
         else Out << ", ";
       
-        Out << *J;
+        Out << (*J)->getSExtValue(); // Hack: should print to raw_ostream.
       }
     }
   }