d0e3ed0b01ba7e55081e5b2593460b7b1486fd24 - clang

commit	d0e3ed0b01ba7e55081e5b2593460b7b1486fd24	[log] [tgz]
author	Artem Dergachev <artem.dergachev@gmail.com>	Thu Oct 17 23:10:09 2019 +0000
committer	Artem Dergachev <artem.dergachev@gmail.com>	Thu Oct 17 23:10:09 2019 +0000
tree	38ef8ff2978259425fb6fc6a9cf218778cd7c4a0
parent	40a1cfa0b13160d82f688daa7fbab9f249679617 [diff]

[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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@375186 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h[diff]
lib/StaticAnalyzer/Core/BugReporter.cpp[diff]
lib/StaticAnalyzer/Core/ExplodedGraph.cpp[diff]
lib/StaticAnalyzer/Core/ExprEngine.cpp[diff]
test/Analysis/dump_egraph.c[diff]
test/Analysis/exploded-graph-rewriter/checker_messages.dot[diff]
test/Analysis/exploded-graph-rewriter/checker_messages_diff.dot[diff]
test/Analysis/exploded-graph-rewriter/constraints.dot[diff]
test/Analysis/exploded-graph-rewriter/constraints_diff.dot[diff]
test/Analysis/exploded-graph-rewriter/edge.dot[diff]
test/Analysis/exploded-graph-rewriter/environment.dot[diff]
test/Analysis/exploded-graph-rewriter/environment_diff.dot[diff]
test/Analysis/exploded-graph-rewriter/node_labels.dot[diff]
test/Analysis/exploded-graph-rewriter/program_points.dot[diff]
test/Analysis/exploded-graph-rewriter/store.dot[diff]
test/Analysis/exploded-graph-rewriter/store_diff.dot[diff]
test/Analysis/exploded-graph-rewriter/topology.dot[diff]
test/Analysis/exploded-graph-rewriter/trimmers.dot[diff]
utils/analyzer/exploded-graph-rewriter.py[diff]

19 files changed

tree: 38ef8ff2978259425fb6fc6a9cf218778cd7c4a0