diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-09-09 14:55:59 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-09-09 14:55:59 +0000 |
| commit | e9764d8f91931a3e1d2274237225101d7bb00533 (patch) | |
| tree | 61888f43061a29a39ee1c867c6383f64fe109d10 /clang/lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 851c941b8b596e7e2914b00795c32e285668b389 (diff) | |
| download | bcm5719-llvm-e9764d8f91931a3e1d2274237225101d7bb00533.tar.gz bcm5719-llvm-e9764d8f91931a3e1d2274237225101d7bb00533.zip | |
Remove dead method ProgramState::MarshalState().
llvm-svn: 163479
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp index 3c7e28e9461..56c6c04df0c 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -111,17 +111,6 @@ ProgramStateManager::removeDeadBindings(ProgramStateRef state, return ConstraintMgr->removeDeadBindings(Result, SymReaper); } -ProgramStateRef ProgramStateManager::MarshalState(ProgramStateRef state, - const StackFrameContext *InitLoc) { - // make up an empty state for now. - ProgramState State(this, - EnvMgr.getInitialEnvironment(), - StoreMgr->getInitialStore(InitLoc), - GDMFactory.getEmptyMap()); - - return getPersistentState(State); -} - ProgramStateRef ProgramState::bindCompoundLiteral(const CompoundLiteralExpr *CL, const LocationContext *LC, SVal V) const { |
