intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-02-03 02:26:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

[analyzer] Dump a reproducible, deterministic ID of program state to exploded graph

Browse Source 
Differential Revision: https://reviews.llvm.org/D51395

llvm-svn: 341600
This commit is contained in:
George Karpenkov
2018-09-06 23:07:26 +00:00
parent 459732edbb
commit e40d4053ba
3 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
View File

@@ -107,6 +107,8 @@ public:
~ProgramState();
int64_t getID() const;
/// Return the ProgramStateManager associated with this state.
ProgramStateManager &getStateManager() const {
return *stateMgr;

3
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
View File

@@ -3141,7 +3141,8 @@ struct DOTGraphTraits<ExplodedNode*> : public DefaultDOTGraphTraits {
}
ProgramStateRef state = N->getState();
Out << "\\|StateID: " << (const void*) state.get()
Out << "\\|StateID: " << state->getID() << " ("
<< (const void*) state.get() << ")"
<< " NodeID: " << (const void*) N << "\\|";
state->printDOT(Out, N->getLocationContext());

7
clang/lib/StaticAnalyzer/Core/ProgramState.cpp
View File

@@ -69,6 +69,13 @@ ProgramState::~ProgramState() {
stateMgr->getStoreManager().decrementReferenceCount(store);
}
int64_t ProgramState::getID() const {
Optional<int64_t> Out = getStateManager().Alloc.identifyObject(this);
assert(Out && "Wrong allocator used");
assert(*Out % alignof(ProgramState) == 0 && "Wrong alignment information");
return *Out / alignof(ProgramState);
}
ProgramStateManager::ProgramStateManager(ASTContext &Ctx,
StoreManagerCreator CreateSMgr,
ConstraintManagerCreator CreateCMgr,