[analyzer] Fix FieldRegion dumps.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Oct 2019 20:15:39 +0000 (20:15 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Oct 2019 20:15:39 +0000 (20:15 +0000)
commit2b4f6df91775a4f13233a04d3377f8233c7087f6
tree5805ecc7e3e980802044feba709f99dba2ea458a
parentb3e34e043cae03e56f2a1b23eae1669e1c3be770
[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
clang/lib/StaticAnalyzer/Core/MemRegion.cpp
clang/test/Analysis/dump_egraph.cpp
clang/test/Analysis/exploded-graph-rewriter/initializers_under_construction.cpp
clang/test/Analysis/expr-inspection.c