Package: src:cryptominisat Version: 5.11.4+dfsg1-2 Severity: normal Tags: sid trixie User: [email protected] 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 -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
