stepan
/
preprocessor
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

preprocessor: little fixes for removing unused exos from symbol_table

issue#70
Houtan Bastani 2015-04-14 18:13:28 +02:00
parent f76a6cb58b
commit 0a7172cb50
1 changed files with 3 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
SymbolTable.cc
View File

@ -482,12 +482,7 @@ SymbolTable::rmExo(set<int> &unused) throw (FrozenException)
list<int> idxs;
for (set<int>::const_iterator it = unused.begin(); it != unused.end(); it++)
{
string name = getName(*it);
idxs.push_back(symbol_table[name]);
symbol_table.erase(name);
size--;
}
idxs.push_back(getID(getName(*it)));
idxs.sort();
idxs.reverse();
@ -500,10 +495,10 @@ SymbolTable::rmExo(set<int> &unused) throw (FrozenException)
}
symbol_table.clear();
int i = 0;
size = 0;
for (vector<string>::const_iterator it=name_table.begin();
it != name_table.end(); it++)
symbol_table[*it] = i++;
symbol_table[*it] = size++;
assert(size == symbol_table.size());
}