Bug#747966: Conflicting parameter declarations of function decr

[Michael Tautschnig]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 859 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-games-devel/attachments/20140513/4e77ab8c/attachment.sig>