commit 57859c56c8020d68f196a9c9a591b431ac2be10a
author Ted Kremenek <kremenek@apple.com> Fri Dec 03 06:52:26 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Dec 03 06:52:26 2010 +0000
tree aa1e01d8a7f88a896d1787a089ad8d8df9399d58
parent e5219660542e7126c7de8f2bd945f05d238760a4

Also include the pointer address of the ExplodedNode
when generating DOT output for an ExplodedGraph.

llvm-svn: 120794

clang/lib/Checker/GRExprEngine.cpp

diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp
index 0dcc80b..a43d36a 100644
--- a/clang/lib/Checker/GRExprEngine.cpp
+++ b/clang/lib/Checker/GRExprEngine.cpp
@@ -3737,11 +3737,10 @@
       }
     }
 
-    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();
   }