Package: libcdio Version: 0.83-4.1 Severity: wishlist 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.
[...] libtool: link: x86_64-linux-gnu-gcc -shared .libs/_cdio_generic.o .libs/_cdio_stdio.o .libs/_cdio_stream.o .libs/aix.o .libs/bsdi.o .libs/audio.o .libs/cd_types.o .libs/cdio.o .libs/cdtext.o .libs/device.o .libs/disc.o .libs/ds.o .libs/freebsd.o .libs/freebsd_cam.o .libs/freebsd_ioctl.o .libs/gnu_linux.o .libs/bincue.o .libs/cdrdao.o .libs/image_common.o .libs/nrg.o .libs/logging.o .libs/mmc.o .libs/mmc_hl_cmds.o .libs/mmc_ll_cmds.o .libs/mmc_util.o .libs/aspi32.o .libs/win32_ioctl.o .libs/win32.o .libs/netbsd.o .libs/os2.o .libs/osx.o .libs/read.o .libs/realpath.o .libs/sector.o .libs/solaris.o .libs/track.o .libs/utf8.o .libs/util.o -lm -Wl,--version-script=libcdio.la.ver -Wl,-soname -Wl,libcdio.so.13 -o .libs/libcdio.so.13.0.0 error: conflicting function declarations "cdio_generic_read_form1_sector" old definition in module _cdio_generic file _cdio_generic.c line 144 driver_return_code_t (void *user_data, void *data, signed int lsn) new definition in module gnu_linux file generic.h line 140 signed int (void *, void *, signed int) Makefile:511: recipe for target 'libcdio.la' failed make[4]: *** [libcdio.la] Error 64 make[4]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-libcdio/libcdio-0.83/lib/driver' Makefile:329: recipe for target 'all-recursive' failed This seems to be just a bit left of an earlier refactoring, as other functions declared in generic.h do use the driver_return_code_t. Making the declaration and definition consistent may help the compiler in performing optimisations and will certainly enable more appropriate diagnostics. Best, Michael
pgpgDWUoSB5NO.pgp
Description: PGP signature
