On Mon, Oct 05, 2020 at 05:15:57PM +0200, Luc Maranget wrote:
> > On Sun, Oct 04, 2020 at 12:16:31AM +0900, Akira Yokosawa wrote:
> > > > P1(int *x, int *y)
> > > > {
> > > > WRITE_ONCE(*x, READ_ONCE(*y));
> > >
> > > Looks like this one-liner doesn't provide data-dependency of y -> x on
> > > herd7.
> >
> > You're right. This is definitely a bug in herd7.
> >
> > Luc, were you aware of this?
>
> Hi Alan,
>
> No I was not aware of it. Now I am, the bug is normally fixed in the master
> branch of herd git deposit.
> <https://github.com/herd/herdtools7/commit/0f3f8188a326d5816a82fb9970fcd209a2678859>
>
> Thanks for the report.
I tested the new commit -- it does indeed fix the problem.
Thanks.
Alan
