Index: lib/StaticAnalyzer/Core/MemRegion.cpp =================================================================== --- lib/StaticAnalyzer/Core/MemRegion.cpp +++ lib/StaticAnalyzer/Core/MemRegion.cpp @@ -472,6 +472,8 @@ } void SymbolicRegion::dumpToStream(raw_ostream &os) const { + if (isa(getSuperRegion())) + os << "Heap"; os << "SymRegion{" << sym << '}'; }