On Wed, Jan 13, 2016 at 03:26:50PM +0100, Julia Lawall wrote: > > > On Wed, 13 Jan 2016, Richard W.M. Jones wrote: > > > On Wed, Jan 13, 2016 at 03:17:36PM +0100, Julia Lawall wrote: > > > > > > > > > On Wed, 13 Jan 2016, Richard W.M. Jones wrote: > > > > > > > > > > > https://bugzilla.redhat.com/show_bug.cgi?id=1297855 > > > > Build log: > > > > http://ppc.koji.fedoraproject.org/kojifiles/work/tasks/345/3060345/build.log > > > > > > > > In brief the build fails at: > > > > > > > > + > > > > /builddir/build/BUILDROOT/coccinelle-1.0.4-2.fc24.ppc64le/usr/bin/spatch > > > > -sp_file demos/simple.cocci demos/simple.c > > > > init_defs_builtins: > > > > /builddir/build/BUILDROOT/coccinelle-1.0.4-2.fc24.ppc64le/usr/lib64/coccinelle/standard.h > > > > Fatal error: exception Failure("dump: impossible tag (1002)") > > > > > > > > When thinking about this bug, don't exclude the possibility that there > > > > could be a problem in the OCaml compiler. In Fedora we currently use > > > > a non-upstream ppc64le code generator, although we are planning to > > > > replace it soon(-ish) with the new upstream POWER code generator that > > > > Xavier wrote last year. > > > > > > It is actually your code that is crashing :) > > > > > > (* Dump an OCaml value into a printable string. > > > * By Richard W.M. Jones ([email protected]). > > > * dumper.ml 1.2 2005/02/06 12:38:21 rich Exp > > > *) > > > > > > Maybe you could send the output of man Obj in your version of Ocaml? > > > > Not sure I understand - we don't change the Obj man page at all. > > > > The implementation of OCaml objects (as in the object header and so > > on) should also be the same, AFAIK. Certainly the ppc64le backend > > doesn't make any changes inside the OCaml compiler core, eg. to the GC > > or libraries. It's a 64 bit LE platform, so AFAIK the memory > > structures ought to be identical to x86-64. > > Actually, I'm not sure to understand which version of OCaml you are using?
4.02.3 The sources (including the non-upstream backend) is: https://git.fedorahosted.org/cgit/fedora-ocaml.git/log/?h=fedora-24-4.02 Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-builder quickly builds VMs from scratch http://libguestfs.org/virt-builder.1.html _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
