| 155 | } |
| 156 | |
| 157 | void |
| 158 | Effect::write_var(const Variable *v) |
| 159 | { |
| 160 | if (!is_written(v)) { |
| 161 | write_vars.push_back(v); |
| 162 | } |
| 163 | // pure = pure; |
| 164 | // TODO: not quite correct below --- |
| 165 | // --- but I think we want "side_effect_free" to mean "volatile_free". |
| 166 | side_effect_free &= (!v->is_volatile() && !v->is_access_once()); |
| 167 | // side_effect_free = false; |
| 168 | } |
| 169 | |
| 170 | void |
| 171 | Effect::write_var_set(const std::vector<const Variable *>& vars) |
no test coverage detected