Package: digitemp
Version: 3.6.0+dfsg1-2
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.

[...]
cc src/digitemp.o src/device_name.o src/ds2438.o userial/crcutil.o 
userial/ioutil.o userial/swt1f.o userial/owerr.o userial/cnt1d.o userial/ad26.o 
 userial/ds9097u/ds2480ut.o userial/ds9097u/ownetu.o userial/ds9097u/owllu.o 
userial/ds9097u/owsesu.o userial/ds9097u/owtrnu.o userial/ds9097u/linuxlnk.o 
src/ds9097u.o -o digitemp_DS9097U -Wl,-z,relro 

file ../userial/ds9097u/linuxlnk.c line 334: error: conflicting function 
declarations "SetBaudCOM"
old definition in module ds2480ut file ../userial/ds9097u/ds2480ut.c line 53
void (signed int, unsigned char)
new definition in module linuxlnk file ../userial/ds9097u/linuxlnk.c line 334
void (signed int portnum, signed int new_baud)
make[2]: *** [ds9097u] Error 64
make[2]: Leaving directory 
`/srv/jenkins-slave/workspace/sid-goto-cc-digitemp/digitemp-3.6.0+dfsg1/build-serial'

The type conflict unsigned char vs. signed int on parameter new_baud may result
in undefined behaviour in several ways, including arbitrary values being passed
to SetBaudCOM.

Best,
Michael

Attachment: pgpMKQFcNScTV.pgp
Description: PGP signature

Reply via email to