diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-10-17 23:10:09 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-10-17 23:10:09 +0000 |
| commit | 14e9eb3d7caed026a805033a9ce7b9e70d18bf04 (patch) | |
| tree | 789b8bf97c1626343785a4c827728a789d17316b /clang/lib/StaticAnalyzer/Core/BugReporter.cpp | |
| parent | d325196f19bfecff59252f3d214278fb6ee4ad61 (diff) | |
| download | bcm5719-llvm-14e9eb3d7caed026a805033a9ce7b9e70d18bf04.tar.gz bcm5719-llvm-14e9eb3d7caed026a805033a9ce7b9e70d18bf04.zip | |
[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
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/BugReporter.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/BugReporter.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp index f689d8e76af..1864bcef9b8 100644 --- a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp +++ b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp @@ -2566,7 +2566,8 @@ BugPathInfo *BugPathGetter::getNextBugPath() { // Create the equivalent node in the new graph with the same state // and location. ExplodedNode *NewN = GNew->createUncachedNode( - OrigN->getLocation(), OrigN->getState(), OrigN->isSink()); + OrigN->getLocation(), OrigN->getState(), + OrigN->getID(), OrigN->isSink()); // Link up the new node with the previous node. if (Succ) |
