* */
| 344 | * |
| 345 | */ |
| 346 | void |
| 347 | CGContext::write_var(const Variable *v) |
| 348 | { |
| 349 | v = v->get_collective(); |
| 350 | if (is_nonwritable(v)) { |
| 351 | assert(!"attempted write to a nonwritable variable"); |
| 352 | } |
| 353 | if (effect_accum) { |
| 354 | effect_accum->write_var(v); |
| 355 | } |
| 356 | // track effect for single statement |
| 357 | effect_stm.write_var(v); |
| 358 | sanity_check(); |
| 359 | } |
| 360 | |
| 361 | /* |
| 362 | * |
nothing calls this directly
no test coverage detected