diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-10-18 20:15:39 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-10-18 20:15:39 +0000 |
| commit | 2b4f6df91775a4f13233a04d3377f8233c7087f6 (patch) | |
| tree | 5805ecc7e3e980802044feba709f99dba2ea458a /clang/lib/StaticAnalyzer/Core/MemRegion.cpp | |
| parent | b3e34e043cae03e56f2a1b23eae1669e1c3be770 (diff) | |
| download | bcm5719-llvm-2b4f6df91775a4f13233a04d3377f8233c7087f6.tar.gz bcm5719-llvm-2b4f6df91775a4f13233a04d3377f8233c7087f6.zip | |
[analyzer] Fix FieldRegion dumps.
The '->' thing has always been confusing; the actual operation '->'
translates to a pointer dereference together with adding a FieldRegion,
but FieldRegion on its own doesn't imply an additional pointer
dereference.
llvm-svn: 375281
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/MemRegion.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/MemRegion.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/MemRegion.cpp b/clang/lib/StaticAnalyzer/Core/MemRegion.cpp index c7b280adcd9..a10d7e69ad7 100644 --- a/clang/lib/StaticAnalyzer/Core/MemRegion.cpp +++ b/clang/lib/StaticAnalyzer/Core/MemRegion.cpp @@ -506,7 +506,7 @@ void ElementRegion::dumpToStream(raw_ostream &os) const { } void FieldRegion::dumpToStream(raw_ostream &os) const { - os << superRegion << "->" << *getDecl(); + os << superRegion << "." << *getDecl(); } void ObjCIvarRegion::dumpToStream(raw_ostream &os) const { |
