On Sun, 2020-06-14 at 10:00 +0200, 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
And doing the DEBUG_FILE="all.err" thing says...
/usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file
./scripts/coccinelle/api/alloc/alloc_cast.cocci --no-includes --include-headers
--dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I ./include -I
./arc>
12712 files match
/usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file
./scripts/coccinelle/api/alloc/pool_zalloc-simple.cocci --no-includes
--include-headers --dir . -I ./arch/x86/include -I ./arch/x86/include/generated
-I ./include >
42 files match
/usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file
./scripts/coccinelle/api/alloc/zalloc-simple.cocci --no-includes
--include-headers --dir . -I ./arch/x86/include -I ./arch/x86/include/generated
-I ./include -I ./>
2003 files match
/usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file
./scripts/coccinelle/api/atomic_as_refcounter.cocci --include-headers
--very-quiet --dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I
./include -I ./>
502 files match
/usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file
./scripts/coccinelle/api/check_bq27xxx_data.cocci --dir . -I ./arch/x86/include
-I ./arch/x86/include/generated -I ./include -I ./arch/x86/include/uapi -I
./arch/x>
File "/tmp/ocaml_cocci_c0ec37.ml", line 1:
Error: The files /usr/local/coccinelle/bin/../lib/coccinelle/ocaml/coccilib.cmi
and /usr/local/coccinelle/bin/../lib/coccinelle/ocaml/ast_c.cmi
make inconsistent assumptions over interface Ast_c
Fatal error: exception
Coccinelle_modules.Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_c0ec37.ml")
~
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
