OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

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
This commit is contained in:
Zhongxing Xu 2008-11-10 05:00:06 +00:00
parent 25f0106fd9
commit 1c31dbe417
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/lib/Analysis/BasicConstraintManager.cpp
View File

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