diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-01-15 19:12:48 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-05-30 09:45:21 +0100 |
| commit | 31f965a01fbf7fd6e8590395de2f59d1b224607c (patch) | |
| tree | 63386cb97532b69bf3d8528d7a2e764d89d7ae7b /lib/Core/ExecutionState.cpp | |
| parent | 07581cb13d272a01adf7624ab84b6252fc7d525c (diff) | |
| download | klee-31f965a01fbf7fd6e8590395de2f59d1b224607c.tar.gz | |
ExecutionState: remove fnAliases
Diffstat (limited to 'lib/Core/ExecutionState.cpp')
| -rw-r--r-- | lib/Core/ExecutionState.cpp | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp index 48154383..3bce274c 100644 --- a/lib/Core/ExecutionState.cpp +++ b/lib/Core/ExecutionState.cpp @@ -102,7 +102,6 @@ ExecutionState::~ExecutionState() { } ExecutionState::ExecutionState(const ExecutionState& state): - fnAliases(state.fnAliases), pc(state.pc), prevPC(state.prevPC), stack(state.stack), @@ -164,14 +163,6 @@ void ExecutionState::addSymbolic(const MemoryObject *mo, const Array *array) { mo->refCount++; symbolics.push_back(std::make_pair(mo, array)); } -/// - -std::string ExecutionState::getFnAlias(std::string fn) { - std::map < std::string, std::string >::iterator it = fnAliases.find(fn); - if (it != fnAliases.end()) - return it->second; - else return ""; -} /**/ |