=> "/opt/local/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-trunk-x86_64/devel/cbmc", "all", "BATCH=1", "DEPENDS_TARGET=/nonexistent"] ===> Building for cbmc-6.10.0 [ 0%] Building CXX object src/big-int/CMakeFiles/big-int.dir/bigint-func.cc.o [ 0%] Building CXX object src/ansi-c/CMakeFiles/converter.dir/library/converter.cpp.o fatal: not a git repository (or any parent up to mount point /) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). [ 0%] Built target generate_version_cpp [ 0%] Building CXX object src/ansi-c/CMakeFiles/file_converter.dir/file_converter.cpp.o [ 0%] Building CXX object src/big-int/CMakeFiles/big-int.dir/bigint.cc.o [ 0%] Linking CXX executable ../../bin/converter [ 0%] Linking CXX executable ../../bin/file_converter [ 0%] Built target converter [ 0%] Built target file_converter [ 0%] Linking CXX static library ../../lib/libbig-int.a [ 0%] Built target big-int [ 0%] Building CXX object src/util/CMakeFiles/util.dir/array_element_from_pointer.cpp.o [ 0%] Building CXX object src/util/CMakeFiles/util.dir/arith_tools.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/algebraic_number.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/array_name.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/bitvector_expr.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/bitvector_types.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/bv_arithmetic.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/byte_operators.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/c_types.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/cmdline.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/config.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/console.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/cout_message.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/dstring.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/edit_distance.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/endianness_map.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/exception_utils.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/expr.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/expr_initializer.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/expr_util.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/find_macros.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/find_symbols.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/fixedbv.cpp.o [ 2%] Building CXX object src/util/CMakeFiles/util.dir/floatbv_expr.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/format_constant.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/format_expr.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/format_number_range.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/format_type.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/fresh_symbol.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/get_base_name.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/get_module.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/help_formatter.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/identifier.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/ieee_float.cpp.o [ 3%] Building CXX object src/util/CMakeFiles/util.dir/interval.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/interval_constraint.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/interval_union.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/invariant.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/invariant_utils.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/irep.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/irep_hash.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/irep_hash_container.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/irep_ids.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/irep_serialization.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/json.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/json_irep.cpp.o [ 4%] Building CXX object src/util/CMakeFiles/util.dir/json_stream.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/lispexpr.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/lispirep.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/lower_byte_operators.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/mathematical_expr.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/mathematical_types.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/memory_info.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/memory_units.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/merge_irep.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/message.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/mp_arith.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/namespace.cpp.o [ 5%] Building CXX object src/util/CMakeFiles/util.dir/object_factory_parameters.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/options.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/output_file.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/parse_options.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/parser.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/piped_process.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/pointer_expr.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/pointer_offset_size.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/pointer_offset_sum.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/pointer_predicates.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/prefix_filter.cpp.o [ 6%] Building CXX object src/util/CMakeFiles/util.dir/rational.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/rational_tools.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/ref_expr_set.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/refined_string_type.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/rename.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/rename_symbol.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/replace_expr.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/replace_symbol.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/run.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/signal_catcher.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/simplify_expr.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/simplify_expr_array.cpp.o [ 7%] Building CXX object src/util/CMakeFiles/util.dir/simplify_expr_boolean.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/simplify_expr_floatbv.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/simplify_expr_if.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/simplify_expr_int.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/simplify_expr_pointer.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/simplify_expr_struct.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/simplify_utils.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/source_location.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/ssa_expr.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/std_code.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/std_expr.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/std_types.cpp.o [ 8%] Building CXX object src/util/CMakeFiles/util.dir/string2int.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/string_constant.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/string_container.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/string_hash.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/string_utils.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/structured_data.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/substitute_symbols.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/symbol.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/symbol_table.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/symbol_table_base.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/tempdir.cpp.o [ 9%] Building CXX object src/util/CMakeFiles/util.dir/tempfile.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/threeval.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/timestamper.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/type.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/typecheck.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/ui_message.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/unicode.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/union_find.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/union_find_replace.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/validate_expressions.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/validate_types.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/xml.cpp.o [ 10%] Building CXX object src/util/CMakeFiles/util.dir/xml_irep.cpp.o [ 11%] Building CXX object src/util/CMakeFiles/util.dir/version.cpp.o [ 11%] Linking CXX static library ../../lib/libutil.a [ 11%] Built target util [ 11%] Building CXX object src/langapi/CMakeFiles/langapi.dir/language.cpp.o [ 11%] Building CXX object src/langapi/CMakeFiles/langapi.dir/language_file.cpp.o [ 11%] Building CXX object src/langapi/CMakeFiles/langapi.dir/language_util.cpp.o [ 11%] Building CXX object src/langapi/CMakeFiles/langapi.dir/mode.cpp.o [ 11%] Linking CXX static library ../../lib/liblangapi.a [ 11%] Built target langapi [ 12%] [FLEX][scanner] Building scanner with flex 2.6.4 [ 12%] [BISON][parser] Building parser with bison 3.8.2 [ 12%] Building CXX object minisat2-build/CMakeFiles/minisat2-condensed.dir/minisat/simp/SimpSolver.cc.o [ 12%] Building CXX object src/assembler/CMakeFiles/assembler.dir/assembler_parser.cpp.o [ 12%] [FLEX][scanner] Building scanner with flex 2.6.4 [ 12%] Generating xml_y.tab.h [ 12%] Building CXX object src/xmllang/CMakeFiles/xml.dir/graphml.cpp.o [ 12%] Building CXX object src/assembler/CMakeFiles/assembler.dir/remove_asm.cpp.o [ 12%] Building CXX object minisat2-build/CMakeFiles/minisat2-condensed.dir/minisat/core/Solver.cc.o [ 13%] Building CXX object minisat2-build/CMakeFiles/minisat2-condensed.dir/minisat/utils/Options.cc.o [ 13%] Linking CXX static library ../lib/libminisat2-condensed.a [ 13%] Built target minisat2-condensed [ 13%] Building CXX object src/assembler/CMakeFiles/assembler.dir/assembler_lex.yy.cpp.o [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_interface.cpp.o [ 13%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/auto_objects.cpp.o [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_parse_tree.cpp.o [ 13%] Linking CXX static library ../../lib/libassembler.a [ 13%] Built target assembler [ 13%] [BISON][parser] Building parser with bison 3.8.2 [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_parser.cpp.o [ 13%] [FLEX][scanner] Building scanner with flex 2.6.4 [ 13%] Generating json_y.tab.h [ 13%] Building CXX object src/json/CMakeFiles/json.dir/json_interface.cpp.o [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_y.tab.cpp.o [ 13%] Building CXX object src/json/CMakeFiles/json.dir/json_parser.cpp.o [ 13%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/build_goto_trace.cpp.o [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_lex.yy.cpp.o [ 13%] Building CXX object src/json/CMakeFiles/json.dir/json_y.tab.cpp.o [ 14%] Linking CXX static library ../../lib/libxml.a [ 14%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/complexity_limiter.cpp.o [ 14%] Built target xml [ 14%] [BISON][parser] Building parser with bison 3.8.2 [ 14%] [FLEX][scanner] Building scanner with flex 2.6.4 [ 14%] Generating statement_list_y.tab.h [ 14%] Building CXX object src/json/CMakeFiles/json.dir/json_lex.yy.cpp.o [ 14%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/convert_bool_literal.cpp.o /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/goto-symex/complexity_limiter.cpp: In constructor 'complexity_limitert::complexity_limitert(message_handlert&, const optionst&)': /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/goto-symex/complexity_limiter.cpp:41:61: error: call of overloaded 'floor(long unsigned int)' is ambiguous 41 | max_loops_complexity = std::max(static_cast(floor(unwind / 3)), 1); | ~~~~~^~~~~~~~~~~~ In file included from /usr/include/math.h:35, from /opt/local/gcc13/include/c++/13.4.0/bits/std_abs.h:40, from /opt/local/gcc13/include/c++/13.4.0/cstdlib:81, from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/invariant.h:12, from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/message.h:13, from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/goto-symex/complexity_limiter.h:15, from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/goto-symex/complexity_limiter.cpp:9: /usr/include/iso/math_iso.h:201:28: note: candidate: 'long double std::floor(long double)' 201 | inline long double floor(long double __X) { return __floorl(__X); } | ^~~~~ /usr/include/iso/math_iso.h:168:22: note: candidate: 'float std::floor(float)' 168 | inline float floor(float __X) { return __floorf(__X); } | ^~~~~ /usr/include/iso/math_iso.h:81:15: note: candidate: 'double std::floor(double)' 81 | extern double floor(double); | ^~~~~ [ 14%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/convert_dint_literal.cpp.o [ 14%] Linking CXX static library ../../lib/libjson.a [ 14%] Built target json [ 14%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/expr_skeleton.cpp.o gmake[2]: *** [src/goto-symex/CMakeFiles/goto-symex.dir/build.make:107: src/goto-symex/CMakeFiles/goto-symex.dir/complexity_limiter.cpp.o] Error 1 gmake[2]: *** Waiting for unfinished jobs.... [ 14%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/convert_int_literal.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/convert_real_literal.cpp.o gmake[1]: *** [CMakeFiles/Makefile2:2767: src/goto-symex/CMakeFiles/goto-symex.dir/all] Error 2 gmake[1]: *** Waiting for unfinished jobs.... [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/convert_string_value.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/expr2statement_list.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/statement_list_types.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_entry_point.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_language.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_parse_tree.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_parse_tree_io.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_parser.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_typecheck.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_y.tab.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_lex.yy.cpp.o [ 16%] Linking CXX static library ../../lib/libstatement-list.a [ 16%] Built target statement-list gmake: *** [Makefile:166: all] Error 2 *** Error code 2 Stop. bmake[1]: stopped making "all" in /data/jenkins/workspace/pkgsrc-trunk-x86_64/devel/cbmc *** Error code 1 Stop. bmake: stopped making "all" in /data/jenkins/workspace/pkgsrc-trunk-x86_64/devel/cbmc