| 1497 | } |
| 1498 | |
| 1499 | ArrayVariable* |
| 1500 | VariableSelector::create_mutated_array_var(const ArrayVariable* av, const vector<const Expression*>& new_indices) |
| 1501 | { |
| 1502 | assert(0 && "invalid call to create_mutated_array_var!"); |
| 1503 | size_t i; |
| 1504 | ArrayVariable* new_av = new ArrayVariable(*av); |
| 1505 | for (i=0; i<new_indices.size(); i++) { |
| 1506 | new_av->set_index(i, new_indices[i]); |
| 1507 | } |
| 1508 | // add new variable to local list and all-variable list |
| 1509 | AllVars.push_back(new_av); |
| 1510 | av->parent->local_vars.push_back(new_av); |
| 1511 | return new_av; |
| 1512 | } |
| 1513 | |
| 1514 | Variable * |
| 1515 | VariableSelector::make_dummy_static_variable(const string &name) |