Package: isdnactivecards Version: 1:3.9.20060704-11 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and 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 -Wall -O2 -DUNIX -DLINUX -I. -Iinclude ./divautil/divalog.o ./divautil/loglib.o ./divautil/idilog.o ./divautil/xlog.o linuxcfg.o -L../lib -lncurses -o divalog error: conflicting function declarations "xlog" old definition in module divalog file ./divautil/loglib.h line 136 void (struct _IO_FILE *, char *, unsigned int) new definition in module xlog file ./divautil/xlog.c line 431 unsigned short int (struct _IO_FILE *stream, struct xlog_s *buffer) Makefile:87: recipe for target 'divalog' failed make[2]: *** [divalog] Error 64 The declaration here http://sources.debian.net/src/isdnactivecards/1:3.9.20060704-11/eicon/divautil/loglib.h?hl=136#L136 and the actual definition here http://sources.debian.net/src/isdnactivecards/1:3.9.20060704-11/eicon/divautil/xlog.c?hl=431#L431 show some major inconsistencies: - the declaration suggests that 3 arguments are required; - the type of the second argument may be inconsistent; - the return types do not match. Best, Michael
pgpzECrKPd9rV.pgp
Description: PGP signature
