On Sun, 14 Jun 2020, Mike Galbraith wrote:
> On Sun, 2020-06-14 at 09:57 +0200, Mike Galbraith wrote:
> > On Sun, 2020-06-14 at 09:42 +0200, Julia Lawall wrote:
> > >
> > > On Sun, 14 Jun 2020, Mike Galbraith wrote:
> > >
> > >
> > > > I didn't download, rather pulled/built. I didn't have the same issue
> > > > you did, but make coccicheck was a bust here until I backed down to
> > > > version 1.0.6. Neither HEAD, 1.0.8 or 1.0.7 ran, and following its
> > > > MODE=blah suggestion helped not at all.
> > >
> > > Did you get a segmentation fault?
> >
> > Nope. Turned out to be a dinky install gotcha. Creating a symlink..
> >
> > lrwxrwxrwx 1 root root 27 Jun 14 09:40 /usr/local/coccinelle/lib ->
> > /usr/local/coccinelle/lib64
> >
> > ..seems to have fixed 1.0.8 all up. The very first time I installed, I
> > had to create one directory (forget which) by hand as well.
>
> Oh well, not all fixed up, but it does run.
>
> ./fs/xfs/xfs_rmap_item.c:56:5-24: atomic_dec_and_test variation before object
> free at line 57.
> ./kernel/nsproxy.c:253:11-30: atomic_dec_and_test variation before object
> free at line 254.
> ./net/unix/scm.c:80:6-30: atomic_dec_and_test variation before object free at
> line 81.
> coccicheck failed
> make: *** [Makefile:1822: coccicheck] Error 2
Yeah, that's the segfault.... There is one rule that doesn't work well
with make coccicheck. A patch has been proposed, but I don't know whether
it is upstream.
julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
