diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-12-05 02:45:20 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-12-05 02:45:20 +0000 |
| commit | c9e7622a523ac706d09db5f3b18e45a41a35e7f3 (patch) | |
| tree | 309d52adfd628ec5fca7921a2c2d0645bd3f349f /clang/lib/Analysis/MemRegion.cpp | |
| parent | 3cb81db1b2dfa45bc455a2c0727f821ef6a66616 (diff) | |
| download | bcm5719-llvm-c9e7622a523ac706d09db5f3b18e45a41a35e7f3.tar.gz bcm5719-llvm-c9e7622a523ac706d09db5f3b18e45a41a35e7f3.zip | |
Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber().
llvm-svn: 60578
Diffstat (limited to 'clang/lib/Analysis/MemRegion.cpp')
| -rw-r--r-- | clang/lib/Analysis/MemRegion.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/Analysis/MemRegion.cpp b/clang/lib/Analysis/MemRegion.cpp index 99dc796213f..6aff286dc15 100644 --- a/clang/lib/Analysis/MemRegion.cpp +++ b/clang/lib/Analysis/MemRegion.cpp @@ -149,7 +149,8 @@ void VarRegion::print(llvm::raw_ostream& os) const { } void SymbolicRegion::print(llvm::raw_ostream& os) const { - os << "$" << sym.getNumber(); + os << "SymRegion-"; + sym.print(os); } void FieldRegion::print(llvm::raw_ostream& os) const { |
