Package: foomatic-filters
Version: 4.0.17-3
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 -I/usr/include/dbus-1.0 -I/usr/lib/x86_64-linux-gnu/dbus-1.0/include  
-DHAVE_DBUS -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat 
-Werror=format-security  -Wl,-z,relro -o foomatic-rip 
foomatic_rip-foomaticrip.o foomatic_rip-options.o foomatic_rip-pdf.o 
foomatic_rip-postscript.o foomatic_rip-util.o foomatic_rip-spooler.o 
foomatic_rip-process.o foomatic_rip-renderer.o foomatic_rip-fileconverter.o 
foomatic_rip-colord.o -ldbus-1  -lm 

error: conflicting function declarations "print_pdf"
old definition in module foomaticrip file pdf.h line 27
signed int (struct _IO_FILE *, const char *, unsigned long int, const char *, 
signed int)
new definition in module pdf file pdf.c line 263
signed int (struct _IO_FILE *s, const char *alreadyread, unsigned long int len, 
const char *filename, unsigned long int startpos)
Makefile:330: recipe for target 'foomatic-rip' failed
make[3]: *** [foomatic-rip] Error 64
make[3]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-foomatic-filters/foomatic-filters-4.0.17'
Makefile:233: recipe for target 'all' failed

For all platforms with sizeof(int)!=sizeof(unsigned long) this code has
undefined behaviour as several bytes of the parameter startpos will take an
arbitrary value. Assuming the parameter is used for what its name suggests, this
will most likely be invalid memory accesses.

Best,
Michael

Attachment: pgpJDO1RBYiCP.pgp
Description: PGP signature

Reply via email to