From 1c31dbe417450f4b7310c26d9ad13a14de84f159 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Mon, 10 Nov 2008 05:00:06 +0000 Subject: Print integer value instead of raw pointer. This is a hack to be fixed by migrating the output in analyzer to llvm::raw_ostream. llvm-svn: 58965 --- clang/lib/Analysis/BasicConstraintManager.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'clang/lib/Analysis/BasicConstraintManager.cpp') diff --git a/clang/lib/Analysis/BasicConstraintManager.cpp b/clang/lib/Analysis/BasicConstraintManager.cpp index ea13ea30f2c..b09d9de4469 100644 --- a/clang/lib/Analysis/BasicConstraintManager.cpp +++ b/clang/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. } } } -- cgit v1.2.3