Your message dated Fri, 02 Jun 2023 19:21:03 +0000 with message-id <e1q5akd-006vqk...@fasolo.debian.org> and subject line Bug#984008: fixed in cbmc 5.84.0-1 has caused the Debian Bug report #984008, regarding src:cbmc FTBFS 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.) -- 984008: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=984008 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: cbmc Version: 5.12-5 Severity: serious Hi, Trying to solve #1006850, I couldn't build cbmc: make[3]: Leaving directory '/<<PKGBUILDDIR>>/src/util' ## Entering langapi /usr/bin/make -C langapi make[3]: Entering directory '/<<PKGBUILDDIR>>/src/langapi' g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -Wswitch-enum -I .. -o language_util.o language_util.cpp g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -Wswitch-enum -I .. -o language_file.o language_file.cpp In file included from language_file.cpp:9: language_file.h: In member function ‘void language_filest::remove_file(const string&)’: language_file.h:87:54: error: loop variable ‘method’ of type ‘const std::pair<dstringt, language_filet*>&’ binds to a temporary constructed from type ‘std::pair<const dstringt, language_filet*>’ [-Werror=range-loop-construct] 87 | for(const std::pair<irep_idt, language_filet *> &method : lazy_method_map) | ^~~~~~ language_file.h:87:54: note: use non-reference type ‘const std::pair<dstringt, language_filet*>’ to make the copy explicit or ‘const std::pair<const dstringt, language_filet*>&’ to prevent copying cc1plus: all warnings being treated as errors make[3]: *** [../common:222: language_file.o] Error 1 Please solve it, together with #1006850. Cheers, Thomas Goirand (zigo)
--- End Message ---
--- Begin Message ---Source: cbmc Source-Version: 5.84.0-1 Done: Michael Tautschnig <m...@debian.org> 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 984...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Michael Tautschnig <m...@debian.org> (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 ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 31 May 2023 08:18:04 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym Architecture: source Version: 5.84.0-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Michael Tautschnig <m...@debian.org> Description: cbmc - bounded model checker for C and C++ programs Closes: 984008 Changes: cbmc (5.84.0-1) unstable; urgency=low . * New upstream release * Includes bugfix for unintentional copy (Closes: #984008) * Updated Standards version to 4.6.0 (no changes required) Checksums-Sha1: e66acc28d9b2945fdb45bcaa415a5a6d2a6cd00d 2582 cbmc_5.84.0-1.dsc 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.84.0.orig-java-models-library.tar.gz 7ff969545febcbaaf14f8ca1eb61711ba18e1c4f 8975338 cbmc_5.84.0.orig.tar.gz a0e2edb8e7d3e16e1980dc03f049de57a885155d 51972 cbmc_5.84.0-1.debian.tar.xz Checksums-Sha256: 6021133e67715c2c2d56f843026903d4c529aebbd6c1ffa19d558a96f7a6c499 2582 cbmc_5.84.0-1.dsc 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.84.0.orig-java-models-library.tar.gz f07ddc51eeffa9e167996d886984b6e4961ec1058e8624518957e2b5d1979cb4 8975338 cbmc_5.84.0.orig.tar.gz 1002fc5bc0cc550f71cbfa3c70466bf5f868bf3f019b9f60b80326f838e85451 51972 cbmc_5.84.0-1.debian.tar.xz Files: 733bc8caf85dcd369eac3aa05e265c24 2582 science optional cbmc_5.84.0-1.dsc 245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_5.84.0.orig-java-cprover-api.tar.gz 6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_5.84.0.orig-java-models-library.tar.gz 0298953d57eadbec1ffdaf9d04f07cde 8975338 science optional cbmc_5.84.0.orig.tar.gz 1bc47d81da55d1f869674dc819e95e0a 51972 science optional cbmc_5.84.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmR6PIcOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTFy8w/9H3dWocjWkkcm0h8fRD4JK+3ogDzbkIxpEArY nMGG/vNhMOoH7sM0LkG+K65eyWbeRjDdrMFCoKkw5SY4DblMz4QSKGE6fXYsNYqr 4EXr7rs91zqPxlIBbN4FjnbIU6s9kGsX/6P9eP854bXJdLfUDobQrNWa8ufDuVC8 UnUpgW6rpUuffp+8mauT/2OyFrmUZfs1lwNeoprn3Z1N6TyujKhOY9zn1OB4YXJt eP7mZNDeVeEXJeGWWQo29WJaZ1k7XcJ6/4DqnuNFf3lgvKspAeXd23/tTQm/ghrG XLBAHEQie/WFTQ6C4WtwnZpEVEdzN85qoRPTdyaSo9hAf9ypKqOHsUVaor6/T73C HyUGOHNSlhdVuG4c8bRzndz8KXqK7+drY6405wltTpjnx/26X3ZPCAa2hmmCVpB0 7ewAAQ1BmBgm+0+Xjd53xT0vuvbjrwYWIOZANEXGM4kMFyhcBh9ZAwdIt+R735At P+SbnBpxZ+gwJuOg+kQN/cJ4cYPhJQUna0fE0NZZM61CNdeq9Tz+SIWeSn+CYGym C3soDmxFgoHnPnImrwj1UlZjx1oFKjTS/j7R+eaODwqlAO6jy46QTyTfpoOqywHj SFyU88YzUNyCfAmeTbhEBMOgZIAvpiGe5OVVJpClMzFcBx0N84+SPYjR6cHxiVrE SpJfY8Q= =2W8C -----END PGP SIGNATURE-----
--- End Message ---
