diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-12-03 06:52:26 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-12-03 06:52:26 +0000 |
| commit | 8673a68a8ab55a2bd03f92d636a50e6b0bfad2da (patch) | |
| tree | 171bdf4ab75279dc2de634865b55d5908b284d00 /lib/Checker/GRExprEngine.cpp | |
| parent | 774dfbb046c5087a3b82790833d0604bf4c3be6c (diff) | |
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
Diffstat (limited to 'lib/Checker/GRExprEngine.cpp')
| -rw-r--r-- | lib/Checker/GRExprEngine.cpp | 5 |
1 files 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<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(); } |