HomePhabricator

[analyzer] Assign truly stable identifiers to exploded nodes.

Authored by dergachev.a on Oct 17 2019, 4:10 PM.

Description

[analyzer] Assign truly stable identifiers to exploded nodes.

ExplodedGraph nodes will now have a numeric identifier stored in them
which will keep track of the order in which the nodes were created
and it will be fully deterministic both accross runs and across machines.

This is extremely useful for debugging as it allows reliably setting
conditional breakpoints by node IDs.

llvm-svn: 375186

Details

Committed
dergachev.aOct 17 2019, 4:10 PM
Parents
rGd325196f19bf: [analyzer] Display cast kinds in program point dumps.
Branches
Unknown
Tags
Unknown