Your message dated Fri, 14 Jul 2023 21:07:55 +0000
with message-id <e1qkq15-00h7oq...@fasolo.debian.org>
and subject line Bug#1037611: fixed in cryptominisat 5.11.4+dfsg1-3
has caused the Debian Bug report #1037611,
regarding cryptominisat: ftbfs with GCC-13
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 ow...@bugs.debian.org
immediately.)
--
1037611: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1037611
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: src:cryptominisat
Version: 5.11.4+dfsg1-2
Severity: normal
Tags: sid trixie
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-13
[This bug is 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-13/g++-13, but succeeds to build with gcc-12/g++-12. The
severity of this report will be raised before the trixie release.
The full build log can be found at:
http://qa-logs.debian.net/2023/05/22/logs/cryptominisat_5.11.4+dfsg1-2_unstable_gccexp.log
The last lines of the build log are at the end of this report.
To build with GCC 13, either set CC=gcc-13 CXX=g++-13 explicitly,
or install the gcc, g++, gfortran, ... packages from experimental.
apt-get -t=experimental install g++
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-13/porting_to.html
[...]
125 | assert(_best_solution.size() == _solution.size());
| ^~~~
/<<PKGBUILDDIR>>/src/ccnr.cpp:125:59: error: request for member ‘size’ in
‘((CCNR::ls_solver*)this)->CCNR::ls_solver::_solution’, which is of non-class
type ‘int’
125 | assert(_best_solution.size() == _solution.size());
| ^~~~
/<<PKGBUILDDIR>>/src/ccnr.cpp:126:37: error: request for member ‘begin’ in
‘((CCNR::ls_solver*)this)->CCNR::ls_solver::_solution’, which is of non-class
type ‘int’
126 | std::copy(_solution.begin(), _solution.end(),
| ^~~~~
/<<PKGBUILDDIR>>/src/ccnr.cpp:126:56: error: request for member ‘end’ in
‘((CCNR::ls_solver*)this)->CCNR::ls_solver::_solution’, which is of non-class
type ‘int’
126 | std::copy(_solution.begin(), _solution.end(),
| ^~~
/<<PKGBUILDDIR>>/src/ccnr.cpp:127:42: error: request for member ‘begin’ in
‘((CCNR::ls_solver*)this)->CCNR::ls_solver::_best_solution’, which is of
non-class type ‘int’
127 | _best_solution.begin());
| ^~~~~
/<<PKGBUILDDIR>>/src/ccnr.cpp:130:17: error: ‘_verbosity’ was not declared in
this scope; did you mean ‘verbosity’?
130 | if (_verbosity &&
| ^~~~~~~~~~
| verbosity
/<<PKGBUILDDIR>>/src/ccnr.cpp: In member function ‘void
CCNR::ls_solver::initialize(const std::vector<bool>*)’:
/<<PKGBUILDDIR>>/src/ccnr.cpp:172:22: error: invalid types ‘int[int]’ for array
subscript
172 | _solution[v] = (_random_gen.next(2) == 0 ? 0 : 1);
| ^
/<<PKGBUILDDIR>>/src/ccnr.cpp:183:22: error: invalid types ‘int[int]’ for array
subscript
183 | _solution[v] = init_solution->at(v);
| ^
/<<PKGBUILDDIR>>/src/ccnr.cpp:199:26: error: invalid types ‘int[int]’ for array
subscript
199 | if (_solution[l.var_num] == l.sense) {
| ^
/<<PKGBUILDDIR>>/src/ccnr.cpp: In member function ‘void
CCNR::ls_solver::initialize_variable_datas()’:
/<<PKGBUILDDIR>>/src/ccnr.cpp:223:74: error: invalid types ‘int[int]’ for array
subscript
223 | } else if (1 == _clauses[c].sat_count && l.sense ==
_solution[l.var_num]) {
|
^
/<<PKGBUILDDIR>>/src/ccnr.cpp: In member function ‘void
CCNR::ls_solver::flip(int)’:
/<<PKGBUILDDIR>>/src/ccnr.cpp:320:14: error: invalid types ‘int[int]’ for array
subscript
320 | _solution[flipv] = 1 - _solution[flipv];
| ^
/<<PKGBUILDDIR>>/src/ccnr.cpp:320:37: error: invalid types ‘int[int]’ for array
subscript
320 | _solution[flipv] = 1 - _solution[flipv];
| ^
/<<PKGBUILDDIR>>/src/ccnr.cpp:327:22: error: invalid types ‘int[int]’ for array
subscript
327 | if (_solution[flipv] == l.sense) {
| ^
/<<PKGBUILDDIR>>/src/ccnr.cpp:347:34: error: invalid types ‘int[int]’ for array
subscript
347 | if (_solution[lc.var_num] == lc.sense) {
| ^
/<<PKGBUILDDIR>>/src/ccnr.cpp: In member function ‘void
CCNR::ls_solver::print_solution(bool)’:
/<<PKGBUILDDIR>>/src/ccnr.cpp:510:30: error: invalid types ‘int[int]’ for array
subscript
510 | if (_solution[l.var_num] == l.sense) {
| ^
/<<PKGBUILDDIR>>/src/ccnr.cpp:526:26: error: invalid types ‘int[int]’ for array
subscript
526 | if (_solution[v] == 0)
| ^
/<<PKGBUILDDIR>>/src/ccnr.cpp: At global scope:
/<<PKGBUILDDIR>>/src/ccnr.cpp:534:6: error: variable or field ‘set_verbosity’
declared void
534 | void ls_solver::set_verbosity(uint32_t verb)
| ^~~~~~~~~
/<<PKGBUILDDIR>>/src/ccnr.cpp:534:31: error: ‘uint32_t’ was not declared in
this scope
534 | void ls_solver::set_verbosity(uint32_t verb)
| ^~~~~~~~
/<<PKGBUILDDIR>>/src/ccnr.cpp:534:31: note: ‘uint32_t’ is defined in header
‘<cstdint>’; did you forget to ‘#include <cstdint>’?
make[4]: *** [cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make:538:
cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o] Error 1
make[4]: Leaving directory '/<<PKGBUILDDIR>>'
make[3]: *** [CMakeFiles/Makefile2:159:
cmsat5-src/CMakeFiles/cryptominisat5.dir/all] Error 2
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: *** [Makefile:136: all] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:14: override_dh_auto_build] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:7: build] Error 2
dpkg-buildpackage: error: debian/rules build subprocess returned exit status 2
--- End Message ---
--- Begin Message ---
Source: cryptominisat
Source-Version: 5.11.4+dfsg1-3
Done: Scott Talbert <s...@techie.net>
We believe that the bug you reported is fixed in the latest version of
cryptominisat, 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 1037...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Scott Talbert <s...@techie.net> (supplier of updated cryptominisat 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 14 Jul 2023 16:23:16 -0400
Source: cryptominisat
Architecture: source
Version: 5.11.4+dfsg1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Scott Talbert <s...@techie.net>
Closes: 1037611 1040548
Changes:
cryptominisat (5.11.4+dfsg1-3) unstable; urgency=medium
.
* Team upload.
* Fix FTBFS with GCC 13 (Closes: #1037611)
* Remove broken symlink (Closes: #1040548)
Checksums-Sha1:
42635540fbe2128401eee4cc32f7ffd537eb39df 2459 cryptominisat_5.11.4+dfsg1-3.dsc
8bf49ef433d42695efebb7b5cd776b3159d6eac8 6748
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
f55b74d52afcd56576930bdbdb0896abcbab2083 10704
cryptominisat_5.11.4+dfsg1-3_amd64.buildinfo
Checksums-Sha256:
bd169170f90d2f23ac48063185ac1f1164e5f8d6037cb76200505f90828441d7 2459
cryptominisat_5.11.4+dfsg1-3.dsc
9f410b73692e0b530f783c7f4ff66638b09f0401430e1688d7d0736d63ce668e 6748
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
7aaf6d8c3d1dc764868552313b99f72f51c8dde90dbaf724adbe8bc732d0cd09 10704
cryptominisat_5.11.4+dfsg1-3_amd64.buildinfo
Files:
f1ceba77597c59a2826276587c5a2cc8 2459 math optional
cryptominisat_5.11.4+dfsg1-3.dsc
ea61763bfb4aa1189a2561014688cf25 6748 math optional
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
bf0f389ff6a153e0864074b0c18135a7 10704 math optional
cryptominisat_5.11.4+dfsg1-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSxsEIPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiJmQQALCFfYQEO458DFk12L3tY5tn03sQhDFg+D6O
knGt6JE8hgWvYfVdhXOHX9W1FLtcTRsNsJwZb0gLTGrQbxl5q5PAB1pBHpEcz9D9
ppwFUFalNkvDEKSD2U0Dp3nrFoTUJTmRd3fdxCjkTr/HGZQcRZU3gwum/xX/KUZa
buB7o3cipzNlgG7cp6IAfnRn6sILf7zC9WUvmeFELTor02jjM9lAn1f+MISiDdCQ
3Sa4liPh/yyi31ExsW9FExtAUlZKLCHcjCqfLGzoOa2zTKQA8JwX2ep97h33KU/Z
ItljZPrPb6Jfq6Txhs2fPkel9MGObjP7jKHvx79WHvXj+OrNRCva6pIKkw9Osf46
mOBztc17stkCgoRdEI7NfYlCzuMUKRSh5f7Xbkhaqluoz6+fDtuxf6YWrOZmdqpR
3joHM7zncEblE0rU5BPhYUEpm6DdLxjauhvW55LHrFnm4a9T8P8Euc9jPBExO1do
Wc7qdI3m4ZUnqQ7PKSBy7xjmXPInkbLsLka4TDCN81q7qfX2Ptl0x+6YEWlIYgWu
zgIi2/conpJjRqaywjQqDvteMZ+3Fjl5f9MchB4MRUk/l1oBopBgoKSG6bir7+87
xDwRzkpfyufGQzJqU9dHLqlH6GUpZQwSc0XFBg0mzAj3PSOqQM3W5MtFMVR1u4vb
1425UFDR
=3R9D
-----END PGP SIGNATURE-----
--- End Message ---
