Package: dis51 Version: 0.5-1.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 -Wl,-z,relro main.o pass1.o pass2.o global.o hexfile.o -o dis51 file global.c line 28: error: conflicting types for variable "lbl" old definition in module main file global.h line 32 unsigned short int [65536l] new definition in module global file global.c line 28 signed short int [65536l] make[1]: *** [dis51] Error 64 make[1]: Leaving directory `/srv/jenkins-slave/workspace/sid-goto-cc-dis51/dis51-0.5' make: *** [debian/stamp-makefile-build] Error 2 Depending on the maximal/minimal values written to lbl, the above conflict may be harmless, or could actually result in undefined behaviour. In either case, fixing the declaration in global.h will enable the compiler to produce more meaningful diagnostics. Best, Michael
pgp8KkbbxhBUy.pgp
Description: PGP signature
