Package: libsndfile
Version: 1.0.25-9
Severity: minor
Usertags: goto-cc

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.

[...]
  CXXLD    cpp_test

conflict on char_is_unsigned:
old value in module cpp_test: 0
new value in module utils: 1
Makefile:702: recipe for target 'cpp_test' failed
make[3]: *** [cpp_test] Error 1
make[3]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-libsndfile/libsndfile-1.0.25/tests'
Makefile:1012: recipe for target 'check-am' failed
make[2]: *** [check-am] Error 2
make[2]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-libsndfile/libsndfile-1.0.25/tests'
Makefile:504: recipe for target 'check-recursive' failed
make[1]: *** [check-recursive] Error 1
make[1]: Leaving directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-libsndfile/libsndfile-1.0.25'
debian/rules:36: recipe for target 'build-stamp' failed

Indeed cpp_test is compiled without -funsigned-char:

$make cpp_test V=1
x86_64-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../src -I../src  -D_FORTIFY_SOURCE=2 
 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat 
-Werror=format-security -Wall -Wextra -Wcast-align -Wcast-qual -Wshadow 
-Wwrite-strings -Wctor-dtor-privacy -Wnon-virtual-dtor -Woverloaded-virtual 
-Wreorder -Wsign-promo -Wundef  -MT cpp_test.o -MD -MP -MF .deps/cpp_test.Tpo 
-c -o cpp_test.o cpp_test.cc
mv -f .deps/cpp_test.Tpo .deps/cpp_test.Po

This inconsistency may lead to undefined behaviour.

Best,
Michael

Attachment: pgp3jJ6Drh93q.pgp
Description: PGP signature

Reply via email to