Your message dated Tue, 29 Apr 2025 11:21:50 +0000
with message-id <[email protected]>
and subject line Bug#1096417: fixed in cbmc 6.6.0-1
has caused the Debian Bug report #1096417,
regarding cbmc: ftbfs with GCC-15
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1096417: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1096417
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:cbmc
Version: 6.4.1-2
Severity: important
Tags: sid forky
User: [email protected]
Usertags: ftbfs-gcc-15
[This bug is NOT targeted to the upcoming trixie release]
Please keep this issue open in the bug tracker for the package it
was filed for. If a fix in another package is required, please
file a bug for the other package (or clone), and add a block in this
package. Please keep the issue open until the package can be built in
a follow-up test rebuild.
The package fails to build in a test rebuild on at least amd64 with
gcc-15/g++-15, but succeeds to build with gcc-14/g++-14. The
severity of this report will be raised before the forky release.
The full build log can be found at:
http://qa-logs.debian.net/2025/02/16/amd64exp/cbmc_6.4.1-2_unstable_gccexp.log.gz
The last lines of the build log are at the end of this report.
To build with GCC 15, either set CC=gcc-15 CXX=g++-15 explicitly,
or install the gcc, g++, gfortran, ... packages from experimental.
apt-get -t=experimental install g++
GCC 15 now defaults to the C23/C++23 standards, exposing many FTBFS.
Other Common build failures are new warnings resulting in build failures
with -Werror turned on, or new/dropped symbols in Debian symbols files.
For other C/C++ related build failures see the porting guide at
http://gcc.gnu.org/gcc-15/porting_to.html
[...]
4 of 252 tests failed, 19 tests skipped
Failed test: Header_files1/test.desc
/usr/lib/gcc/x86_64-linux-gnu/15/include/stddef.h:450:1: error: failed to find
symbol 'nullptr'
typedef __typeof__(nullptr) nullptr_t;
CONVERSION ERROR
EXIT=1
SIGNAL=0
Failed Header_files1/test.desc lines:
^EXIT=0$ [FAILED]
^CONVERSION ERROR$ [FAILED]
Failed test: gcc_builtins6/test.desc
/usr/lib/gcc/x86_64-linux-gnu/15/include/stddef.h:450:1: error: failed to find
symbol 'nullptr'
typedef __typeof__(nullptr) nullptr_t;
CONVERSION ERROR
EXIT=1
SIGNAL=0
Failed gcc_builtins6/test.desc lines:
^EXIT=0$ [FAILED]
^CONVERSION ERROR$ [FAILED]
Failed test: human-readable-error-on-wrong-main-signature/test.desc
/usr/lib/gcc/x86_64-linux-gnu/15/include/stddef.h:450:1: error: failed to find
symbol 'nullptr'
typedef __typeof__(nullptr) nullptr_t;
CONVERSION ERROR
EXIT=1
SIGNAL=0
Failed human-readable-error-on-wrong-main-signature/test.desc lines:
'main' with signature .* found [FAILED]
Failed test: linking_contracts1/test.desc
header.h: In function 'bool':
header.h:3:1: error: syntax error before 'util_func'
bool util_func(int a)
PARSING ERROR
EXIT=1
SIGNAL=0
Failed linking_contracts1/test.desc lines:
^EXIT=0$ [FAILED]
make[4]: *** [Makefile:18: test] Error 4
make[4]: Leaving directory
'/build/reproducible-path/cbmc-6.4.1/regression/ansi-c'
make[3]: *** [Makefile:99: ansi-c] Error 1
make[3]: Leaving directory '/build/reproducible-path/cbmc-6.4.1/regression'
make[2]: *** [Makefile:91: test] Error 1
make[2]: Leaving directory '/build/reproducible-path/cbmc-6.4.1/regression'
make[1]: *** [debian/rules:98: override_dh_auto_test] Error 2
make[1]: Leaving directory '/build/reproducible-path/cbmc-6.4.1'
make: *** [debian/rules:36: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--- End Message ---
--- Begin Message ---
Source: cbmc
Source-Version: 6.6.0-1
Done: Michael Tautschnig <[email protected]>
We believe that the bug you reported is fixed in the latest version of
cbmc, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <[email protected]> (supplier of updated cbmc package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 28 Apr 2025 20:41:18 +0000
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 6.6.0-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
cbmc - bounded model checker for C and C++ programs
jbmc - bounded model checker for Java programs
Closes: 1096417
Changes:
cbmc (6.6.0-1) unstable; urgency=low
.
* New upstream release, which includes C23 support (Closes: #1096417)
Checksums-Sha1:
67fb4d8ceba5b98539ca682925aa91249b07f5b5 3048 cbmc_6.6.0-1.dsc
18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582
cbmc_6.6.0.orig-java-cprover-api.tar.gz
ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209
cbmc_6.6.0.orig-java-models-library.tar.gz
f3e38c93d56afb44e4c078b30e0e343c96267258 9146661 cbmc_6.6.0.orig.tar.gz
95bf64891d7dc4143bfe5a26e86deaaeb95b8e44 14024 cbmc_6.6.0-1.debian.tar.xz
Checksums-Sha256:
ba803536466650834581280ceec3604cc1f620b6a2c88a6a9de8da976fe3b144 3048
cbmc_6.6.0-1.dsc
70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582
cbmc_6.6.0.orig-java-cprover-api.tar.gz
13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209
cbmc_6.6.0.orig-java-models-library.tar.gz
86eb29e9cb1dd74fb82eec9ab32442a35449fd6db84a4824bfd834161e8d3a48 9146661
cbmc_6.6.0.orig.tar.gz
76054d8e26995b1eb807f0d04ac105b9bd98c6b3f61031644dedcd0eb71c75c7 14024
cbmc_6.6.0-1.debian.tar.xz
Files:
67e5a2b1174c78a3eda85b0f374cc32d 3048 science optional cbmc_6.6.0-1.dsc
245cc4a092fb84d4c8a1333c793f1adc 14582 science optional
cbmc_6.6.0.orig-java-cprover-api.tar.gz
6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional
cbmc_6.6.0.orig-java-models-library.tar.gz
5f5dabbc1f59abe75f322566d86a9f10 9146661 science optional
cbmc_6.6.0.orig.tar.gz
4a934537ca17f09c83f5b5f2d60386fc 14024 science optional
cbmc_6.6.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmgQsZsOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFZEw//Se/+dekjmlEPIzEExqr8RMYpGpnfFWLktTVn
chFeC7AiFSxaSYP1swo7fZfbjgypMBsY4UPi8msGf0M/+aE8U06sI/LjWy1YdqLq
p+WfmrXEK4LvK0aKkA0kxdCGVqQuHt4uyikGSAS8bekn2PSexze5mVcC9mOveajr
UnzGD82jyworY05Q/VXEdJI3rZKwxEMVaAoeLO9C783raO7Hv0orTNgHiqwrJdhn
QRvKE2fMRmr+hTadTFXB194vHOpEJ5zKzvZpQ03vdh7Yl6eRvkcUOo5m/x9z/aCP
vbk0XxwvCUJQvgkb4zA4v/a8wzHphsKMn2vRrBG6tRU7akhQ5Xa18+HmsB9kZPqk
tQtZjVLxaLsy1ZaPx55ne8oM7NRgSknhWP7puszXym3jehy4Sngt0LlvVdk9+91K
tZ/fmVa+rYDRH25cMp0IOiqABCtzRfYfrkKKTYYF8+gJ03WqADiYbRsunu2x6/ax
nFyUG229it6K+xKpCUBU+0Fo/zLCoAcLUpvlp2lLyXzY6YjYNz1Kf87cHaqK5rFU
bviPNBlZlZed0nRFnb96SSEpsi9omhjuPcA0Dc/kgDvpc6oxsTprZoAmdLkX6vMC
OAmjvICwBQSAoqsLQxFTmQJlWbRakZccyHfv3aew01GLTHWmhZsVFKY0qZzTv/NY
kBsVxN4=
=5qz3
-----END PGP SIGNATURE-----
pgplO7N0Noc8H.pgp
Description: PGP signature
--- End Message ---
