Package: jove Version: 4.16.0.73-2 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.
[...] cc -O2 -Wall -o jjove commands.o keys.o argcount.o ask.o buf.o jctype.o delete.o disp.o insert.o io.o jove.o marks.o misc.o re.o screen.o termcap.o unix.o util.o vars.o list.o keymaps.o mouse.o abbrev.o rec.o paragraph.o fmt.o c.o wind.o fp.o move.o extend.o macros.o iproc.o reapp.o proc.o scandir.o term.o case.o -ltermcap error: conflicting function declarations "insert_c" old definition in module ask file insert.h line 22 void (signed int, signed int) new definition in module insert file insert.c line 207 void (char c, signed int n) Makefile:298: recipe for target 'jjove' failed make[1]: *** [jjove] Error 64 While the code may be safe at present in that only values ranging from 0 to 127 are being passed to insert_c (to be checked), there is certainly no guarantee that this is the case. Adjusting the declaration in insert.h will enable much more appropriate compiler diagnostics to avoid potential problems. Best, Michael
pgpH06flBIqNm.pgp
Description: PGP signature
