From 8673a68a8ab55a2bd03f92d636a50e6b0bfad2da Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 3 Dec 2010 06:52:26 +0000 Subject: [PATCH] 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 --- lib/Checker/GRExprEngine.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/lib/Checker/GRExprEngine.cpp b/lib/Checker/GRExprEngine.cpp index 0dcc80b786..a43d36aaeb 100644 --- a/lib/Checker/GRExprEngine.cpp +++ b/lib/Checker/GRExprEngine.cpp @@ -3737,11 +3737,10 @@ struct DOTGraphTraits : } } - 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(); } -- 2.40.0