Package: kwave
Version: 0.8.11-1-1
Severity: minor
Usertags: goto-cc
Tags: upstream

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

Linking CXX shared library

error: conflicting function declarations "mm_support"
old definition in module cputest file 
 line 62
unsigned int (void)
new definition in module memcpy file 
line 69
signed int (void)

libkwave/CMakeFiles/libkwave.dir/build.make:2370: recipe for target 
'libkwave/' failed
make[3]: *** [libkwave/] Error 1
make[3]: Leaving directory 
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

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).


Attachment: pgpAeWSVOJPj_.pgp
Description: PGP signature

pkg-kde-extras mailing list

Reply via email to