Bug#1037611: cryptominisat: ftbfs with GCC-13
Matthias Klose
doko at debian.org
Wed Jun 14 10:22:42 BST 2023
Package: src:cryptominisat
Version: 5.11.4+dfsg1-2
Severity: normal
Tags: sid trixie
User: debian-gcc at 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
More information about the debian-science-maintainers
mailing list