Package: apt-spy Version: 3.2.2-1 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.
[...] cc -o apt-spy -lcurl -Wall -pedantic-errors -g benchmark.c file.c protocol.c main.c parse.c update.c trim.c error: conflicting function declarations "trim" old definition in module parse file include/trim.h line 21 char * (char *, const signed int) new definition in module trim file trim.c line 203 char * (char *s, const char d) CONVERSION ERROR Makefile:9: recipe for target 'apt-spy' failed make[1]: *** [apt-spy] Error 64 make[1]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-apt-spy/apt-spy-3.2.2' debian/rules:15: recipe for target 'build-stamp' failed make: *** [build-stamp] Error 2 Observe that undefined behaviour will manifest even if all values passed to the function are less than 128: big endian systems will make those values end up in the wrong place for the implementation to pick up. Best, Michael
pgpzDThvaBwUe.pgp
Description: PGP signature
