Bug#748999: Conflicting definitions to cause undefined behaviour

Hi,

Am 22.05.14 11:06, schrieb Michael Tautschnig:
> 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: gcc -shared  -fPIC -DPIC  .libs/common.o .libs/fingerprint.o .libs/textcat.o .libs/wg_mempool.o .libs/utf8misc.o    -O2 -Wl,-z -Wl,relro   -Wl,-soname -Wl,libexttextcat-2.0.so.0 -o .libs/libexttextcat-2.0.so.0.0.0
> 
> error: conflicting function declarations "wgmempool_Init"
> old definition in module fingerprint file wg_mempool.h line 91
> void * (unsigned int, unsigned long int)
> new definition in module wg_mempool file wg_mempool.c line 86
> void * (unsigned long int blocksize, unsigned long int maxstrsize)
> Makefile:453: recipe for target 'libexttextcat-2.0.la' failed
> make[3]: *** [libexttextcat-2.0.la] Error 64
> make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-libexttextcat/libexttextcat-3.4.3/src'
> Makefile:361: recipe for target 'all' failed

That looks like
https://salsa.debian.org/libreoffice-team/libs/libexttextcat/-/blob/master/debian/patches/Fix-type-mismatch-between-declaration-and-definition.patch?ref_type=heads
would also have fixed this one? Or is this still present?

Regards,

Rene