Hello Julia,
On 01/05/2015 04:19 PM, Julia Lawall wrote:
> On Mon, 5 Jan 2015, Emil Medve wrote:
>
>> Hello Julia,
>>
>>
>> On 01/05/2015 03:54 PM, Julia Lawall wrote:
>>> On Mon, 5 Jan 2015, Emil Medve wrote:
>>>
>>>> Hello,
>>>>
>>>>
>>>> I'm seeing the following errors:
>>>>
>>>>> File "/tmp/ocaml_cocci_cfd8ea.ml", line 21, characters 23-39:
>>>>> Error: Unbound value Common.union_set
>>>
>>> This is really strange. What semantic patch are you running?
>>
>> All of them as I'm not using COCCI=... to select some specific single
>> patch. I'll narrow it down a bit and get back to you
scripts/coccinelle/null/badzero.cocci
> File "/tmp/ocaml_cocci_cc56de.ml", line 21, characters 23-39:
> Error: Unbound value Common.union_set
> Fatal error: exception
> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cc56de.ml")
This is the only patch that seems to produce unexpected results
>>> Could you try spatch --sp-file us.cocci us.c
>>>
>>> where us.cocci is:
>>>
>>> @script:ocaml@
>>> @@
>>>
>>> let _ = Common.union_set [1;2] [3] in
>>> Printf.printf "ok\n"
>>>
>>> @@
>>> @@
>>>
>>> - foo();
>>>
>>> and us.c is:
>>>
>>> int main () {
>>> foo();
>>> }
>>
>> I'm sure this makes more sense to you then it makes to me:
>>
>>> $ spatch --sp-file us.cocci us.c
>>> init_defs_builtins: /usr/lib64/ocaml/coccinelle/standard.h
>>> Using native version of ocamlc/ocamlopt/ocamldep
>>> ocamlopt.opt -shared -o /tmp/ocaml_cocci_e217fe.cmxs -g -I /usr/lib64/ocaml
>>> -I /usr/lib64/ocaml/coccinelle//ocaml /tmp/ocaml_cocci_e217fe.ml
>>> File "/tmp/ocaml_cocci_e217fe.ml", line 15, characters 6-36:
>>> Error: Unbound value Iteration.add_pending_instance
>>> Fatal error: exception
>>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e217fe.ml")
>
> Something is completely wrong with your installation.
>
> Where did you get your Coccinelle from?
http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0-rc23.tgz
> Did you compile it yourself?
Sort of. This is a Gentoo box. The following self-tests seems to run
correctly though:
> ./spatch standard.h -parse_c -dir tests/
> ./spatch -iso_file standard.iso -macro_file_builtins standard.h -testall
> ./spatch.opt -iso_file standard.iso -macro_file_builtins standard.h -testall
Cheers,
> Maybe it is an ocaml version problem. Your version is newer than mine. I
> will try to get someone to try with the ocaml version you have.
>
> julia
>
>
>
>>
>>
>> Cheers,
>>
>>
>>> thanks,
>>> julia
>>>
>>>>> File "/tmp/ocaml_cocci_0b6504.ml", line 21, characters 23-39:
>>>>> Error: Unbound value Common.union_set
>>>>> Fatal error: exception
>>>>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_cfd8ea.ml")
>>>>> Fatal error: exception
>>>>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_0b6504.ml")
>>>>> File "/tmp/ocaml_cocci_5c8de6.ml", line 21, characters 23-39:
>>>>> File "/tmp/ocaml_cocci_bb345d.ml", line 21, characters 23-39:
>>>>> Error: Unbound value Common.union_set
>>>>> Error: Unbound value Common.union_set
>>>>> Fatal error: exception
>>>>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_bb345d.ml")
>>>>> Fatal error: exception
>>>>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_5c8de6.ml")
>>>>> File "/tmp/ocaml_cocci_84f1b1.ml", line 21, characters 23-39:
>>>>> File "/tmp/ocaml_cocci_e0436a.ml", line 21, characters 23-39:
>>>>> Error: Unbound value Common.union_set
>>>>> Error: Unbound value Common.union_set
>>>>> Fatal error: exception
>>>>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_e0436a.ml")
>>>>> Fatal error: exception
>>>>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_84f1b1.ml")
>>>>> File "/tmp/ocaml_cocci_f46b5a.ml", line 21, characters 23-39:
>>>>> Error: Unbound value Common.union_set
>>>>> Fatal error: exception
>>>>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_f46b5a.ml")
>>>>> File "/tmp/ocaml_cocci_a89bea.ml", line 21, characters 23-39:
>>>>> Error: Unbound value Common.union_set
>>>>> Fatal error: exception
>>>>> Yes_prepare_ocamlcocci.CompileFailure("/tmp/ocaml_cocci_a89bea.ml")
>>>>
>>>> Here is the context and a few relevant version numbers:
>>>>
>>>>> make coccicheck MODE=report M=...
>>>>> $ git describe --abbrev=0
>>>>> v3.19-rc2
>>>>> $ spatch --version
>>>>> spatch version 1.0.0-rc23 with Python support and with PCRE support
>>>>> $ ocaml -version
>>>>> The OCaml toplevel, version 4.02.1
>>>>
>>>> Any advice? Need extra information?
>>>>
>>>>
>>>> Cheers,
>>>> _______________________________________________
>>>> Cocci mailing list
>>>> [email protected]
>>>> https://systeme.lip6.fr/mailman/listinfo/cocci
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
