=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-trunk/devel/cbmc", "all", "BATCH=1", "DEPENDS_TARGET=/nonexistent"] ===> Building for cbmc-6.10.0 [ 0%] Building CXX object src/ansi-c/CMakeFiles/converter.dir/library/converter.cpp.o [ 0%] Building CXX object src/big-int/CMakeFiles/big-int.dir/bigint-func.cc.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/arith_tools.cpp.o [ 0%] Building CXX object src/util/CMakeFiles/util.dir/array_element_from_pointer.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_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/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 minisat2-build/CMakeFiles/minisat2-condensed.dir/minisat/core/Solver.cc.o [ 12%] Building CXX object src/assembler/CMakeFiles/assembler.dir/remove_asm.cpp.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/goto-symex/CMakeFiles/goto-symex.dir/auto_objects.cpp.o [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_interface.cpp.o [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_parse_tree.cpp.o [ 13%] Building CXX object src/assembler/CMakeFiles/assembler.dir/assembler_lex.yy.cpp.o [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_parser.cpp.o [ 13%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/build_goto_trace.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%] [FLEX][scanner] Building scanner with flex 2.6.4 [ 13%] Generating json_y.tab.h [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_y.tab.cpp.o [ 13%] Building CXX object src/json/CMakeFiles/json.dir/json_interface.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/complexity_limiter.cpp.o [ 13%] Building CXX object src/xmllang/CMakeFiles/xml.dir/xml_lex.yy.cpp.o [ 14%] Linking CXX static library ../../lib/libxml.a [ 14%] Building CXX object src/json/CMakeFiles/json.dir/json_y.tab.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/statement-list/CMakeFiles/statement-list.dir/converters/convert_bool_literal.cpp.o [ 14%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/expr_skeleton.cpp.o [ 14%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/convert_dint_literal.cpp.o [ 14%] Building CXX object src/json/CMakeFiles/json.dir/json_lex.yy.cpp.o [ 14%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/field_sensitivity.cpp.o [ 14%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/convert_int_literal.cpp.o [ 14%] Linking CXX static library ../../lib/libjson.a [ 14%] Built target json [ 14%] Building CXX object regression/invariants/CMakeFiles/driver.dir/driver.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/convert_real_literal.cpp.o [ 15%] Linking CXX executable ../../bin/driver [ 15%] Built target driver [ 15%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/call_graph_test_utils.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/convert_string_value.cpp.o [ 15%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/goto_state.cpp.o [ 15%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/empty_namespace.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/expr2statement_list.cpp.o [ 15%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/free_form_cmdline.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/converters/statement_list_types.cpp.o [ 15%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/get_goto_model_from_c.cpp.o [ 15%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_entry_point.cpp.o [ 16%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/goto_symex.cpp.o [ 16%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/invariant.cpp.o [ 16%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/message.cpp.o [ 16%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_language.cpp.o [ 16%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/require_expr.cpp.o [ 16%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/goto_symex_state.cpp.o [ 16%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_parse_tree.cpp.o [ 17%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/require_symbol.cpp.o [ 17%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_parse_tree_io.cpp.o [ 17%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/run_test_with_compilers.cpp.o [ 17%] Building CXX object unit/testing-utils/CMakeFiles/testing-utils.dir/smt2irep.cpp.o [ 17%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_parser.cpp.o [ 17%] Linking CXX static library ../../lib/libtesting-utils.a [ 17%] Built target testing-utils [ 17%] Building CXX object src/solvers/CMakeFiles/solvers.dir/bdd/miniBDD/miniBDD.cpp.o [ 17%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_typecheck.cpp.o [ 17%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/memory_model.cpp.o [ 17%] Building CXX object src/solvers/CMakeFiles/solvers.dir/decision_procedure.cpp.o [ 17%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/arrays.cpp.o [ 17%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/memory_model_pso.cpp.o [ 17%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/memory_model_sc.cpp.o [ 17%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_y.tab.cpp.o [ 17%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/memory_model_tso.cpp.o [ 17%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv.cpp.o [ 17%] Building CXX object src/statement-list/CMakeFiles/statement-list.dir/statement_list_lex.yy.cpp.o [ 17%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/partial_order_concurrency.cpp.o [ 18%] Linking CXX static library ../../lib/libstatement-list.a [ 18%] Built target statement-list [ 18%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_abs.cpp.o [ 18%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_add_sub.cpp.o [ 18%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/path_storage.cpp.o [ 18%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_array.cpp.o [ 18%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/postcondition.cpp.o [ 18%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_array_of.cpp.o [ 18%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_bitreverse.cpp.o [ 19%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_bitwise.cpp.o [ 19%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/precondition.cpp.o [ 19%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/renaming_level.cpp.o [ 19%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_bswap.cpp.o [ 20%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/shadow_memory.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_bv_rel.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_byte_extract.cpp.o [ 20%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/shadow_memory_util.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_byte_update.cpp.o [ 20%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/show_program.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_case.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_complex.cpp.o [ 20%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/show_vcc.cpp.o [ 20%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/simplify_expr_with_value_set.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_concatenation.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_cond.cpp.o [ 20%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/slice.cpp.o [ 20%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/solver_hardness.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_constant.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_constraint_select_one.cpp.o [ 20%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/ssa_step.cpp.o [ 20%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_div.cpp.o [ 21%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_equality.cpp.o [ 21%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_assign.cpp.o [ 21%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_atomic_section.cpp.o [ 21%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_extractbit.cpp.o [ 21%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_extractbits.cpp.o [ 21%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_builtin_functions.cpp.o [ 21%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_floatbv_fma.cpp.o [ 21%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_catch.cpp.o [ 21%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_floatbv_mod_rem.cpp.o [ 21%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_floatbv_op.cpp.o [ 22%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_clean_expr.cpp.o [ 22%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_get.cpp.o [ 22%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_dead.cpp.o [ 22%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_ieee_float_rel.cpp.o [ 22%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_if.cpp.o [ 22%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_decl.cpp.o [ 22%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_index.cpp.o [ 22%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_let.cpp.o [ 22%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_dereference.cpp.o [ 22%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_dereference_state.cpp.o [ 22%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_map.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_member.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_mod.cpp.o [ 23%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_function_call.cpp.o [ 23%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_goto.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_mult.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_not.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_onehot.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_overflow.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_popcount.cpp.o [ 23%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_main.cpp.o [ 23%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_other.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_power.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_quantifier.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_reduction.cpp.o [ 23%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_set_return_value.cpp.o [ 23%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_start_thread.cpp.o [ 23%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_replication.cpp.o [ 24%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_shift.cpp.o [ 24%] Building CXX object src/json-symtab-language/CMakeFiles/json-symtab-language.dir/json_goto_function.cpp.o [ 24%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_struct.cpp.o [ 25%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_target.cpp.o [ 26%] Building CXX object src/json-symtab-language/CMakeFiles/json-symtab-language.dir/json_goto_functions.cpp.o [ 26%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_target_equation.cpp.o [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_type.cpp.o [ 26%] Building CXX object src/json-symtab-language/CMakeFiles/json-symtab-language.dir/json_symbol.cpp.o [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_typecast.cpp.o [ 26%] Building CXX object src/json-symtab-language/CMakeFiles/json-symtab-language.dir/json_symbol_table.cpp.o [ 26%] Building CXX object src/goto-symex/CMakeFiles/goto-symex.dir/symex_throw.cpp.o [ 26%] Building CXX object src/json-symtab-language/CMakeFiles/json-symtab-language.dir/json_symtab_language.cpp.o [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_unary_minus.cpp.o [ 26%] Linking CXX static library ../../lib/libgoto-symex.a [ 26%] Built target goto-symex [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_union.cpp.o [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_update.cpp.o [ 26%] Linking CXX static library ../../lib/libjson-symtab-language.a [ 26%] Built target json-symtab-language [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_update_bit.cpp.o [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_update_bits.cpp.o [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_width.cpp.o [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/boolbv_with.cpp.o [ 26%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/bv_dimacs.cpp.o [ 27%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/bv_minimize.cpp.o [ 27%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/bv_pointers.cpp.o [ 27%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/bv_utils.cpp.o [ 27%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/c_bit_field_replacement_type.cpp.o [ 27%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/equality.cpp.o [ 27%] [FLEX][scanner] Building scanner with flex 2.6.4 [ 27%] Building CXX object src/crangler/CMakeFiles/crangler-lib.dir/c_defines.cpp.o [ 27%] Building CXX object src/crangler/CMakeFiles/crangler-lib.dir/c_wrangler.cpp.o [ 27%] Building CXX object src/solvers/CMakeFiles/solvers.dir/flattening/pointer_logic.cpp.o [ 27%] Building CXX object src/solvers/CMakeFiles/solvers.dir/floatbv/float_approximation.cpp.o [ 27%] Building CXX object src/solvers/CMakeFiles/solvers.dir/floatbv/float_bv.cpp.o In file included from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:9: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.h:30:61: error: macro "isnan" passed 2 arguments, but takes just 1 30 | static exprt isnan(const exprt &, const ieee_float_spect &); | ^ In file included from /usr/include/math.h:36, from /opt/tools/gcc14/include/c++/14.3.0/bits/std_abs.h:40, from /opt/tools/gcc14/include/c++/14.3.0/cstdlib:81, from /opt/tools/gcc14/include/c++/14.3.0/ext/string_conversions.h:43, from /opt/tools/gcc14/include/c++/14.3.0/bits/basic_string.h:4154, from /opt/tools/gcc14/include/c++/14.3.0/string:54, from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/mp_arith.h:14, from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/ieee_float.h:15, from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.h:13: /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.h:31:61: error: macro "isinf" passed 2 arguments, but takes just 1 31 | static exprt isinf(const exprt &, const ieee_float_spect &); | ^ /usr/include/iso/math_c99.h:72:9: note: macro "isinf" defined here 72 | #define isinf(x) __builtin_isinf(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.h:32:64: error: macro "isnormal" passed 2 arguments, but takes just 1 32 | static exprt isnormal(const exprt &, const ieee_float_spect &); | ^ /usr/include/iso/math_c99.h:74:9: note: macro "isnormal" defined here 74 | #define isnormal(x) (__builtin_isnormal(x) != 0) | ^~~~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.h:33:64: error: macro "isfinite" passed 2 arguments, but takes just 1 33 | static exprt isfinite(const exprt &, const ieee_float_spect &); | ^ /usr/include/iso/math_c99.h:73:9: note: macro "isfinite" defined here 73 | #define isfinite(x) (__builtin_isfinite(x) != 0) | ^~~~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:149:34: error: macro "isnan" passed 2 arguments, but takes just 1 149 | return isnan(op, get_spec(op)); | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:154:37: error: macro "isfinite" passed 2 arguments, but takes just 1 154 | return isfinite(op, get_spec(op)); | ^ /usr/include/iso/math_c99.h:73:9: note: macro "isfinite" defined here 73 | #define isfinite(x) (__builtin_isfinite(x) != 0) | ^~~~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:159:34: error: macro "isinf" passed 2 arguments, but takes just 1 159 | return isinf(op, get_spec(op)); | ^ /usr/include/iso/math_c99.h:72:9: note: macro "isinf" defined here 72 | #define isinf(x) __builtin_isinf(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:164:37: error: macro "isnormal" passed 2 arguments, but takes just 1 164 | return isnormal(op, get_spec(op)); | ^ /usr/include/iso/math_c99.h:74:9: note: macro "isnormal" defined here 74 | #define isnormal(x) (__builtin_isnormal(x) != 0) | ^~~~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:233:32: error: macro "isnan" passed 2 arguments, but takes just 1 233 | exprt isnan0=isnan(src0, spec); | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:234:32: error: macro "isnan" passed 2 arguments, but takes just 1 234 | exprt isnan1=isnan(src1, spec); | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:530:31: error: macro "isnormal" passed 2 arguments, but takes just 1 530 | const ieee_float_spect &spec) | ^ /usr/include/iso/math_c99.h:74:9: note: macro "isnormal" defined here 74 | #define isnormal(x) (__builtin_isnormal(x) != 0) | ^~~~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:768:22: error: macro "isnan" passed 2 arguments, but takes just 1 768 | {isnan(src1, spec), | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:769:22: error: macro "isnan" passed 2 arguments, but takes just 1 769 | isnan(src2, spec), | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:969:30: error: macro "isnan" passed 2 arguments, but takes just 1 969 | {isnan(multiply_lhs, spec), | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:970:30: error: macro "isnan" passed 2 arguments, but takes just 1 970 | isnan(multiply_rhs, spec), | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:971:24: error: macro "isnan" passed 2 arguments, but takes just 1 971 | isnan(addend, spec), | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1006:32: error: macro "isnan" passed 2 arguments, but takes just 1 1006 | exprt isnan1=isnan(src1, spec); | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1007:32: error: macro "isnan" passed 2 arguments, but takes just 1 1007 | exprt isnan2=isnan(src2, spec); | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1070:31: error: macro "isinf" passed 2 arguments, but takes just 1 1070 | const ieee_float_spect &spec) | ^ /usr/include/iso/math_c99.h:72:9: note: macro "isinf" defined here 72 | #define isinf(x) __builtin_isinf(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1079:31: error: macro "isfinite" passed 2 arguments, but takes just 1 1079 | const ieee_float_spect &spec) | ^ /usr/include/iso/math_c99.h:73:9: note: macro "isfinite" defined here 73 | #define isfinite(x) (__builtin_isfinite(x) != 0) | ^~~~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1081:44: error: macro "isinf" passed 2 arguments, but takes just 1 1081 | return not_exprt(or_exprt(isinf(src, spec), isnan(src, spec))); | ^ /usr/include/iso/math_c99.h:72:9: note: macro "isinf" defined here 72 | #define isinf(x) __builtin_isinf(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1081:62: error: macro "isnan" passed 2 arguments, but takes just 1 1081 | return not_exprt(or_exprt(isinf(src, spec), isnan(src, spec))); | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1102:31: error: macro "isnan" passed 2 arguments, but takes just 1 1102 | const ieee_float_spect &spec) | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1580:38: error: macro "isnormal" passed 2 arguments, but takes just 1 1580 | exprt hidden_bit=isnormal(src, spec); | ^ /usr/include/iso/math_c99.h:74:9: note: macro "isnormal" defined here 74 | #define isnormal(x) (__builtin_isnormal(x) != 0) | ^~~~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1595:34: error: macro "isinf" passed 2 arguments, but takes just 1 1595 | result.infinity=isinf(src, spec); | ^ /usr/include/iso/math_c99.h:72:9: note: macro "isinf" defined here 72 | #define isinf(x) __builtin_isinf(x) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1597:29: error: macro "isnan" passed 2 arguments, but takes just 1 1597 | result.NaN=isnan(src, spec); | ^ /usr/include/iso/math_c99.h:71:9: note: macro "isnan" defined here 71 | #define isnan(x) __builtin_isnan(x) | ^~~~~ [ 27%] Building CXX object src/solvers/CMakeFiles/solvers.dir/floatbv/float_utils.cpp.o /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp: In member function 'exprt float_bvt::convert(const exprt&) const': /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:148:17: error: unused variable 'op' [-Werror=unused-variable] 148 | const auto &op = to_unary_expr(expr).op(); | ^~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:153:17: error: unused variable 'op' [-Werror=unused-variable] 153 | const auto &op = to_unary_expr(expr).op(); | ^~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:158:17: error: unused variable 'op' [-Werror=unused-variable] 158 | const auto &op = to_unary_expr(expr).op(); | ^~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:163:17: error: unused variable 'op' [-Werror=unused-variable] 163 | const auto &op = to_unary_expr(expr).op(); | ^~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp: At global scope: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:532:3: error: expected primary-expression before 'return' 532 | return and_exprt( | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:532:3: error: expected '}' before 'return' /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:531:1: note: to match this '{' 531 | { | ^ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:532:3: error: no matching function for call to 'exprt::exprt()' 532 | return and_exprt( | ^~~~~~ In file included from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr_cast.h:20, from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/std_expr.h:17, from /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.h:14: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:78:3: note: candidate: 'exprt::exprt(const irep_idt&, typet, source_locationt)' 78 | exprt(const irep_idt &id, typet type, source_locationt loc) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:78:3: note: candidate expects 3 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:70:3: note: candidate: 'exprt::exprt(irep_idt, typet, operandst&&)' 70 | exprt(irep_idt _id, typet _type, operandst &&_operands) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:70:3: note: candidate expects 3 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:65:3: note: candidate: 'exprt::exprt(irep_idt, typet)' 65 | exprt(irep_idt _id, typet _type) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:65:3: note: candidate expects 2 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:63:12: note: candidate: 'exprt::exprt(const irep_idt&)' 63 | explicit exprt(const irep_idt &_id):irept(_id) { } | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:63:12: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:62:3: note: candidate: 'exprt::exprt()' 62 | exprt() { } | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:62:3: note: candidate expects 0 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: candidate: 'exprt::exprt(const exprt&)' 56 | class exprt:public irept | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: candidate: 'exprt::exprt(exprt&&)' /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:532:3: error: expected ',' or ';' before 'return' 532 | return and_exprt( | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:535:1: error: expected declaration before '}' token 535 | } | ^ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1072:3: error: expected primary-expression before 'return' 1072 | return and_exprt( | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1072:3: error: expected '}' before 'return' /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1071:1: note: to match this '{' 1071 | { | ^ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1072:3: error: no matching function for call to 'exprt::exprt()' 1072 | return and_exprt( | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:78:3: note: candidate: 'exprt::exprt(const irep_idt&, typet, source_locationt)' 78 | exprt(const irep_idt &id, typet type, source_locationt loc) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:78:3: note: candidate expects 3 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:70:3: note: candidate: 'exprt::exprt(irep_idt, typet, operandst&&)' 70 | exprt(irep_idt _id, typet _type, operandst &&_operands) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:70:3: note: candidate expects 3 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:65:3: note: candidate: 'exprt::exprt(irep_idt, typet)' 65 | exprt(irep_idt _id, typet _type) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:65:3: note: candidate expects 2 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:63:12: note: candidate: 'exprt::exprt(const irep_idt&)' 63 | explicit exprt(const irep_idt &_id):irept(_id) { } | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:63:12: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:62:3: note: candidate: 'exprt::exprt()' 62 | exprt() { } | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:62:3: note: candidate expects 0 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: candidate: 'exprt::exprt(const exprt&)' 56 | class exprt:public irept | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: candidate: 'exprt::exprt(exprt&&)' /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1072:3: error: expected ',' or ';' before 'return' 1072 | return and_exprt( | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1075:1: error: expected declaration before '}' token 1075 | } | ^ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1081:3: error: expected primary-expression before 'return' 1081 | return not_exprt(or_exprt(isinf(src, spec), isnan(src, spec))); | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1081:3: error: expected '}' before 'return' /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1080:1: note: to match this '{' 1080 | { | ^ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1081:3: error: no matching function for call to 'exprt::exprt()' 1081 | return not_exprt(or_exprt(isinf(src, spec), isnan(src, spec))); | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:78:3: note: candidate: 'exprt::exprt(const irep_idt&, typet, source_locationt)' 78 | exprt(const irep_idt &id, typet type, source_locationt loc) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:78:3: note: candidate expects 3 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:70:3: note: candidate: 'exprt::exprt(irep_idt, typet, operandst&&)' 70 | exprt(irep_idt _id, typet _type, operandst &&_operands) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:70:3: note: candidate expects 3 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:65:3: note: candidate: 'exprt::exprt(irep_idt, typet)' 65 | exprt(irep_idt _id, typet _type) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:65:3: note: candidate expects 2 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:63:12: note: candidate: 'exprt::exprt(const irep_idt&)' 63 | explicit exprt(const irep_idt &_id):irept(_id) { } | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:63:12: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:62:3: note: candidate: 'exprt::exprt()' 62 | exprt() { } | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:62:3: note: candidate expects 0 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: candidate: 'exprt::exprt(const exprt&)' 56 | class exprt:public irept | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: candidate: 'exprt::exprt(exprt&&)' /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1081:3: error: expected ',' or ';' before 'return' 1081 | return not_exprt(or_exprt(isinf(src, spec), isnan(src, spec))); | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1082:1: error: expected declaration before '}' token 1082 | } | ^ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1104:3: error: expected primary-expression before 'return' 1104 | return and_exprt(exponent_all_ones(src, spec), | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1104:3: error: expected '}' before 'return' /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1103:1: note: to match this '{' 1103 | { | ^ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1104:3: error: no matching function for call to 'exprt::exprt()' 1104 | return and_exprt(exponent_all_ones(src, spec), | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:78:3: note: candidate: 'exprt::exprt(const irep_idt&, typet, source_locationt)' 78 | exprt(const irep_idt &id, typet type, source_locationt loc) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:78:3: note: candidate expects 3 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:70:3: note: candidate: 'exprt::exprt(irep_idt, typet, operandst&&)' 70 | exprt(irep_idt _id, typet _type, operandst &&_operands) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:70:3: note: candidate expects 3 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:65:3: note: candidate: 'exprt::exprt(irep_idt, typet)' 65 | exprt(irep_idt _id, typet _type) | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:65:3: note: candidate expects 2 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:63:12: note: candidate: 'exprt::exprt(const irep_idt&)' 63 | explicit exprt(const irep_idt &_id):irept(_id) { } | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:63:12: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:62:3: note: candidate: 'exprt::exprt()' 62 | exprt() { } | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:62:3: note: candidate expects 0 arguments, 1 provided /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: candidate: 'exprt::exprt(const exprt&)' 56 | class exprt:public irept | ^~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: candidate: 'exprt::exprt(exprt&&)' /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/util/expr.h:56:7: note: conversion of argument 1 would be ill-formed: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1104:3: error: expected ',' or ';' before 'return' 1104 | return and_exprt(exponent_all_ones(src, spec), | ^~~~~~ /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/src/solvers/floatbv/float_bv.cpp:1106:1: error: expected declaration before '}' token 1106 | } | ^ cc1plus: all warnings being treated as errors gmake[2]: *** [src/solvers/CMakeFiles/solvers.dir/build.make:961: src/solvers/CMakeFiles/solvers.dir/floatbv/float_bv.cpp.o] Error 1 gmake[2]: *** Waiting for unfinished jobs.... [ 27%] Building CXX object src/crangler/CMakeFiles/crangler-lib.dir/crangler_parse_options.cpp.o [ 27%] Building CXX object src/crangler/CMakeFiles/crangler-lib.dir/cscanner.cpp.o gmake[1]: *** [CMakeFiles/Makefile2:3007: src/solvers/CMakeFiles/solvers.dir/all] Error 2 gmake[1]: *** Waiting for unfinished jobs.... [ 28%] Building CXX object src/crangler/CMakeFiles/crangler-lib.dir/ctoken.cpp.o [ 28%] Building CXX object src/crangler/CMakeFiles/crangler-lib.dir/ctokenit.cpp.o [ 28%] Building CXX object src/crangler/CMakeFiles/crangler-lib.dir/mini_c_parser.cpp.o [ 28%] Building CXX object src/crangler/CMakeFiles/crangler-lib.dir/c_lex.yy.cpp.o [ 28%] Linking CXX static library ../../lib/libcrangler-lib.a [ 28%] Built target crangler-lib gmake: *** [Makefile:166: all] Error 2 *** Error code 2 Stop. bmake[1]: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/devel/cbmc *** Error code 1 Stop. bmake: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/devel/cbmc