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 cbmc: ftbfs with GCC-11
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 ---
Package: src:cbmc
Version: 5.12-5
Severity: normal
Tags: sid bookworm
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-11
[This bug is not targeted to the upcoming bullseye 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-11/g++-11, but succeeds to build with gcc-10/g++-10. The
severity of this report will be raised before the bookworm release,
so nothing has to be done for the bullseye release.
The full build log can be found at:
http://people.debian.org/~doko/logs/20210228/filtered/gcc11/cbmc_5.12-5_unstable_gcc11.log
The last lines of the build log are at the end of this report.
To build with GCC 11, either set CC=gcc-11 CXX=g++-11 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-11/porting_to.html
GCC 11 defaults to the GNU++17 standard. If your package installs
header files in /usr/include, please don't work around C++17 issues
by choosing a lower C++ standard for the package build, but fix these
issues to build with the C++17 standard.
[...]
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 rational_tools.o rational_tools.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 ref_expr_set.o ref_expr_set.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 refined_string_type.o refined_string_type.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 rename.o rename.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 rename_symbol.o rename_symbol.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 replace_expr.o replace_expr.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 replace_symbol.o replace_symbol.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 run.o run.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 signal_catcher.o signal_catcher.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 simplify_expr.o simplify_expr.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 simplify_expr_array.o simplify_expr_array.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 simplify_expr_boolean.o simplify_expr_boolean.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 simplify_expr_floatbv.o simplify_expr_floatbv.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 simplify_expr_if.o simplify_expr_if.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 simplify_expr_int.o simplify_expr_int.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 simplify_expr_pointer.o simplify_expr_pointer.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 simplify_expr_struct.o simplify_expr_struct.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 simplify_utils.o simplify_utils.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 source_location.o source_location.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 ssa_expr.o ssa_expr.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 std_code.o std_code.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 std_expr.o std_expr.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 std_types.o std_types.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 string2int.o string2int.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 string_constant.o string_constant.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 string_container.o string_container.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 string_hash.o string_hash.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 string_utils.o string_utils.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 symbol.o symbol.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 symbol_table_base.o symbol_table_base.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 symbol_table.o symbol_table.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 tempdir.o tempdir.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 tempfile.o tempfile.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 threeval.o threeval.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 timestamper.o timestamper.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 type.o type.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 typecheck.o typecheck.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 ui_message.o ui_message.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 unicode.o unicode.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 union_find.o union_find.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 union_find_replace.o union_find_replace.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 validate_code.o validate_code.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 validate_expressions.o validate_expressions.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 validate_types.o validate_types.cpp
echo 'const char *CBMC_VERSION="5.12 (cbmc-5.12)";' > version.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 version.o version.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 xml.o xml.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 xml_irep.o xml_irep.cpp
ar rcT util.a allocate_objects.o arith_tools.o array_element_from_pointer.o
array_name.o base_type.o bv_arithmetic.o byte_operators.o c_types.o cmdline.o
config.o cout_message.o dstring.o endianness_map.o expr.o expr_initializer.o
expr_util.o exception_utils.o file_util.o find_macros.o find_symbols.o
fixedbv.o format_constant.o format_expr.o format_number_range.o format_type.o
fresh_symbol.o get_base_name.o get_module.o identifier.o ieee_float.o
interval_union.o invariant.o irep.o irep_hash.o irep_hash_container.o
irep_ids.o irep_serialization.o interval_constraint.o invariant_utils.o json.o
json_irep.o json_stream.o lispexpr.o lispirep.o mathematical_expr.o
mathematical_types.o memory_info.o merge_irep.o message.o mp_arith.o
namespace.o nondet.o object_factory_parameters.o options.o parse_options.o
parser.o pointer_offset_size.o pointer_offset_sum.o pointer_predicates.o
prefix_filter.o rational.o rational_tools.o ref_expr_set.o
refined_string_type.o rename.o rename_symbol.o replace_
expr.o replace_symbol.o run.o signal_catcher.o simplify_expr.o
simplify_expr_array.o simplify_expr_boolean.o simplify_expr_floatbv.o
simplify_expr_if.o simplify_expr_int.o simplify_expr_pointer.o
simplify_expr_struct.o simplify_utils.o source_location.o ssa_expr.o std_code.o
std_expr.o std_types.o string2int.o string_constant.o string_container.o
string_hash.o string_utils.o symbol.o symbol_table_base.o symbol_table.o
tempdir.o tempfile.o threeval.o timestamper.o type.o typecheck.o ui_message.o
unicode.o union_find.o union_find_replace.o validate_code.o
validate_expressions.o validate_types.o version.o xml.o xml_irep.o
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
make[3]: Leaving directory '/<<PKGBUILDDIR>>/src/langapi'
make[2]: *** [Makefile:98: langapi.dir] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>/src'
make[1]: *** [debian/rules:44: override_dh_auto_build] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:22: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--- 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 ---
