From 7d94e269d87fd5ae53d9b1c43578c70c184db2d3 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Mon, 10 Nov 2008 05:00:06 +0000 Subject: [PATCH] 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 --- lib/Analysis/BasicConstraintManager.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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. } } } -- 2.50.1