replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[analyzer] Minor improvements on RangeConstraint pretty-printing. 

llvm-svn: 145830
This commit is contained in:
Anna Zaks 2011-12-05 18:58:14 +00:00
parent 223516523e
commit 820e87e928
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
View File

@ -428,13 +428,15 @@ void RangeConstraintManager::print(const ProgramState *St, raw_ostream &Out,
ConstraintRangeTy Ranges = St->get<ConstraintRange>();
if (Ranges.isEmpty())
if (Ranges.isEmpty()) {
Out << nl << sep << "Ranges are empty." << nl;
return;
}
Out << nl << sep << "ranges of symbol values:";
Out << nl << sep << "Ranges of symbol values:";
for (ConstraintRangeTy::iterator I=Ranges.begin(), E=Ranges.end(); I!=E; ++I){
Out << nl << ' ' << I.getKey() << " : ";
I.getData().print(Out);
}
Out << nl;
}