Hi Thierry,
2017-11-16 0:49 GMT+09:00 Masahiro Yamada :
> Hi Thierry,
>
> 2017-11-15 23:56 GMT+09:00 Thierry Martinez :
>> Hi, Masahiro.
>>
>> Masahiro:
>>> Fatal error: exception
>>> Yes_prepare_ocamlcocci.LinkFailure("/tmp/ocaml_cocci_fdd282.cmxs")
>>
>> If you can rerun your test with coccinel
Hi Thierry,
2017-11-15 23:56 GMT+09:00 Thierry Martinez :
> Hi, Masahiro.
>
> Masahiro:
>> Fatal error: exception
>> Yes_prepare_ocamlcocci.LinkFailure("/tmp/ocaml_cocci_fdd282.cmxs")
>
> If you can rerun your test with coccinelle GitHub master, the
> LinkFailure exception will now be more verbose
;
> To: "Julia Lawall"
> Cc: "Linux Kernel Mailing List" , "Linux Kbuild
> mailing list"
> , "Nicolas Palix" ,
> co...@systeme.lip6.fr
> Sent: Wednesday, November 15, 2017 9:23:11 AM
> Subject: Re: [Cocci] Coccinelle: badzero.cocci failu
> > Can you try the following semantic patch (called eg nothing.cocci):
> >
> > @script:ocaml@
> > @@
> >
> > ()
> >
> > on any .c file, ie
> >
> > spatch --sp-file nothing.cocci test.c
> >
>
>
> Thanks for the simple test semantic patch!
>
>
>
> I noticed 1.0.4 is OK,
> but 1.0.5 is NG
>
> I gues
Hi Julia,
2017-11-15 15:22 GMT+09:00 Julia Lawall :
>
>
> On Tue, 14 Nov 2017, Masahiro Yamada wrote:
>
>> Hi Julia,
>>
>>
>> 2017-11-14 18:07 GMT+09:00 Julia Lawall :
>> >> coccicheck failed
>> >> $ cat cocci-debug.txt
>> >> /home/masahiro/bin/spatch -D report --no-show-diff --very-quiet
>> >> -
On Tue, 14 Nov 2017, Masahiro Yamada wrote:
> Hi Julia,
>
>
> 2017-11-14 18:07 GMT+09:00 Julia Lawall :
> >> coccicheck failed
> >> $ cat cocci-debug.txt
> >> /home/masahiro/bin/spatch -D report --no-show-diff --very-quiet
> >> --cocci-file scripts/coccinelle/null/badzero.cocci --dir . -I
> >> .
Hi Julia,
2017-11-14 18:07 GMT+09:00 Julia Lawall :
>> coccicheck failed
>> $ cat cocci-debug.txt
>> /home/masahiro/bin/spatch -D report --no-show-diff --very-quiet
>> --cocci-file scripts/coccinelle/null/badzero.cocci --dir . -I
>> ./arch/x86/include -I ./arch/x86/include/generated -I ./include
> coccicheck failed
> $ cat cocci-debug.txt
> /home/masahiro/bin/spatch -D report --no-show-diff --very-quiet
> --cocci-file scripts/coccinelle/null/badzero.cocci --dir . -I
> ./arch/x86/include -I ./arch/x86/include/generated -I ./include -I
> ./arch/x86/include/uapi -I ./arch/x86/include/generate
Hi Coccinelle developers,
When I was working on my patch, I was hit by another issue.
badzero.cocci failed on all modes.
Can you take a look at it, please?
I tried to use DEBUG_FILE and dump the log,
but I could not get a clue of the cause of the failure.
My spatch version is:
spatch versi
9 matches
Mail list logo
