[analyzer] exploded-graph-rewriter: Improve program point dumps.
authorArtem Dergachev <artem.dergachev@gmail.com>
Tue, 2 Jul 2019 02:17:53 +0000 (02:17 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 2 Jul 2019 02:17:53 +0000 (02:17 +0000)
commit2ca5355712fc6b7ad95f8ce9b8e2054b621cda9b
tree9616991ab03f0445de01975242c19df924179d1e
parent0a77d9192ab75b8fcf218747d6bcd213dce1f4ce
[analyzer] exploded-graph-rewriter: Improve program point dumps.

- Take advantage of the stmt_point_kind.
- Dump block IDs for BlockEntrance nodes.
- Don't dump huge compound statements on PurgeDeadSymbols nodes.
- Rename Edge to BlockEdge for consistency.
- Tweak colors.

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

llvm-svn: 364881
clang/test/Analysis/exploded-graph-rewriter/escapes.c
clang/test/Analysis/exploded-graph-rewriter/program_points.dot
clang/utils/analyzer/exploded-graph-rewriter.py