[all-commits] [llvm/llvm-project] 14e9eb: [analyzer] Assign truly stable identifiers to expl...

[NoQ via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 14e9eb3d7caed026a805033a9ce7b9e70d18bf04
      https://github.com/llvm/llvm-project/commit/14e9eb3d7caed026a805033a9ce7b9e70d18bf04
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2019-10-17 (Thu, 17 Oct 2019)

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

  Log Message:
  -----------
  [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