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

preprocessor: reindex predetermined variables

issue#70
Houtan Bastani 2015-05-19 16:31:08 +02:00
parent 6a37dc9e21
commit 217123bb19
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
SymbolTable.cc
View File

@ -486,6 +486,7 @@ SymbolTable::rmExo(set<int> &unused) throw (FrozenException)
idxs.sort();
idxs.reverse();
vector<string> orig_name_table = name_table;
for (list<int>::const_iterator it = idxs.begin(); it != idxs.end(); it++)
{
type_table.erase(type_table.begin() + *it);
@ -499,8 +500,16 @@ SymbolTable::rmExo(set<int> &unused) throw (FrozenException)
for (vector<string>::const_iterator it=name_table.begin();
it != name_table.end(); it++)
symbol_table[*it] = size++;
assert(size == symbol_table.size());
set<int> orig_predetermined_variables = predetermined_variables;
predetermined_variables.clear();
for (set<int>::const_iterator it=orig_predetermined_variables.begin();
it != orig_predetermined_variables.end(); it++)
if (orig_name_table[*it] != getName(*it))
markPredetermined(getID(orig_name_table[*it]));
else
markPredetermined(*it);
}
void