Package: at-spi2-core Version: 2.10.2-3 Severity: wishlist 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. [...] CCLD at-spi2-registryd error: conflicting function declarations "ucs2keysym" old definition in module ucs2keysym file ucs2keysym.c line 796 signed long int (signed long int ucs) new definition in module deviceeventcontroller-x11 file deviceeventcontroller-x11.c line 68 unsigned long int (signed long int) Makefile:538: recipe for target 'at-spi2-registryd' failed make[3]: *** [at-spi2-registryd] Error 64 make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-at-spi2-core/at-spi2-core-2.10.2/registryd' Makefile:532: recipe for target 'all-recursive' failed Reviewing the code, it seems all values would possibly even fit into a much smaller type and hence no undefined behaviour is expected at the moment. Yet fixing these declarations will ensure the compiler can provide appropriate diagnostics. Best, Michael
Attachment:
pgp7yBS_aS7k_.pgp
Description: PGP signature