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 | 57859c56c8020d68f196a9c9a591b431ac2be10a (patch) | |
| tree | aa1e01d8a7f88a896d1787a089ad8d8df9399d58 | |
| parent | e5219660542e7126c7de8f2bd945f05d238760a4 (diff) | |
| download | bcm5719-llvm-57859c56c8020d68f196a9c9a591b431ac2be10a.tar.gz bcm5719-llvm-57859c56c8020d68f196a9c9a591b431ac2be10a.zip | |
Also include the pointer address of the ExplodedNode
when generating DOT output for an ExplodedGraph.
llvm-svn: 120794
| -rw-r--r-- | clang/lib/Checker/GRExprEngine.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp index 0dcc80b7864..a43d36aaeb4 100644 --- a/clang/lib/Checker/GRExprEngine.cpp +++ b/clang/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(); } |
