Package: bsdgames Version: 2.17-21 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 -fPIE -pie -Wl,-z,relro -Wl,-z,now adventure/crc.o adventure/data.o adventure/done.o adventure/init.o adventure/io.o adventure/main.o adventure/save.o adventure/subr.o adventure/vocab.o adventure/wizard.o -o adventure/adventure error: conflicting function declarations "decr" old definition in module init file adventure/init.c line 137 char * (char a, char b, char c, char d, char e) new definition in module wizard file adventure/extern.h line 45 char * (signed int, signed int, signed int, signed int, signed int) GNUmakefile:776: recipe for target 'adventure/adventure' failed make[2]: *** [adventure/adventure] Error 64 make[2]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-bsdgames/bsdgames-2.17' dh_auto_build: make -j1 returned exit code 2 These conflicts (int vs. char on all parameters) may result in undefined behaviour, either if values > 127 or else if the compiler decides to use different parts of registers to pass the parameters, which it then will fail to obtain as any function call cannot use this trick. Best, Michael
pgpAfa97XpaTE.pgp
Description: PGP signature