Package: libomxil-bellagio
Version: 0.9.3-2
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.

[...]
libtool: link: gcc -shared  -fPIC -DPIC  
.libs/libomxil_bellagio_la-st_static_component_loader.o 
.libs/libomxil_bellagio_la-omxcore.o 
.libs/libomxil_bellagio_la-omx_create_loaders_linux.o 
.libs/libomxil_bellagio_la-tsemaphore.o .libs/libomxil_bellagio_la-queue.o 
.libs/libomxil_bellagio_la-utils.o .libs/libomxil_bellagio_la-common.o 
.libs/libomxil_bellagio_la-content_pipe_inet.o 
.libs/libomxil_bellagio_la-content_pipe_file.o 
.libs/libomxil_bellagio_la-omx_reference_resource_manager.o  
-Wl,--whole-archive base/.libs/libomxbase.a 
core_extensions/.libs/libomxcoreext.a -Wl,--no-whole-archive  -ldl -lpthread    
-Wl,-soname -Wl,libomxil-bellagio.so.0 -o .libs/libomxil-bellagio.so.0.0.0

error: conflicting function declarations "inet_pipe_Constructor"
old definition in module omxcore file omxcore.c line 44
unsigned long int (struct CP_PIPETYPE *, char *)
new definition in module content_pipe_inet file content_pipe_inet.c line 270
unsigned long int (struct CP_PIPETYPE **ppPipe, char *szURI)
Makefile:517: recipe for target 'libomxil-bellagio.la' failed
make[4]: *** [libomxil-bellagio.la] Error 64
make[4]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-libomxil-bellagio/libomxil-bellagio-0.9.3/src'
Makefile:744: recipe for target 'all-recursive' failed
make[3]: *** [all-recursive] Error 1

Observe that the declaration and definition differ in the level of indirection
on the ppPipe parameter. It is thus not clear whether the (single) call here

http://sources.debian.net/src/libomxil-bellagio/0.9.3-2/src/omxcore.c?hl=427#L427

is actually safe.

Best,
Michael

Attachment: pgpg2ZMNZMxWL.pgp
Description: PGP signature

Reply via email to