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? julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
