[Pkg-kde-extras] Bug#749194: Conflicting return types of function mm_support

[Michael Tautschnig]

Package: kwave
Version: 0.8.11-1-1
Severity: minor
Usertags: goto-cc
Tags: upstream
Forwarded: https://sourceforge.net/p/kwave/bugs/39/

During a rebuild of all Debian 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.

[...]
Linking CXX shared library libkwave.so

error: conflicting function declarations "mm_support"
old definition in module cputest file /srv/jenkins-slave/workspace/sid-goto-cc-kwave/kwave-0.8.11-1/libkwave/cputest.c line 62
unsigned int (void)
new definition in module memcpy file /srv/jenkins-slave/workspace/sid-goto-cc-kwave/kwave-0.8.11-1/libkwave/memcpy.c line 69
signed int (void)

libkwave/CMakeFiles/libkwave.dir/build.make:2370: recipe for target 'libkwave/libkwave.so.0.8.11' failed
make[3]: *** [libkwave/libkwave.so.0.8.11] Error 1
make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-kwave/kwave-0.8.11-1/obj-x86_64-linux-gnu'
CMakeFiles/Makefile2:376: recipe for target 'libkwave/CMakeFiles/libkwave.dir/all' failed
make[2]: *** [libkwave/CMakeFiles/libkwave.dir/all] Error 2

It seems both the forward declaration in memcpy.c as well as the declaration of
rval here

http://sources.debian.net/src/kwave/0.8.11-1-1/libkwave/cputest.c?hl=64#L62

should be fixed to be unsigned. This will ensure that future CPU ids do not
introduce undefined behaviour (at present, the code should work ok as only a
small number of bits is used).

Best,
Michael

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 859 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-kde-extras/attachments/20140525/274abee1/attachment.sig>