When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol used for the region (makes it easier to read for nested regions).

llvm-svn: 75550
This commit is contained in:
Ted Kremenek 2009-07-13 23:38:57 +00:00
parent 44e56ca949
commit c8d6746c39
1 changed files with 1 additions and 1 deletions

View File

@ -191,7 +191,7 @@ void StringRegion::dumpToStream(llvm::raw_ostream& os) const {
}
void SymbolicRegion::dumpToStream(llvm::raw_ostream& os) const {
os << "SymRegion-" << sym;
os << "SymRegion{" << sym << '}';
}
void TypedViewRegion::dumpToStream(llvm::raw_ostream& os) const {