From mboxrd@z Thu Jan 1 00:00:00 1970 From: Emilian.Medve@Freescale.com (Emil Medve) Date: Wed, 7 Jan 2015 01:30:37 -0600 Subject: [Cocci] Error: Unbound value Common.union_set In-Reply-To: References: <54AB026A.50909@Freescale.com> <54AB0D0B.3030909@Freescale.com> <54AB1518.7060209@Freescale.com> Message-ID: <54ACE09D.3080308@Freescale.com> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr Hello Julia, On 01/06/2015 04:09 AM, Julia Lawall wrote: > We are looking into it. It seems to be related to the version of ocaml. Thank you Cheers, > julia > > On Mon, 5 Jan 2015, Emil Medve wrote: > >> 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 >>>>>> Cocci at systeme.lip6.fr >>>>>> https://systeme.lip6.fr/mailman/listinfo/cocci