diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-05-08 21:49:47 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-05-08 21:49:47 +0000 |
| commit | 228571b69b3ef4a4a622c2d10b08ceafda6ca1e9 (patch) | |
| tree | 86733ad77a7c8dc355fbb6040138ecb587e9b9bb | |
| parent | 0bd3e404af219ef5baabe2b7b896e9ef1feca0ed (diff) | |
| download | bcm5719-llvm-228571b69b3ef4a4a622c2d10b08ceafda6ca1e9.tar.gz bcm5719-llvm-228571b69b3ef4a4a622c2d10b08ceafda6ca1e9.zip | |
Include address of Store in graphviz output of ExplodedGraph.
llvm-svn: 156426
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/RegionStore.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/RegionStore.cpp b/clang/lib/StaticAnalyzer/Core/RegionStore.cpp index 26a7e4b24f2..1fec0206230 100644 --- a/clang/lib/StaticAnalyzer/Core/RegionStore.cpp +++ b/clang/lib/StaticAnalyzer/Core/RegionStore.cpp @@ -2016,7 +2016,9 @@ StoreRef RegionStoreManager::enterStackFrame(ProgramStateRef state, void RegionStoreManager::print(Store store, raw_ostream &OS, const char* nl, const char *sep) { RegionBindings B = GetRegionBindings(store); - OS << "Store (direct and default bindings):" << nl; + OS << "Store (direct and default bindings), " + << (void*) B.getRootWithoutRetain() + << " :" << nl; for (RegionBindings::iterator I = B.begin(), E = B.end(); I != E; ++I) OS << ' ' << I.getKey() << " : " << I.getData() << nl; |
