Package: jfsutils
Version: 1.1.15-2.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 -Wall -Wstrict-prototypes -fno-strict-aliasing -g -O2 -fstack-protector 
--param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall  -Wl,-z,relro 
-o jfs_fsck fsckbmap.o fsckconn.o fsckdire.o fsckdtre.o fsckea.o fsckimap.o 
fsckino.o fsckmeta.o fsckpfs.o dirindex.o fsckwsp.o fsckxtre.o xchkdsk.o 
fsckruns.o fsck_message.o ../libfs/libfs.a -luuid 

error: conflicting types for variable "key_len"
old definition in module fsckdtre file fsckdtre.c line 54
unsigned int [2l]
new definition in module xchkdsk file xchkdsk.c line 87
signed int [2l]
Makefile:266: recipe for target 'jfs_fsck' failed
make[3]: *** [jfs_fsck] Error 64
make[3]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-jfsutils/jfsutils-1.1.15/fsck'
Makefile:260: recipe for target 'all-recursive' failed

If all key lengths are sufficiently small, this code will likely work ok at
present. Yet fixing the declaration in xchkdsk.c (by majority vote) to uint32_t
will ensure the compiler can generate appropriate diagnostics.

Best,
Michael

Attachment: pgp_Bmh11Tm72.pgp
Description: PGP signature

Reply via email to