lkml.org 
[lkml]   [2020]   [Oct]   [5]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Bug in herd7 [Was: Re: Litmus test for question from Al Viro]
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

\
 
 \ /
  Last update: 2020-10-05 17:54    [W:0.223 / U:0.196 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site