* */
| 210 | * |
| 211 | */ |
| 212 | void |
| 213 | CGContext::read_var(const Variable *v) |
| 214 | { |
| 215 | v = v->get_collective(); |
| 216 | if (is_nonreadable(v)) { |
| 217 | assert(!"attempted read from a nonreadable variable"); |
| 218 | } |
| 219 | if (effect_accum) { |
| 220 | effect_accum->read_var(v); |
| 221 | } |
| 222 | // track effect for single statement |
| 223 | effect_stm.read_var(v); |
| 224 | sanity_check(); |
| 225 | } |
| 226 | |
| 227 | /* |
| 228 | * |
nothing calls this directly
no test coverage detected