[analyzer] exploded-graph-rewriter: Implement displaying Store pointers.
authorArtem Dergachev <artem.dergachev@gmail.com>
Tue, 13 Aug 2019 23:04:56 +0000 (23:04 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 13 Aug 2019 23:04:56 +0000 (23:04 +0000)
commitdb6fabf91bcf4e2501fbb6a3ef6a0f78cd48f9e2
tree610d0bc2e2a0bd43bbd47861749dd498c0993163
parentf2e3097678760d86edd3fe536000e4ada4fd3ed0
[analyzer] exploded-graph-rewriter: Implement displaying Store pointers.

They're useful when trying to understand what's going on
inside your LazyCompoundValues.

Differential Revision: https://reviews.llvm.org/D65427

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@368769 91177308-0d34-0410-b5e6-96231b3b80d8
test/Analysis/exploded-graph-rewriter/escapes.c
test/Analysis/exploded-graph-rewriter/store.dot
utils/analyzer/exploded-graph-rewriter.py