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

Attachment: pgpAeWSVOJPj_.pgp
Description: PGP signature

_______________________________________________
pkg-kde-extras mailing list
pkg-kde-extras@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-kde-extras

Reply via email to