[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)
commit15e9d0493a9f62d0a6b68178627dda057d14bbd1
treee165b2ed2a1d00fad157dfae4557a8fef0cb1b87
parentd1127baaf9c936305883eac6e16fee7de406c627
[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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@375281 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/MemRegion.cpp
test/Analysis/dump_egraph.cpp
test/Analysis/exploded-graph-rewriter/initializers_under_construction.cpp
test/Analysis/expr-inspection.c