[PATCH] D40793: [analyzer] Improve SymbolicRegion::dump() for heap pointers.

This revision was automatically updated to reflect the committed changes. Closed by commit rC319793: [analyzer] Mark heap-based symbolic regions in debug dumps. (authored by dergachev). Repository: rC Clang https://reviews.llvm.org/D40793 Files: lib/StaticAnalyzer/Core/MemRegion.cpp Index

[PATCH] D40793: [analyzer] Improve SymbolicRegion::dump() for heap pointers.

dcoughlin accepted this revision. dcoughlin added a comment. This revision is now accepted and ready to land. LGTM. Ship it! Repository: rC Clang https://reviews.llvm.org/D40793 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists

[PATCH] D40793: [analyzer] Improve SymbolicRegion::dump() for heap pointers.

NoQ created this revision. Herald added subscribers: cfe-commits, rnkovacs. Because for every symbol `$x` we can construct exactly two different `MemRegion`s that both get dumped as `SymRegion{$x}`, and i didn't bother fixing it for years, i wanted to at least make the problem apparent. With thi