Skip to content

Task pthread-demo-datarace-2.i contains a race

Hernan Ponce de Leon requested to merge pthread-demo-datarace-2.c into main

The modified benchmark clearly contains a data race on variable myglobal. In such cases we normally

  • remove the unreach-call property,
  • change no-data-race to false, and
  • create a fix version of the benchmark.

This PR implements the first two points. I don't see the point of doing the 3rd because a fixed version of this task (using locks) is given by pthread-demo-datarace-1.c

Merge request reports