* */
| 535 | * |
| 536 | */ |
| 537 | bool |
| 538 | Effect::has_race_with(const Effect &e) const |
| 539 | { |
| 540 | return (non_empty_intersection(this->read_vars, e.write_vars) |
| 541 | || non_empty_intersection(this->write_vars, e.read_vars) |
| 542 | || non_empty_intersection(this->write_vars, e.write_vars)); |
| 543 | } |
| 544 | |
| 545 | /* |
| 546 | * |
nothing calls this directly
no test coverage detected