Preprocessor: add a check to DynamicModel::toStatic()
parent
e2c0854cd4
commit
19338906ba
|
@ -2452,6 +2452,10 @@ DynamicModel::writeDynamicFile(const string &basename, bool block, bool bytecode
|
||||||
void
|
void
|
||||||
DynamicModel::toStatic(StaticModel &static_model) const
|
DynamicModel::toStatic(StaticModel &static_model) const
|
||||||
{
|
{
|
||||||
|
/* Ensure that we are using the same symbol table, because at many places we manipulate
|
||||||
|
symbol IDs rather than strings */
|
||||||
|
assert(&symbol_table == &static_model.symbol_table);
|
||||||
|
|
||||||
// Convert model local variables (need to be done first)
|
// Convert model local variables (need to be done first)
|
||||||
for (map<int, NodeID>::const_iterator it = local_variables_table.begin();
|
for (map<int, NodeID>::const_iterator it = local_variables_table.begin();
|
||||||
it != local_variables_table.end(); it++)
|
it != local_variables_table.end(); it++)
|
||||||
|
|
Loading…
Reference in New Issue