]> granicus.if.org Git - clang/commit
[analyzer] exploded-graph-rewriter: Fix dump for state 0.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Oct 2019 20:15:32 +0000 (20:15 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Oct 2019 20:15:32 +0000 (20:15 +0000)
commitf094784d9e40d20777eb5b7d17830f02864cfd2b
treed695e09caa20472d15bb4f7b45566c0687dd9365
parent0836645ecf90c2813830bb68ef74d8be7b67a8a2
[analyzer] exploded-graph-rewriter: Fix dump for state 0.

It shouldn't say "unspecified" when the state is specified to be empty.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@375279 91177308-0d34-0410-b5e6-96231b3b80d8
test/Analysis/exploded-graph-rewriter/edge.dot
test/Analysis/exploded-graph-rewriter/node_labels.dot
test/Analysis/exploded-graph-rewriter/program_points.dot
test/Analysis/exploded-graph-rewriter/trimmers.dot
utils/analyzer/exploded-graph-rewriter.py