HomePhabricator

[analyzer] exploded-graph-rewriter: Fix dump for state 0.

Authored by dergachev.a on Oct 18 2019, 1:15 PM.

Description

[analyzer] exploded-graph-rewriter: Fix dump for state 0.

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

llvm-svn: 375279

Details

Committed
dergachev.aOct 18 2019, 1:15 PM
Parents
rG7a17f197093a: [analyzer] Fix hidden node traversal in exploded graph dumps.
Branches
Unknown
Tags
Unknown