| 1259 | outmark_to_id[mark] = id; |
| 1260 | } |
| 1261 | void remove_output_mark(size_t id) { |
| 1262 | auto marks = trace_result->vars[id].out_marker; |
| 1263 | trace_result->vars[id].out_marker.clear(); |
| 1264 | for (auto m : marks) { |
| 1265 | outmark_to_id.erase(m); |
| 1266 | } |
| 1267 | } |
| 1268 | void enter() { |
| 1269 | auto& self = *this; |
| 1270 | if (!self.trace_result) { // untraced |