MCPcopy Create free account
hub / github.com/csmith-project/csmith / has_race_with

Method has_race_with

src/Effect.cpp:537–543  ·  view source on GitHub ↗

* */

Source from the content-addressed store, hash-verified

535 *
536 */
537bool
538Effect::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 *

Callers

nothing calls this directly

Calls 1

non_empty_intersectionFunction · 0.85

Tested by

no test coverage detected