replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Include address of Store in graphviz output of ExplodedGraph. 

llvm-svn: 156426
This commit is contained in:
Ted Kremenek 2012-05-08 21:49:47 +00:00
parent 0bd3e404af
commit 228571b69b
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/lib/StaticAnalyzer/Core/RegionStore.cpp
View File

@ -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;