* */
| 555 | * |
| 556 | */ |
| 557 | void |
| 558 | Effect::clear(void) |
| 559 | { |
| 560 | read_vars.clear(); |
| 561 | write_vars.clear(); |
| 562 | pure = side_effect_free = true; |
| 563 | } |
| 564 | |
| 565 | /////////////////////////////////////////////////////////////////////////////// |
| 566 |
no outgoing calls