Package: gperf
Version: 3.0.4-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 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat 
-Werror=format-security -Wl,-z,relro -o cout cinset.c test.o

error: conflicting function declarations "in_word_set"
old definition in module cinset file cinset.c line 104
const char * (const char *str, unsigned int len)
new definition in module test file ./test.c line 11
char * (const char *, signed int)
Makefile:70: recipe for target 'check-link-c' failed
make[2]: *** [check-link-c] Error 64
make[2]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-gperf/gperf-3.0.4/tests'
Makefile:57: recipe for target 'check' failed

While technically undefined behaviour, at least the parameter name "len"
suggests that all actual parameters will be positive integers. The declaration
in test.c should nevertheless be fixed to enable the compiler to generate more
suitable diagnostics.

Best,
Michael

Attachment: pgpPgPXfs9vCJ.pgp
Description: PGP signature

Reply via email to