Package: jbofihe Version: 0.38-5.1 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits extended reporting on type inconsistencies at link time.
gcc -O2 -DHAVE_MMAP=1 -DDEFAULT_DICTIONARY=\"/usr/lib/jbofihe/smujmaji.dat\" -o jbofihe main.o lex1.o lex2.o cmavotab.o rpc_tab.o functions.o categ.o nonterm.o tree.o translate.o latex.o properties.o conversion.o terms.o memory.o tenses.o output.o textout.o htmlout.o connect.o stag.o latexblk.o relative.o textblk.o errorscan.o canonluj.o lujvofns.o erasure.o rpc_full.o morf.o morf_dfa.o bccheck.o tracebk.o elide.o dictaccs.o error: conflicting function declarations "report_trace_shift" old definition in module rpc_tab file rpc_tab.c line 3 signed int (signed int) new definition in module tracebk file tracebk.c line 77 void (signed int yychar, signed int yychar1) Makefile:54: recipe for target 'jbofihe' failed make[1]: *** [jbofihe] Error 64 make[1]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-jbofihe/jbofihe-0.38' debian/rules:22: recipe for target 'build-stamp' failed make: *** [build-stamp] Error 2 The code generator in http://sources.debian.net/src/jbofihe/0.38-5.1/add_trace_to_tabc.pl?hl=36#L36 should be fixed to make sure no future implementation of report_trace_shift actually makes use of the second argument (which is presently unused), as this would lead to stack underflow and thus undefined behaviour. Best, Michael
pgp6F9AV4UVW7.pgp
Description: PGP signature
