Also include the pointer address of the ExplodedNode

when generating DOT output for an ExplodedGraph.

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

diff --git a/lib/Checker/GRExprEngine.cpp b/lib/Checker/GRExprEngine.cpp
index 0dcc80b7864f39ef7b03f0d980b2a723735e45b0..a43d36aaeb4b392627c4e79da2ed5474e92e9894 100644 (file)
--- a/lib/Checker/GRExprEngine.cpp
+++ b/lib/Checker/GRExprEngine.cpp
@@ -3737,11 +3737,10 @@ struct DOTGraphTraits<ExplodedNode*> :
       }
     }
 
-    Out << "\\|StateID: " << (void*) N->getState() << "\\|";
-
     const GRState *state = N->getState();
+    Out << "\\|StateID: " << (void*) state
+        << " NodeID: " << (void*) N << "\\|";
     state->printDOT(Out, *N->getLocationContext()->getCFG());
-
     Out << "\\l";
     return Out.str();
   }