<86>May 3 03:51:00 userdel[65827]: delete user 'rooter' <86>May 3 03:51:00 userdel[65827]: removed group 'rooter' owned by 'rooter' <86>May 3 03:51:00 userdel[65827]: removed shadow group 'rooter' owned by 'rooter' <86>May 3 03:51:00 groupadd[65843]: group added to /etc/group: name=rooter, GID=1253 <86>May 3 03:51:00 groupadd[65843]: group added to /etc/gshadow: name=rooter <86>May 3 03:51:00 groupadd[65843]: new group: name=rooter, GID=1253 <86>May 3 03:51:00 useradd[65859]: new user: name=rooter, UID=1253, GID=1253, home=/root, shell=/bin/bash, from=none <86>May 3 03:51:00 userdel[65885]: delete user 'builder' <86>May 3 03:51:00 userdel[65885]: removed group 'builder' owned by 'builder' <86>May 3 03:51:00 userdel[65885]: removed shadow group 'builder' owned by 'builder' <86>May 3 03:51:00 groupadd[65910]: group added to /etc/group: name=builder, GID=1254 <86>May 3 03:51:00 groupadd[65910]: group added to /etc/gshadow: name=builder <86>May 3 03:51:00 groupadd[65910]: new group: name=builder, GID=1254 <86>May 3 03:51:00 useradd[65931]: new user: name=builder, UID=1254, GID=1254, home=/usr/src, shell=/bin/bash, from=none /usr/src/in/srpm/yices-2.3.0-alt4.src.rpm: license not found in '/usr/share/license' directory: Noncommercial /usr/src/in/srpm/yices-2.3.0-alt4.src.rpm: license not found in '/usr/share/license' directory: use /usr/src/in/srpm/yices-2.3.0-alt4.src.rpm: license not found in '/usr/share/license' directory: only <13>May 3 03:51:05 rpmi: libgmp-devel-6.3.0-alt1 sisyphus+328118.100.2.1 1693294124 installed <13>May 3 03:51:05 rpmi: gperf-3.2.0.1.d89c-alt1 sisyphus+336930.1300.1.1 1703105830 installed <13>May 3 03:51:06 rpmi: flex-2.6.4.0.88.9801-alt2 sisyphus+283727.100.1.1 1629851973 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/yices-2.3.0-alt4.nosrc.rpm (w1.gzdio) Installing yices-2.3.0-alt4.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.7021 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf yices-2.3.0 + echo 'Source #0 (yices-2.3.0.tar):' Source #0 (yices-2.3.0.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/yices-2.3.0.tar + cd yices-2.3.0 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.7021 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd yices-2.3.0 + autoreconf -fisv autoreconf-default: export WARNINGS= autoreconf-default: Entering directory '.' autoreconf-default: configure.ac: not using Gettext autoreconf-default: running: aclocal --force autoreconf-default: configure.ac: tracing autoreconf-default: configure.ac: not using Libtool autoreconf-default: configure.ac: not using Intltool autoreconf-default: configure.ac: not using Gtkdoc autoreconf-default: running: /usr/bin/autoconf-2.71 --force autoreconf-default: configure.ac: not using Autoheader autoreconf-default: configure.ac: not using Automake autoreconf-default: linking ./config.sub to /usr/share/autoconf-2.71/build-aux/config.sub autoreconf-default: linking ./config.guess to /usr/share/autoconf-2.71/build-aux/config.guess autoreconf-default: linking ./install-sh to /usr/share/autoconf-2.71/build-aux/install-sh autoreconf-default: Leaving directory '.' + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon' + export FFLAGS + FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon' + export FCFLAGS + '[' -n '' ']' ++ printf %s '-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon' ++ sed -r 's/(^|[[:space:]]+)-[^m][^[:space:]]*//g' + ASFLAGS= + export ASFLAGS + export lt_cv_deplibs_check_method=pass_all + lt_cv_deplibs_check_method=pass_all + readlink -e -- ./configure + xargs -ri dirname -- '{}' + xargs -ri find '{}' -type f '(' -name config.sub -or -name config.guess ')' -printf '%h/\n' + sort -u + xargs -rn1 install -pm755 -- /usr/share/gnu-config/config.sub /usr/share/gnu-config/config.guess + configure_runstatedir_flags= + grep -qF runstatedir=DIR ./configure + configure_runstatedir_flags=--runstatedir=/var/run + ./configure --build=x86_64-alt-linux --host=x86_64-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/lib --localstatedir=/var/lib --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-dependency-tracking --disable-silent-rules --runstatedir=/var/run --without-included-gettext --enable-shared --disable-static --with-pic-gmp=/usr/lib64/libgmp.so configure: WARNING: unrecognized options: --disable-dependency-tracking, --disable-silent-rules, --without-included-gettext, --enable-shared, --disable-static checking build system type... x86_64-alt-linux-gnu checking whether make sets $(MAKE)... yes checking for a sed that does not truncate output... /usr/bin/sed checking whether ln -s works... yes checking for a race-free mkdir -p... /usr/bin/mkdir -p checking for a BSD-compatible install... /usr/bin/ginstall -c checking for x86_64-alt-linux-gcc... x86_64-alt-linux-gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether x86_64-alt-linux-gcc accepts -g... yes checking for x86_64-alt-linux-gcc option to enable C11 features... none needed checking for x86_64-alt-linux-ranlib... no checking for ranlib... ranlib checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for x86_64-alt-linux-ld... no checking for ld... ld checking for x86_64-alt-linux-ar... no checking for ar... ar checking for x86_64-alt-linux-strip... no checking for strip... strip checking for gperf... gperf checking gperf version... 3.2 checking whether x86_64-alt-linux-gcc accepts option -fno-stack-protector... yes configure: Trying to find a usable ligmp.a configure: Searching in /usr/x86_64-alt-linux/lib64 /usr/lib64 /usr/local/lib64 /lib64 /usr/x86_64-alt-linux/lib /usr/local/lib /lib /usr/lib /usr/local/lib /usr/lib /lib checking for libgmp.a in /usr/x86_64-alt-linux/lib64... no checking for libgmp.a in /usr/lib64... no checking for libgmp.a in /usr/local/lib64... no checking for libgmp.a in /lib64... no checking for libgmp.a in /usr/x86_64-alt-linux/lib... no checking for libgmp.a in /usr/local/lib... no checking for libgmp.a in /lib... no checking for libgmp.a in /usr/lib... no checking for libgmp.a in /usr/local/lib... no checking for libgmp.a in /usr/lib... no checking for libgmp.a in /lib... no configure: WARNING: *** No usable libgmp.a library was found *** checking for /usr/lib64/libgmp.so... found checking whether /usr/lib64/libgmp.so is usable... yes checking for __gmpz_cmp in -lgmp... yes configure: creating ./config.status config.status: creating make.include configure: WARNING: unrecognized options: --disable-dependency-tracking, --disable-silent-rules, --without-included-gettext, --enable-shared, --disable-static configure: Creating the configs directory configure: Moving make.include to configs/make.include.x86_64-alt-linux + sed -i 's|^STRIP=.*|STRIP=echo|' configs/make.include.x86_64-alt-linux + sed -i 's|^YACC=.*|YACC=yacc|' configs/make.include.x86_64-alt-linux + sed -i 's|^LEX=.*|LEX=flex|' configs/make.include.x86_64-alt-linux + NPROCS=1 + make -j1 YICES_MAKE_INCLUDE=configs/make.include.x86_64-alt-linux ARCH=x86_64-alt-linux lib bin make: Entering directory '/usr/src/RPM/BUILD/yices-2.3.0' Mode: release Platform: x86_64-alt-linux make[1]: Entering directory '/usr/src/RPM/BUILD/yices-2.3.0' /usr/bin/mkdir -p build/x86_64-alt-linux-release /usr/bin/mkdir -p build/x86_64-alt-linux-release/obj for subdir in include io terms utils solvers solvers/floyd_warshall solvers/funs solvers/bv solvers/egraph solvers/cdcl solvers/simplex parser_utils model scratch api frontend frontend/smt1 frontend/dimacs frontend/yices frontend/smt2 context exists_forall ; \ do \ /usr/bin/mkdir -p build/x86_64-alt-linux-release/obj/$subdir; \ done /usr/bin/mkdir -p build/x86_64-alt-linux-release/lib /usr/bin/mkdir -p build/x86_64-alt-linux-release/bin /usr/bin/mkdir -p build/x86_64-alt-linux-release/obj for subdir in include io terms utils solvers solvers/floyd_warshall solvers/funs solvers/bv solvers/egraph solvers/cdcl solvers/simplex parser_utils model scratch api frontend frontend/smt1 frontend/dimacs frontend/yices frontend/smt2 context exists_forall ; \ do \ /usr/bin/mkdir -p build/x86_64-alt-linux-release/static_obj/$subdir; \ done /usr/bin/mkdir -p build/x86_64-alt-linux-release/static_lib /usr/bin/mkdir -p build/x86_64-alt-linux-release/static_bin ./utils/make_source_version ./src/api/yices_version_template.txt src/api/yices_version.c 2.3.0 release x86_64-alt-linux === Building libraries === make[2]: Entering directory '/usr/src/RPM/BUILD/yices-2.3.0/src' Building dependency file ../build/x86_64-alt-linux-release/obj/api/context_config.d Building dependency file ../build/x86_64-alt-linux-release/obj/api/search_parameters.d Building dependency file ../build/x86_64-alt-linux-release/obj/api/smt_logic_codes.d Building dependency file ../build/x86_64-alt-linux-release/obj/api/yices_api.d Building dependency file ../build/x86_64-alt-linux-release/obj/api/yices_error.d Building dependency file ../build/x86_64-alt-linux-release/obj/api/yval.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/conditional_definitions.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/context.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/context_simplifier.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/context_solver.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/context_statistics.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/eq_abstraction.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/eq_learner.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/internalization_table.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/pseudo_subst.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/symmetry_breaking.d Building dependency file ../build/x86_64-alt-linux-release/obj/exists_forall/ef_analyze.d Building dependency file ../build/x86_64-alt-linux-release/obj/exists_forall/ef_problem.d Building dependency file ../build/x86_64-alt-linux-release/obj/exists_forall/efsolver.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/attribute_values.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_lexer.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_parser.d Building dependency file ../build/x86_64-alt-linux-release/obj/io/concrete_value_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/io/model_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/io/pretty_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/io/reader.d Building dependency file ../build/x86_64-alt-linux-release/obj/io/term_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/io/tracer.d Building dependency file ../build/x86_64-alt-linux-release/obj/io/type_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/io/yices_pp.d Building dependency file ../build/x86_64-alt-linux-release/obj/io/writer.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/abstract_values.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/arith_projection.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/concrete_values.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/fresh_value_maker.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/fun_maps.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/fun_trees.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/generalization.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/literal_collector.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/map_to_model.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/model_eval.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/model_queries.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/models.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/projection.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/term_to_val.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/val_to_term.d Building dependency file ../build/x86_64-alt-linux-release/obj/parser_utils/lexer.d Building dependency file ../build/x86_64-alt-linux-release/obj/parser_utils/parser.d Building dependency file ../build/x86_64-alt-linux-release/obj/parser_utils/term_stack2.d Building dependency file ../build/x86_64-alt-linux-release/obj/parser_utils/term_stack_error.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bit_blaster.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bv64_intervals.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_atomtable.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bvconst_hmap.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bvexp_table.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_intervals.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bvpoly_compiler.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bvpoly_dag.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bvsolver.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_vartable.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/merge_table.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/remap_table.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_hash_table.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_manager.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/cdcl/smt_core.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/egraph/composites.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/egraph/diseq_stacks.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_assertion_queues.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_explanations.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_utils.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/egraph/theory_explanations.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/dl_vartable.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/idl_floyd_warshall.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/funs/fun_solver.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/simplex/arith_atomtable.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/simplex/arith_vartable.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/simplex/diophantine_systems.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/simplex/matrices.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/simplex/offset_equalities.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/balanced_arith_buffers.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bit_expr.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bit_term_conversion.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bv64_constants.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bv64_polynomials.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bvarith64_buffers.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bvarith64_buffer_terms.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bvarith_buffers.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bvarith_buffer_terms.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bv_constants.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bvlogic_buffers.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bvpoly_buffers.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/bv_polynomials.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/conditionals.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/elim_subst.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/extended_rationals.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/free_var_collector.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/full_subst.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/mpq_aux.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/poly_buffer.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/poly_buffer_terms.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/polynomials.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/power_products.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/pprod_table.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/rational_hash_maps.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/rationals.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/rba_buffer_terms.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/renaming_context.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/subst_cache.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/subst_context.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/term_explorer.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/term_manager.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/terms.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/term_sets.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/term_substitution.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/term_utils.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/types.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/variable_renaming.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/arena.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/backtrack_arrays.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/cache.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/csets.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/dep_tables.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/gcd.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/generic_heap.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/hash_functions.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/index_vectors.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_array_hsets.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_array_sort2.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_array_sort.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_bags.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_bv_sets.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_hash_classes.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_hash_map2.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_hash_map.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_hash_sets.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_hash_tables.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_heap2.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_heap.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_partitions.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_powers.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_queues.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_stack.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/int_vectors.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/mark_vectors.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/memalloc.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/object_stores.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/pair_hash_map2.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/pointer_vectors.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_array_sort2.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_array_sort.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_hash_classes.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_hash_map.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_heap.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_partitions.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_queues.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_sets.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_stack.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/ptr_vectors.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/refcount_int_arrays.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/refcount_strings.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/simple_cache.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/sparse_arrays.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/stable_sort.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/string_buffers.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/string_utils.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/symbol_tables.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/tuple_hash_map.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/uint_rbtrees.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/use_vectors.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/context_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/dump_context.d Building dependency file ../build/x86_64-alt-linux-release/obj/context/internalization_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_lexer.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_parser.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_term_stack.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/parenthesized_expr.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_commands.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_expressions.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_lexer.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_model_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_parser.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_term_stack.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices/arith_solver_codes.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_help.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_reval.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/large_bvsets.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/rb_bvsets.d Building dependency file ../build/x86_64-alt-linux-release/obj/model/small_bvsets.d Building dependency file ../build/x86_64-alt-linux-release/obj/scratch/booleq_table.d Building dependency file ../build/x86_64-alt-linux-release/obj/scratch/bool_vartable.d Building dependency file ../build/x86_64-alt-linux-release/obj/scratch/update_graph.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/bvsolver_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/bv/dimacs_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/cdcl/sat_solver.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/cdcl/smt_core_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/idl_fw_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/rdl_fw_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/funs/fun_solver_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/simplex/dsolver_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex_printer.d Building dependency file ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex_prop_table.d Building dependency file ../build/x86_64-alt-linux-release/obj/terms/arith_buffers.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/command_line.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/cputime.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/memsize.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/pair_hash_map.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/pair_hash_sets.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/string_hash_map.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/tag_map.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/timeout.d Building dependency file ../build/x86_64-alt-linux-release/obj/utils/union_find.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices_main.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices_sat.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices_smt.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices_smt2.d Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices_smtcomp.d Building dependency file ../build/x86_64-alt-linux-release/obj/api/yices_version.d gperf -C -L ANSI-C -W yices_kw --output-file=frontend/yices/yices_hash_keywords.h \ --lookup-function-name=in_yices_kw frontend/yices/yices_keywords.txt Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_lexer.d gperf -C -L ANSI-C -W smt_kw --output-file=frontend/smt1/smt_hash_keywords.h \ --lookup-function-name=in_smt_kw frontend/smt1/smt_keywords.txt Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_lexer.d gperf -C -L ANSI-C -W smt2_tk -H hash_tk -E --output-file=frontend/smt2/smt2_hash_tokens.h \ --lookup-function-name=in_smt2_tk frontend/smt2/smt2_tokens.txt gperf -C -L ANSI-C -W smt2_kw -H hash_kw -E --output-file=frontend/smt2/smt2_hash_keywords.h \ --lookup-function-name=in_smt2_kw frontend/smt2/smt2_keywords.txt gperf -C -L ANSI-C -W smt2_sym -H hash_sym -E --output-file=frontend/smt2/smt2_hash_symbols.h \ --lookup-function-name=in_smt2_sym frontend/smt2/smt2_symbols.txt Building dependency file ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_lexer.d x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/context_config.c -o ../build/x86_64-alt-linux-release/obj/api/context_config.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/search_parameters.c -o ../build/x86_64-alt-linux-release/obj/api/search_parameters.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/smt_logic_codes.c -o ../build/x86_64-alt-linux-release/obj/api/smt_logic_codes.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_api.c -o ../build/x86_64-alt-linux-release/obj/api/yices_api.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_error.c -o ../build/x86_64-alt-linux-release/obj/api/yices_error.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yval.c -o ../build/x86_64-alt-linux-release/obj/api/yval.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/conditional_definitions.c -o ../build/x86_64-alt-linux-release/obj/context/conditional_definitions.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context.c -o ../build/x86_64-alt-linux-release/obj/context/context.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_simplifier.c -o ../build/x86_64-alt-linux-release/obj/context/context_simplifier.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_solver.c -o ../build/x86_64-alt-linux-release/obj/context/context_solver.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_statistics.c -o ../build/x86_64-alt-linux-release/obj/context/context_statistics.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/eq_abstraction.c -o ../build/x86_64-alt-linux-release/obj/context/eq_abstraction.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/eq_learner.c -o ../build/x86_64-alt-linux-release/obj/context/eq_learner.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/internalization_table.c -o ../build/x86_64-alt-linux-release/obj/context/internalization_table.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/pseudo_subst.c -o ../build/x86_64-alt-linux-release/obj/context/pseudo_subst.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/symmetry_breaking.c -o ../build/x86_64-alt-linux-release/obj/context/symmetry_breaking.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c exists_forall/ef_analyze.c -o ../build/x86_64-alt-linux-release/obj/exists_forall/ef_analyze.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c exists_forall/ef_problem.c -o ../build/x86_64-alt-linux-release/obj/exists_forall/ef_problem.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c exists_forall/efsolver.c -o ../build/x86_64-alt-linux-release/obj/exists_forall/efsolver.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/attribute_values.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt2/attribute_values.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_lexer.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_lexer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_parser.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_parser.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/concrete_value_printer.c -o ../build/x86_64-alt-linux-release/obj/io/concrete_value_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/model_printer.c -o ../build/x86_64-alt-linux-release/obj/io/model_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/pretty_printer.c -o ../build/x86_64-alt-linux-release/obj/io/pretty_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/reader.c -o ../build/x86_64-alt-linux-release/obj/io/reader.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/term_printer.c -o ../build/x86_64-alt-linux-release/obj/io/term_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/tracer.c -o ../build/x86_64-alt-linux-release/obj/io/tracer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/type_printer.c -o ../build/x86_64-alt-linux-release/obj/io/type_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/yices_pp.c -o ../build/x86_64-alt-linux-release/obj/io/yices_pp.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/writer.c -o ../build/x86_64-alt-linux-release/obj/io/writer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/abstract_values.c -o ../build/x86_64-alt-linux-release/obj/model/abstract_values.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/arith_projection.c -o ../build/x86_64-alt-linux-release/obj/model/arith_projection.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/concrete_values.c -o ../build/x86_64-alt-linux-release/obj/model/concrete_values.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/fresh_value_maker.c -o ../build/x86_64-alt-linux-release/obj/model/fresh_value_maker.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/fun_maps.c -o ../build/x86_64-alt-linux-release/obj/model/fun_maps.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/fun_trees.c -o ../build/x86_64-alt-linux-release/obj/model/fun_trees.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/generalization.c -o ../build/x86_64-alt-linux-release/obj/model/generalization.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/literal_collector.c -o ../build/x86_64-alt-linux-release/obj/model/literal_collector.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/map_to_model.c -o ../build/x86_64-alt-linux-release/obj/model/map_to_model.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/model_eval.c -o ../build/x86_64-alt-linux-release/obj/model/model_eval.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/model_queries.c -o ../build/x86_64-alt-linux-release/obj/model/model_queries.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/models.c -o ../build/x86_64-alt-linux-release/obj/model/models.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/projection.c -o ../build/x86_64-alt-linux-release/obj/model/projection.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/term_to_val.c -o ../build/x86_64-alt-linux-release/obj/model/term_to_val.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/val_to_term.c -o ../build/x86_64-alt-linux-release/obj/model/val_to_term.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c parser_utils/lexer.c -o ../build/x86_64-alt-linux-release/obj/parser_utils/lexer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c parser_utils/parser.c -o ../build/x86_64-alt-linux-release/obj/parser_utils/parser.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c parser_utils/term_stack2.c -o ../build/x86_64-alt-linux-release/obj/parser_utils/term_stack2.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c parser_utils/term_stack_error.c -o ../build/x86_64-alt-linux-release/obj/parser_utils/term_stack_error.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bit_blaster.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bit_blaster.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bv64_intervals.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv64_intervals.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bv_atomtable.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_atomtable.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvconst_hmap.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvconst_hmap.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvexp_table.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvexp_table.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bv_intervals.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_intervals.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvpoly_compiler.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvpoly_compiler.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvpoly_dag.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvpoly_dag.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvsolver.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvsolver.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bv_vartable.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_vartable.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/merge_table.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/merge_table.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/remap_table.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/remap_table.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/gates_hash_table.c -o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_hash_table.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/gates_manager.c -o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_manager.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/smt_core.c -o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/smt_core.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/composites.c -o ../build/x86_64-alt-linux-release/obj/solvers/egraph/composites.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/diseq_stacks.c -o ../build/x86_64-alt-linux-release/obj/solvers/egraph/diseq_stacks.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph_assertion_queues.c -o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_assertion_queues.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph.c -o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph_explanations.c -o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_explanations.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph_utils.c -o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_utils.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/theory_explanations.c -o ../build/x86_64-alt-linux-release/obj/solvers/egraph/theory_explanations.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/dl_vartable.c -o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/dl_vartable.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/idl_floyd_warshall.c -o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/rdl_floyd_warshall.c -o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/funs/fun_solver.c -o ../build/x86_64-alt-linux-release/obj/solvers/funs/fun_solver.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/arith_atomtable.c -o ../build/x86_64-alt-linux-release/obj/solvers/simplex/arith_atomtable.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/arith_vartable.c -o ../build/x86_64-alt-linux-release/obj/solvers/simplex/arith_vartable.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/diophantine_systems.c -o ../build/x86_64-alt-linux-release/obj/solvers/simplex/diophantine_systems.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/matrices.c -o ../build/x86_64-alt-linux-release/obj/solvers/simplex/matrices.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/offset_equalities.c -o ../build/x86_64-alt-linux-release/obj/solvers/simplex/offset_equalities.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/simplex.c -o ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/balanced_arith_buffers.c -o ../build/x86_64-alt-linux-release/obj/terms/balanced_arith_buffers.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bit_expr.c -o ../build/x86_64-alt-linux-release/obj/terms/bit_expr.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bit_term_conversion.c -o ../build/x86_64-alt-linux-release/obj/terms/bit_term_conversion.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv64_constants.c -o ../build/x86_64-alt-linux-release/obj/terms/bv64_constants.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv64_polynomials.c -o ../build/x86_64-alt-linux-release/obj/terms/bv64_polynomials.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvarith64_buffers.c -o ../build/x86_64-alt-linux-release/obj/terms/bvarith64_buffers.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvarith64_buffer_terms.c -o ../build/x86_64-alt-linux-release/obj/terms/bvarith64_buffer_terms.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvarith_buffers.c -o ../build/x86_64-alt-linux-release/obj/terms/bvarith_buffers.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvarith_buffer_terms.c -o ../build/x86_64-alt-linux-release/obj/terms/bvarith_buffer_terms.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv_constants.c -o ../build/x86_64-alt-linux-release/obj/terms/bv_constants.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvlogic_buffers.c -o ../build/x86_64-alt-linux-release/obj/terms/bvlogic_buffers.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvpoly_buffers.c -o ../build/x86_64-alt-linux-release/obj/terms/bvpoly_buffers.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv_polynomials.c -o ../build/x86_64-alt-linux-release/obj/terms/bv_polynomials.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/conditionals.c -o ../build/x86_64-alt-linux-release/obj/terms/conditionals.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/elim_subst.c -o ../build/x86_64-alt-linux-release/obj/terms/elim_subst.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/extended_rationals.c -o ../build/x86_64-alt-linux-release/obj/terms/extended_rationals.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/free_var_collector.c -o ../build/x86_64-alt-linux-release/obj/terms/free_var_collector.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/full_subst.c -o ../build/x86_64-alt-linux-release/obj/terms/full_subst.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/mpq_aux.c -o ../build/x86_64-alt-linux-release/obj/terms/mpq_aux.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/poly_buffer.c -o ../build/x86_64-alt-linux-release/obj/terms/poly_buffer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/poly_buffer_terms.c -o ../build/x86_64-alt-linux-release/obj/terms/poly_buffer_terms.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/polynomials.c -o ../build/x86_64-alt-linux-release/obj/terms/polynomials.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/power_products.c -o ../build/x86_64-alt-linux-release/obj/terms/power_products.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/pprod_table.c -o ../build/x86_64-alt-linux-release/obj/terms/pprod_table.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/rational_hash_maps.c -o ../build/x86_64-alt-linux-release/obj/terms/rational_hash_maps.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/rationals.c -o ../build/x86_64-alt-linux-release/obj/terms/rationals.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/rba_buffer_terms.c -o ../build/x86_64-alt-linux-release/obj/terms/rba_buffer_terms.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/renaming_context.c -o ../build/x86_64-alt-linux-release/obj/terms/renaming_context.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/subst_cache.c -o ../build/x86_64-alt-linux-release/obj/terms/subst_cache.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/subst_context.c -o ../build/x86_64-alt-linux-release/obj/terms/subst_context.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_explorer.c -o ../build/x86_64-alt-linux-release/obj/terms/term_explorer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_manager.c -o ../build/x86_64-alt-linux-release/obj/terms/term_manager.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/terms.c -o ../build/x86_64-alt-linux-release/obj/terms/terms.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_sets.c -o ../build/x86_64-alt-linux-release/obj/terms/term_sets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_substitution.c -o ../build/x86_64-alt-linux-release/obj/terms/term_substitution.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_utils.c -o ../build/x86_64-alt-linux-release/obj/terms/term_utils.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/types.c -o ../build/x86_64-alt-linux-release/obj/terms/types.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/variable_renaming.c -o ../build/x86_64-alt-linux-release/obj/terms/variable_renaming.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/arena.c -o ../build/x86_64-alt-linux-release/obj/utils/arena.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/backtrack_arrays.c -o ../build/x86_64-alt-linux-release/obj/utils/backtrack_arrays.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/cache.c -o ../build/x86_64-alt-linux-release/obj/utils/cache.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/csets.c -o ../build/x86_64-alt-linux-release/obj/utils/csets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/dep_tables.c -o ../build/x86_64-alt-linux-release/obj/utils/dep_tables.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/gcd.c -o ../build/x86_64-alt-linux-release/obj/utils/gcd.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/generic_heap.c -o ../build/x86_64-alt-linux-release/obj/utils/generic_heap.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/hash_functions.c -o ../build/x86_64-alt-linux-release/obj/utils/hash_functions.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/index_vectors.c -o ../build/x86_64-alt-linux-release/obj/utils/index_vectors.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_array_hsets.c -o ../build/x86_64-alt-linux-release/obj/utils/int_array_hsets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_array_sort2.c -o ../build/x86_64-alt-linux-release/obj/utils/int_array_sort2.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_array_sort.c -o ../build/x86_64-alt-linux-release/obj/utils/int_array_sort.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_bags.c -o ../build/x86_64-alt-linux-release/obj/utils/int_bags.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_bv_sets.c -o ../build/x86_64-alt-linux-release/obj/utils/int_bv_sets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_classes.c -o ../build/x86_64-alt-linux-release/obj/utils/int_hash_classes.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_map2.c -o ../build/x86_64-alt-linux-release/obj/utils/int_hash_map2.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_map.c -o ../build/x86_64-alt-linux-release/obj/utils/int_hash_map.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_sets.c -o ../build/x86_64-alt-linux-release/obj/utils/int_hash_sets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_tables.c -o ../build/x86_64-alt-linux-release/obj/utils/int_hash_tables.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_heap2.c -o ../build/x86_64-alt-linux-release/obj/utils/int_heap2.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_heap.c -o ../build/x86_64-alt-linux-release/obj/utils/int_heap.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_partitions.c -o ../build/x86_64-alt-linux-release/obj/utils/int_partitions.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_powers.c -o ../build/x86_64-alt-linux-release/obj/utils/int_powers.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_queues.c -o ../build/x86_64-alt-linux-release/obj/utils/int_queues.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_stack.c -o ../build/x86_64-alt-linux-release/obj/utils/int_stack.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_vectors.c -o ../build/x86_64-alt-linux-release/obj/utils/int_vectors.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/mark_vectors.c -o ../build/x86_64-alt-linux-release/obj/utils/mark_vectors.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/memalloc.c -o ../build/x86_64-alt-linux-release/obj/utils/memalloc.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/object_stores.c -o ../build/x86_64-alt-linux-release/obj/utils/object_stores.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/pair_hash_map2.c -o ../build/x86_64-alt-linux-release/obj/utils/pair_hash_map2.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/pointer_vectors.c -o ../build/x86_64-alt-linux-release/obj/utils/pointer_vectors.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_array_sort2.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_array_sort2.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_array_sort.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_array_sort.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_hash_classes.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_hash_classes.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_hash_map.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_hash_map.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_heap.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_heap.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_partitions.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_partitions.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_queues.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_queues.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_sets.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_sets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_stack.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_stack.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_vectors.c -o ../build/x86_64-alt-linux-release/obj/utils/ptr_vectors.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/refcount_int_arrays.c -o ../build/x86_64-alt-linux-release/obj/utils/refcount_int_arrays.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/refcount_strings.c -o ../build/x86_64-alt-linux-release/obj/utils/refcount_strings.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/simple_cache.c -o ../build/x86_64-alt-linux-release/obj/utils/simple_cache.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/sparse_arrays.c -o ../build/x86_64-alt-linux-release/obj/utils/sparse_arrays.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/stable_sort.c -o ../build/x86_64-alt-linux-release/obj/utils/stable_sort.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/string_buffers.c -o ../build/x86_64-alt-linux-release/obj/utils/string_buffers.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/string_utils.c -o ../build/x86_64-alt-linux-release/obj/utils/string_utils.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/symbol_tables.c -o ../build/x86_64-alt-linux-release/obj/utils/symbol_tables.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/tuple_hash_map.c -o ../build/x86_64-alt-linux-release/obj/utils/tuple_hash_map.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/uint_rbtrees.c -o ../build/x86_64-alt-linux-release/obj/utils/uint_rbtrees.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/use_vectors.c -o ../build/x86_64-alt-linux-release/obj/utils/use_vectors.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_printer.c -o ../build/x86_64-alt-linux-release/obj/context/context_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/dump_context.c -o ../build/x86_64-alt-linux-release/obj/context/dump_context.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/internalization_printer.c -o ../build/x86_64-alt-linux-release/obj/context/internalization_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt1/smt_lexer.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_lexer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt1/smt_parser.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_parser.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt1/smt_term_stack.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_term_stack.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/parenthesized_expr.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt2/parenthesized_expr.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_commands.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_commands.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_expressions.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_expressions.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_lexer.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_lexer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_model_printer.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_model_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_parser.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_parser.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_printer.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_term_stack.c -o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_term_stack.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/arith_solver_codes.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices/arith_solver_codes.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_help.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_help.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_reval.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_reval.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/large_bvsets.c -o ../build/x86_64-alt-linux-release/obj/model/large_bvsets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/rb_bvsets.c -o ../build/x86_64-alt-linux-release/obj/model/rb_bvsets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/small_bvsets.c -o ../build/x86_64-alt-linux-release/obj/model/small_bvsets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c scratch/booleq_table.c -o ../build/x86_64-alt-linux-release/obj/scratch/booleq_table.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c scratch/bool_vartable.c -o ../build/x86_64-alt-linux-release/obj/scratch/bool_vartable.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c scratch/update_graph.c -o ../build/x86_64-alt-linux-release/obj/scratch/update_graph.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvsolver_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvsolver_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/dimacs_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/bv/dimacs_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/gates_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/sat_solver.c -o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/sat_solver.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/smt_core_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/smt_core_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/idl_fw_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/idl_fw_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/rdl_fw_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/rdl_fw_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/funs/fun_solver_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/funs/fun_solver_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/dsolver_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/simplex/dsolver_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/simplex_printer.c -o ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex_printer.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/simplex_prop_table.c -o ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex_prop_table.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/arith_buffers.c -o ../build/x86_64-alt-linux-release/obj/terms/arith_buffers.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/command_line.c -o ../build/x86_64-alt-linux-release/obj/utils/command_line.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/cputime.c -o ../build/x86_64-alt-linux-release/obj/utils/cputime.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/memsize.c -o ../build/x86_64-alt-linux-release/obj/utils/memsize.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/pair_hash_map.c -o ../build/x86_64-alt-linux-release/obj/utils/pair_hash_map.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/pair_hash_sets.c -o ../build/x86_64-alt-linux-release/obj/utils/pair_hash_sets.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/string_hash_map.c -o ../build/x86_64-alt-linux-release/obj/utils/string_hash_map.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/tag_map.c -o ../build/x86_64-alt-linux-release/obj/utils/tag_map.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/timeout.c -o ../build/x86_64-alt-linux-release/obj/utils/timeout.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/union_find.c -o ../build/x86_64-alt-linux-release/obj/utils/union_find.o x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_version.c -o ../build/x86_64-alt-linux-release/obj/api/yices_version.o ar cr ../build/x86_64-alt-linux-release/lib/libyices.a ../build/x86_64-alt-linux-release/obj/api/context_config.o ../build/x86_64-alt-linux-release/obj/api/search_parameters.o ../build/x86_64-alt-linux-release/obj/api/smt_logic_codes.o ../build/x86_64-alt-linux-release/obj/api/yices_api.o ../build/x86_64-alt-linux-release/obj/api/yices_error.o ../build/x86_64-alt-linux-release/obj/api/yval.o ../build/x86_64-alt-linux-release/obj/context/conditional_definitions.o ../build/x86_64-alt-linux-release/obj/context/context.o ../build/x86_64-alt-linux-release/obj/context/context_simplifier.o ../build/x86_64-alt-linux-release/obj/context/context_solver.o ../build/x86_64-alt-linux-release/obj/context/context_statistics.o ../build/x86_64-alt-linux-release/obj/context/eq_abstraction.o ../build/x86_64-alt-linux-release/obj/context/eq_learner.o ../build/x86_64-alt-linux-release/obj/context/internalization_table.o ../build/x86_64-alt-linux-release/obj/context/pseudo_subst.o ../build/x86_64-alt-linux-release/obj/context/symmetry_breaking.o ../build/x86_64-alt-linux-release/obj/exists_forall/ef_analyze.o ../build/x86_64-alt-linux-release/obj/exists_forall/ef_problem.o ../build/x86_64-alt-linux-release/obj/exists_forall/efsolver.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/attribute_values.o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_lexer.o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_parser.o ../build/x86_64-alt-linux-release/obj/io/concrete_value_printer.o ../build/x86_64-alt-linux-release/obj/io/model_printer.o ../build/x86_64-alt-linux-release/obj/io/pretty_printer.o ../build/x86_64-alt-linux-release/obj/io/reader.o ../build/x86_64-alt-linux-release/obj/io/term_printer.o ../build/x86_64-alt-linux-release/obj/io/tracer.o ../build/x86_64-alt-linux-release/obj/io/type_printer.o ../build/x86_64-alt-linux-release/obj/io/yices_pp.o ../build/x86_64-alt-linux-release/obj/io/writer.o ../build/x86_64-alt-linux-release/obj/model/abstract_values.o ../build/x86_64-alt-linux-release/obj/model/arith_projection.o ../build/x86_64-alt-linux-release/obj/model/concrete_values.o ../build/x86_64-alt-linux-release/obj/model/fresh_value_maker.o ../build/x86_64-alt-linux-release/obj/model/fun_maps.o ../build/x86_64-alt-linux-release/obj/model/fun_trees.o ../build/x86_64-alt-linux-release/obj/model/generalization.o ../build/x86_64-alt-linux-release/obj/model/literal_collector.o ../build/x86_64-alt-linux-release/obj/model/map_to_model.o ../build/x86_64-alt-linux-release/obj/model/model_eval.o ../build/x86_64-alt-linux-release/obj/model/model_queries.o ../build/x86_64-alt-linux-release/obj/model/models.o ../build/x86_64-alt-linux-release/obj/model/projection.o ../build/x86_64-alt-linux-release/obj/model/term_to_val.o ../build/x86_64-alt-linux-release/obj/model/val_to_term.o ../build/x86_64-alt-linux-release/obj/parser_utils/lexer.o ../build/x86_64-alt-linux-release/obj/parser_utils/parser.o ../build/x86_64-alt-linux-release/obj/parser_utils/term_stack2.o ../build/x86_64-alt-linux-release/obj/parser_utils/term_stack_error.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bit_blaster.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv64_intervals.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_atomtable.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvconst_hmap.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvexp_table.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_intervals.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvpoly_compiler.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvpoly_dag.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvsolver.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_vartable.o ../build/x86_64-alt-linux-release/obj/solvers/bv/merge_table.o ../build/x86_64-alt-linux-release/obj/solvers/bv/remap_table.o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_hash_table.o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_manager.o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/smt_core.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/composites.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/diseq_stacks.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_assertion_queues.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_explanations.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_utils.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/theory_explanations.o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/dl_vartable.o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o ../build/x86_64-alt-linux-release/obj/solvers/funs/fun_solver.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/arith_atomtable.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/arith_vartable.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/diophantine_systems.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/matrices.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/offset_equalities.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex.o ../build/x86_64-alt-linux-release/obj/terms/balanced_arith_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bit_expr.o ../build/x86_64-alt-linux-release/obj/terms/bit_term_conversion.o ../build/x86_64-alt-linux-release/obj/terms/bv64_constants.o ../build/x86_64-alt-linux-release/obj/terms/bv64_polynomials.o ../build/x86_64-alt-linux-release/obj/terms/bvarith64_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bvarith64_buffer_terms.o ../build/x86_64-alt-linux-release/obj/terms/bvarith_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bvarith_buffer_terms.o ../build/x86_64-alt-linux-release/obj/terms/bv_constants.o ../build/x86_64-alt-linux-release/obj/terms/bvlogic_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bvpoly_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bv_polynomials.o ../build/x86_64-alt-linux-release/obj/terms/conditionals.o ../build/x86_64-alt-linux-release/obj/terms/elim_subst.o ../build/x86_64-alt-linux-release/obj/terms/extended_rationals.o ../build/x86_64-alt-linux-release/obj/terms/free_var_collector.o ../build/x86_64-alt-linux-release/obj/terms/full_subst.o ../build/x86_64-alt-linux-release/obj/terms/mpq_aux.o ../build/x86_64-alt-linux-release/obj/terms/poly_buffer.o ../build/x86_64-alt-linux-release/obj/terms/poly_buffer_terms.o ../build/x86_64-alt-linux-release/obj/terms/polynomials.o ../build/x86_64-alt-linux-release/obj/terms/power_products.o ../build/x86_64-alt-linux-release/obj/terms/pprod_table.o ../build/x86_64-alt-linux-release/obj/terms/rational_hash_maps.o ../build/x86_64-alt-linux-release/obj/terms/rationals.o ../build/x86_64-alt-linux-release/obj/terms/rba_buffer_terms.o ../build/x86_64-alt-linux-release/obj/terms/renaming_context.o ../build/x86_64-alt-linux-release/obj/terms/subst_cache.o ../build/x86_64-alt-linux-release/obj/terms/subst_context.o ../build/x86_64-alt-linux-release/obj/terms/term_explorer.o ../build/x86_64-alt-linux-release/obj/terms/term_manager.o ../build/x86_64-alt-linux-release/obj/terms/terms.o ../build/x86_64-alt-linux-release/obj/terms/term_sets.o ../build/x86_64-alt-linux-release/obj/terms/term_substitution.o ../build/x86_64-alt-linux-release/obj/terms/term_utils.o ../build/x86_64-alt-linux-release/obj/terms/types.o ../build/x86_64-alt-linux-release/obj/terms/variable_renaming.o ../build/x86_64-alt-linux-release/obj/utils/arena.o ../build/x86_64-alt-linux-release/obj/utils/backtrack_arrays.o ../build/x86_64-alt-linux-release/obj/utils/cache.o ../build/x86_64-alt-linux-release/obj/utils/csets.o ../build/x86_64-alt-linux-release/obj/utils/dep_tables.o ../build/x86_64-alt-linux-release/obj/utils/gcd.o ../build/x86_64-alt-linux-release/obj/utils/generic_heap.o ../build/x86_64-alt-linux-release/obj/utils/hash_functions.o ../build/x86_64-alt-linux-release/obj/utils/index_vectors.o ../build/x86_64-alt-linux-release/obj/utils/int_array_hsets.o ../build/x86_64-alt-linux-release/obj/utils/int_array_sort2.o ../build/x86_64-alt-linux-release/obj/utils/int_array_sort.o ../build/x86_64-alt-linux-release/obj/utils/int_bags.o ../build/x86_64-alt-linux-release/obj/utils/int_bv_sets.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_classes.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_map2.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_map.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_sets.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_tables.o ../build/x86_64-alt-linux-release/obj/utils/int_heap2.o ../build/x86_64-alt-linux-release/obj/utils/int_heap.o ../build/x86_64-alt-linux-release/obj/utils/int_partitions.o ../build/x86_64-alt-linux-release/obj/utils/int_powers.o ../build/x86_64-alt-linux-release/obj/utils/int_queues.o ../build/x86_64-alt-linux-release/obj/utils/int_stack.o ../build/x86_64-alt-linux-release/obj/utils/int_vectors.o ../build/x86_64-alt-linux-release/obj/utils/mark_vectors.o ../build/x86_64-alt-linux-release/obj/utils/memalloc.o ../build/x86_64-alt-linux-release/obj/utils/object_stores.o ../build/x86_64-alt-linux-release/obj/utils/pair_hash_map2.o ../build/x86_64-alt-linux-release/obj/utils/pointer_vectors.o ../build/x86_64-alt-linux-release/obj/utils/ptr_array_sort2.o ../build/x86_64-alt-linux-release/obj/utils/ptr_array_sort.o ../build/x86_64-alt-linux-release/obj/utils/ptr_hash_classes.o ../build/x86_64-alt-linux-release/obj/utils/ptr_hash_map.o ../build/x86_64-alt-linux-release/obj/utils/ptr_heap.o ../build/x86_64-alt-linux-release/obj/utils/ptr_partitions.o ../build/x86_64-alt-linux-release/obj/utils/ptr_queues.o ../build/x86_64-alt-linux-release/obj/utils/ptr_sets.o ../build/x86_64-alt-linux-release/obj/utils/ptr_stack.o ../build/x86_64-alt-linux-release/obj/utils/ptr_vectors.o ../build/x86_64-alt-linux-release/obj/utils/refcount_int_arrays.o ../build/x86_64-alt-linux-release/obj/utils/refcount_strings.o ../build/x86_64-alt-linux-release/obj/utils/simple_cache.o ../build/x86_64-alt-linux-release/obj/utils/sparse_arrays.o ../build/x86_64-alt-linux-release/obj/utils/stable_sort.o ../build/x86_64-alt-linux-release/obj/utils/string_buffers.o ../build/x86_64-alt-linux-release/obj/utils/string_utils.o ../build/x86_64-alt-linux-release/obj/utils/symbol_tables.o ../build/x86_64-alt-linux-release/obj/utils/tuple_hash_map.o ../build/x86_64-alt-linux-release/obj/utils/uint_rbtrees.o ../build/x86_64-alt-linux-release/obj/utils/use_vectors.o ../build/x86_64-alt-linux-release/obj/context/context_printer.o ../build/x86_64-alt-linux-release/obj/context/dump_context.o ../build/x86_64-alt-linux-release/obj/context/internalization_printer.o ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_lexer.o ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_parser.o ../build/x86_64-alt-linux-release/obj/frontend/smt1/smt_term_stack.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/parenthesized_expr.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_commands.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_expressions.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_lexer.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_model_printer.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_parser.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_printer.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/smt2_term_stack.o ../build/x86_64-alt-linux-release/obj/frontend/yices/arith_solver_codes.o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_help.o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_reval.o ../build/x86_64-alt-linux-release/obj/model/large_bvsets.o ../build/x86_64-alt-linux-release/obj/model/rb_bvsets.o ../build/x86_64-alt-linux-release/obj/model/small_bvsets.o ../build/x86_64-alt-linux-release/obj/scratch/booleq_table.o ../build/x86_64-alt-linux-release/obj/scratch/bool_vartable.o ../build/x86_64-alt-linux-release/obj/scratch/update_graph.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvsolver_printer.o ../build/x86_64-alt-linux-release/obj/solvers/bv/dimacs_printer.o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_printer.o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/sat_solver.o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/smt_core_printer.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_printer.o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/idl_fw_printer.o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/rdl_fw_printer.o ../build/x86_64-alt-linux-release/obj/solvers/funs/fun_solver_printer.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/dsolver_printer.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex_printer.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex_prop_table.o ../build/x86_64-alt-linux-release/obj/terms/arith_buffers.o ../build/x86_64-alt-linux-release/obj/utils/command_line.o ../build/x86_64-alt-linux-release/obj/utils/cputime.o ../build/x86_64-alt-linux-release/obj/utils/memsize.o ../build/x86_64-alt-linux-release/obj/utils/pair_hash_map.o ../build/x86_64-alt-linux-release/obj/utils/pair_hash_sets.o ../build/x86_64-alt-linux-release/obj/utils/string_hash_map.o ../build/x86_64-alt-linux-release/obj/utils/tag_map.o ../build/x86_64-alt-linux-release/obj/utils/timeout.o ../build/x86_64-alt-linux-release/obj/utils/union_find.o ../build/x86_64-alt-linux-release/obj/api/yices_version.o ranlib ../build/x86_64-alt-linux-release/lib/libyices.a x86_64-alt-linux-gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -shared -o ../build/x86_64-alt-linux-release/lib/libyices.so.2.3.0 \ -Wl,-soname,libyices.so.2.3 -Wl,--no-undefined \ ../build/x86_64-alt-linux-release/obj/api/context_config.o ../build/x86_64-alt-linux-release/obj/api/search_parameters.o ../build/x86_64-alt-linux-release/obj/api/smt_logic_codes.o ../build/x86_64-alt-linux-release/obj/api/yices_api.o ../build/x86_64-alt-linux-release/obj/api/yices_error.o ../build/x86_64-alt-linux-release/obj/api/yval.o ../build/x86_64-alt-linux-release/obj/context/conditional_definitions.o ../build/x86_64-alt-linux-release/obj/context/context.o ../build/x86_64-alt-linux-release/obj/context/context_simplifier.o ../build/x86_64-alt-linux-release/obj/context/context_solver.o ../build/x86_64-alt-linux-release/obj/context/context_statistics.o ../build/x86_64-alt-linux-release/obj/context/eq_abstraction.o ../build/x86_64-alt-linux-release/obj/context/eq_learner.o ../build/x86_64-alt-linux-release/obj/context/internalization_table.o ../build/x86_64-alt-linux-release/obj/context/pseudo_subst.o ../build/x86_64-alt-linux-release/obj/context/symmetry_breaking.o ../build/x86_64-alt-linux-release/obj/exists_forall/ef_analyze.o ../build/x86_64-alt-linux-release/obj/exists_forall/ef_problem.o ../build/x86_64-alt-linux-release/obj/exists_forall/efsolver.o ../build/x86_64-alt-linux-release/obj/frontend/smt2/attribute_values.o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_lexer.o ../build/x86_64-alt-linux-release/obj/frontend/yices/yices_parser.o ../build/x86_64-alt-linux-release/obj/io/concrete_value_printer.o ../build/x86_64-alt-linux-release/obj/io/model_printer.o ../build/x86_64-alt-linux-release/obj/io/pretty_printer.o ../build/x86_64-alt-linux-release/obj/io/reader.o ../build/x86_64-alt-linux-release/obj/io/term_printer.o ../build/x86_64-alt-linux-release/obj/io/tracer.o ../build/x86_64-alt-linux-release/obj/io/type_printer.o ../build/x86_64-alt-linux-release/obj/io/yices_pp.o ../build/x86_64-alt-linux-release/obj/io/writer.o ../build/x86_64-alt-linux-release/obj/model/abstract_values.o ../build/x86_64-alt-linux-release/obj/model/arith_projection.o ../build/x86_64-alt-linux-release/obj/model/concrete_values.o ../build/x86_64-alt-linux-release/obj/model/fresh_value_maker.o ../build/x86_64-alt-linux-release/obj/model/fun_maps.o ../build/x86_64-alt-linux-release/obj/model/fun_trees.o ../build/x86_64-alt-linux-release/obj/model/generalization.o ../build/x86_64-alt-linux-release/obj/model/literal_collector.o ../build/x86_64-alt-linux-release/obj/model/map_to_model.o ../build/x86_64-alt-linux-release/obj/model/model_eval.o ../build/x86_64-alt-linux-release/obj/model/model_queries.o ../build/x86_64-alt-linux-release/obj/model/models.o ../build/x86_64-alt-linux-release/obj/model/projection.o ../build/x86_64-alt-linux-release/obj/model/term_to_val.o ../build/x86_64-alt-linux-release/obj/model/val_to_term.o ../build/x86_64-alt-linux-release/obj/parser_utils/lexer.o ../build/x86_64-alt-linux-release/obj/parser_utils/parser.o ../build/x86_64-alt-linux-release/obj/parser_utils/term_stack2.o ../build/x86_64-alt-linux-release/obj/parser_utils/term_stack_error.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bit_blaster.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv64_intervals.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_atomtable.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvconst_hmap.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvexp_table.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_intervals.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvpoly_compiler.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvpoly_dag.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bvsolver.o ../build/x86_64-alt-linux-release/obj/solvers/bv/bv_vartable.o ../build/x86_64-alt-linux-release/obj/solvers/bv/merge_table.o ../build/x86_64-alt-linux-release/obj/solvers/bv/remap_table.o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_hash_table.o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/gates_manager.o ../build/x86_64-alt-linux-release/obj/solvers/cdcl/smt_core.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/composites.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/diseq_stacks.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_assertion_queues.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_explanations.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/egraph_utils.o ../build/x86_64-alt-linux-release/obj/solvers/egraph/theory_explanations.o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/dl_vartable.o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o ../build/x86_64-alt-linux-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o ../build/x86_64-alt-linux-release/obj/solvers/funs/fun_solver.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/arith_atomtable.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/arith_vartable.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/diophantine_systems.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/matrices.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/offset_equalities.o ../build/x86_64-alt-linux-release/obj/solvers/simplex/simplex.o ../build/x86_64-alt-linux-release/obj/terms/balanced_arith_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bit_expr.o ../build/x86_64-alt-linux-release/obj/terms/bit_term_conversion.o ../build/x86_64-alt-linux-release/obj/terms/bv64_constants.o ../build/x86_64-alt-linux-release/obj/terms/bv64_polynomials.o ../build/x86_64-alt-linux-release/obj/terms/bvarith64_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bvarith64_buffer_terms.o ../build/x86_64-alt-linux-release/obj/terms/bvarith_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bvarith_buffer_terms.o ../build/x86_64-alt-linux-release/obj/terms/bv_constants.o ../build/x86_64-alt-linux-release/obj/terms/bvlogic_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bvpoly_buffers.o ../build/x86_64-alt-linux-release/obj/terms/bv_polynomials.o ../build/x86_64-alt-linux-release/obj/terms/conditionals.o ../build/x86_64-alt-linux-release/obj/terms/elim_subst.o ../build/x86_64-alt-linux-release/obj/terms/extended_rationals.o ../build/x86_64-alt-linux-release/obj/terms/free_var_collector.o ../build/x86_64-alt-linux-release/obj/terms/full_subst.o ../build/x86_64-alt-linux-release/obj/terms/mpq_aux.o ../build/x86_64-alt-linux-release/obj/terms/poly_buffer.o ../build/x86_64-alt-linux-release/obj/terms/poly_buffer_terms.o ../build/x86_64-alt-linux-release/obj/terms/polynomials.o ../build/x86_64-alt-linux-release/obj/terms/power_products.o ../build/x86_64-alt-linux-release/obj/terms/pprod_table.o ../build/x86_64-alt-linux-release/obj/terms/rational_hash_maps.o ../build/x86_64-alt-linux-release/obj/terms/rationals.o ../build/x86_64-alt-linux-release/obj/terms/rba_buffer_terms.o ../build/x86_64-alt-linux-release/obj/terms/renaming_context.o ../build/x86_64-alt-linux-release/obj/terms/subst_cache.o ../build/x86_64-alt-linux-release/obj/terms/subst_context.o ../build/x86_64-alt-linux-release/obj/terms/term_explorer.o ../build/x86_64-alt-linux-release/obj/terms/term_manager.o ../build/x86_64-alt-linux-release/obj/terms/terms.o ../build/x86_64-alt-linux-release/obj/terms/term_sets.o ../build/x86_64-alt-linux-release/obj/terms/term_substitution.o ../build/x86_64-alt-linux-release/obj/terms/term_utils.o ../build/x86_64-alt-linux-release/obj/terms/types.o ../build/x86_64-alt-linux-release/obj/terms/variable_renaming.o ../build/x86_64-alt-linux-release/obj/utils/arena.o ../build/x86_64-alt-linux-release/obj/utils/backtrack_arrays.o ../build/x86_64-alt-linux-release/obj/utils/cache.o ../build/x86_64-alt-linux-release/obj/utils/csets.o ../build/x86_64-alt-linux-release/obj/utils/dep_tables.o ../build/x86_64-alt-linux-release/obj/utils/gcd.o ../build/x86_64-alt-linux-release/obj/utils/generic_heap.o ../build/x86_64-alt-linux-release/obj/utils/hash_functions.o ../build/x86_64-alt-linux-release/obj/utils/index_vectors.o ../build/x86_64-alt-linux-release/obj/utils/int_array_hsets.o ../build/x86_64-alt-linux-release/obj/utils/int_array_sort2.o ../build/x86_64-alt-linux-release/obj/utils/int_array_sort.o ../build/x86_64-alt-linux-release/obj/utils/int_bags.o ../build/x86_64-alt-linux-release/obj/utils/int_bv_sets.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_classes.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_map2.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_map.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_sets.o ../build/x86_64-alt-linux-release/obj/utils/int_hash_tables.o ../build/x86_64-alt-linux-release/obj/utils/int_heap2.o ../build/x86_64-alt-linux-release/obj/utils/int_heap.o ../build/x86_64-alt-linux-release/obj/utils/int_partitions.o ../build/x86_64-alt-linux-release/obj/utils/int_powers.o ../build/x86_64-alt-linux-release/obj/utils/int_queues.o ../build/x86_64-alt-linux-release/obj/utils/int_stack.o ../build/x86_64-alt-linux-release/obj/utils/int_vectors.o ../build/x86_64-alt-linux-release/obj/utils/mark_vectors.o ../build/x86_64-alt-linux-release/obj/utils/memalloc.o ../build/x86_64-alt-linux-release/obj/utils/object_stores.o ../build/x86_64-alt-linux-release/obj/utils/pair_hash_map2.o ../build/x86_64-alt-linux-release/obj/utils/pointer_vectors.o ../build/x86_64-alt-linux-release/obj/utils/ptr_array_sort2.o ../build/x86_64-alt-linux-release/obj/utils/ptr_array_sort.o ../build/x86_64-alt-linux-release/obj/utils/ptr_hash_classes.o ../build/x86_64-alt-linux-release/obj/utils/ptr_hash_map.o ../build/x86_64-alt-linux-release/obj/utils/ptr_heap.o ../build/x86_64-alt-linux-release/obj/utils/ptr_partitions.o ../build/x86_64-alt-linux-release/obj/utils/ptr_queues.o ../build/x86_64-alt-linux-release/obj/utils/ptr_sets.o ../build/x86_64-alt-linux-release/obj/utils/ptr_stack.o ../build/x86_64-alt-linux-release/obj/utils/ptr_vectors.o ../build/x86_64-alt-linux-release/obj/utils/refcount_int_arrays.o ../build/x86_64-alt-linux-release/obj/utils/refcount_strings.o ../build/x86_64-alt-linux-release/obj/utils/simple_cache.o ../build/x86_64-alt-linux-release/obj/utils/sparse_arrays.o ../build/x86_64-alt-linux-release/obj/utils/stable_sort.o ../build/x86_64-alt-linux-release/obj/utils/string_buffers.o ../build/x86_64-alt-linux-release/obj/utils/string_utils.o ../build/x86_64-alt-linux-release/obj/utils/symbol_tables.o ../build/x86_64-alt-linux-release/obj/utils/tuple_hash_map.o ../build/x86_64-alt-linux-release/obj/utils/uint_rbtrees.o ../build/x86_64-alt-linux-release/obj/utils/use_vectors.o ../build/x86_64-alt-linux-release/obj/api/yices_version.o -lgmp -lc In function 'map_arith_constant_to_eterm', inlined from 'internalize_to_eterm' at context/context.c:1616:13: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ context/context.c:458:7: note: called from here 458 | if (q_is_integer(q)) { | ^ In function 'pp_mono', inlined from 'pp_poly' at io/term_printer.c:1908:7, inlined from 'pp_term_idx' at io/term_printer.c:2155:5: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ io/term_printer.c:1880:14: note: called from here 1880 | } else if (q_is_one(coeff)) { | ^ In function 'integralpoly_after_div', inlined from 'try_poly_substitution' at context/context.c:2380:23, inlined from 'try_arithvar_elim' at context/context.c:2480:7, inlined from 'assert_toplevel_arith_eq' at context/context.c:3005:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context.c:2350:7: note: called from here 2350 | if (q_is_one(a) || q_is_minus_one(a)) { | ^ In function 'analyze_eq', inlined from 'composite_simplifies' at solvers/egraph/egraph.c:2159:12: solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1822:5: note: called from here 1822 | add_eq_implies_eq(egraph, p, true_occ, t1, t2); | ^ solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1828:5: note: called from here 1828 | add_eq_implies_eq(egraph, p, false_occ, t1, opposite_occ(t2)); | ^ In function 'analyze_ite', inlined from 'composite_simplifies' at solvers/egraph/egraph.c:2162:12: solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1899:5: note: called from here 1899 | add_eq_implies_eq(egraph, p, t2, t1, true_occ); | ^ solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1905:5: note: called from here 1905 | add_eq_implies_eq(egraph, p, t3, t1, false_occ); | ^ solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1913:5: note: called from here 1913 | add_eq_implies_eq(egraph, p, t2, t2, t3); | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'rdl_create_poly' at solvers/floyd_warshall/rdl_floyd_warshall.c:2413:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:574:9: note: called from here 574 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'idl_create_poly' at solvers/floyd_warshall/idl_floyd_warshall.c:2190:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:574:9: note: called from here 574 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:732:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:736:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'eqprop_set_relevance' at solvers/simplex/simplex.c:1202:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ ./terms/rationals.h: In function 'check_dl_poly_buffer.isra': ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2632:9: note: called from here 2632 | if (q_is_one(&q[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2637:9: note: called from here 2637 | if (q_is_one(&q[1].coeff)) { | ^ In function 'gauss_elim_simple_row', inlined from 'gaussian_elimination' at solvers/simplex/matrices.c:2526:7, inlined from 'simplify_matrix' at solvers/simplex/matrices.c:2574:3, inlined from 'simplex_simplify_matrix' at solvers/simplex/simplex.c:3295:3, inlined from 'simplex_start_search' at solvers/simplex/simplex.c:7189:3, inlined from 'simplex_start_search' at solvers/simplex/simplex.c:7146:6: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ solvers/simplex/matrices.c:2364:24: note: called from here 2364 | if (!y_is_int || q_is_integer(&row0->data[k].coeff)) { | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'simplex_propagate_equalities' at solvers/simplex/simplex.c:1462:44, inlined from 'simplex_propagate' at solvers/simplex/simplex.c:7328:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ In function 'bvconst_clear', inlined from 'bv_compiler_mk_zero' at solvers/bv/bvpoly_compiler.c:367:5, inlined from 'bvc_process_zero' at solvers/bv/bvpoly_compiler.c:1004:7, inlined from 'bvc_process_elem_node' at solvers/bv/bvpoly_compiler.c:1015:5: terms/bv_constants.c:383:11: warning: '__builtin_memset' writing between 36 and 536870908 bytes into a region of size 32 overflows the destination [-Wstringop-overflow=] 383 | *bv++ = 0; | ^ solvers/bv/bvpoly_compiler.c: In function 'bvc_process_elem_node': solvers/bv/bvpoly_compiler.c:352:12: note: destination object 'aux' of size 32 352 | uint32_t aux[8]; | ^ echo -x ../build/x86_64-alt-linux-release/lib/libyices.so.2.3.0 -x ../build/x86_64-alt-linux-release/lib/libyices.so.2.3.0 make[2]: Leaving directory '/usr/src/RPM/BUILD/yices-2.3.0/src' make[1]: Leaving directory '/usr/src/RPM/BUILD/yices-2.3.0' Mode: release Platform: x86_64-alt-linux make[1]: Entering directory '/usr/src/RPM/BUILD/yices-2.3.0' ./utils/make_source_version ./src/api/yices_version_template.txt src/api/yices_version.c 2.3.0 release x86_64-alt-linux === Building binaries === make[2]: Entering directory '/usr/src/RPM/BUILD/yices-2.3.0/src' x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_main.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices_main.o x86_64-alt-linux-gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector \ -o ../build/x86_64-alt-linux-release/bin/yices_main ../build/x86_64-alt-linux-release/obj/frontend/yices_main.o ../build/x86_64-alt-linux-release/lib/libyices.a -lgmp In function 'analyze_ite', inlined from 'composite_simplifies' at solvers/egraph/egraph.c:2162:12: solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1899:5: note: called from here 1899 | add_eq_implies_eq(egraph, p, t2, t1, true_occ); | ^ solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1905:5: note: called from here 1905 | add_eq_implies_eq(egraph, p, t3, t1, false_occ); | ^ In function 'pp_mono', inlined from 'pp_poly' at io/term_printer.c:1908:7, inlined from 'pp_term_idx' at io/term_printer.c:2155:5: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ io/term_printer.c:1880:14: note: called from here 1880 | } else if (q_is_one(coeff)) { | ^ In function 'integralpoly_after_div', inlined from 'try_poly_substitution' at context/context.c:2380:23, inlined from 'try_arithvar_elim' at context/context.c:2480:7, inlined from 'assert_toplevel_arith_eq' at context/context.c:3005:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context.c:2350:7: note: called from here 2350 | if (q_is_one(a) || q_is_minus_one(a)) { | ^ ./terms/rationals.h:394:20: warning: inlining failed in call to 'q_is_minus_one.isra': --param inline-unit-growth limit reached [-Winline] 394 | static inline bool q_is_minus_one(rational_t *r) { | ^ context/context.c:2350:22: note: called from here 2350 | if (q_is_one(a) || q_is_minus_one(a)) { | ^ ./terms/rationals.h: In function 'check_dl_poly_buffer.isra': ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2632:9: note: called from here 2632 | if (q_is_one(&q[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2637:9: note: called from here 2637 | if (q_is_one(&q[1].coeff)) { | ^ In function 'mk_arith_elim_poly', inlined from 'elim_subst_try_arith_elim' at terms/elim_subst.c:128:6, inlined from 'elim_subst_try_arith_eq0' at terms/elim_subst.c:154:12, inlined from 'elim_subst_try_map.constprop.isra' at terms/elim_subst.c:272:16: ./terms/rationals.h:394:20: warning: inlining failed in call to 'q_is_minus_one.isra': --param inline-unit-growth limit reached [-Winline] 394 | static inline bool q_is_minus_one(rational_t *r) { | ^ terms/term_manager.c:4867:7: note: called from here 4867 | if (q_is_minus_one(a)) { | ^ ./terms/rationals.h:394:20: warning: inlining failed in call to 'q_is_minus_one.isra': --param inline-unit-growth limit reached [-Winline] 394 | static inline bool q_is_minus_one(rational_t *r) { | ^ terms/term_manager.c:4867:7: note: called from here 4867 | if (q_is_minus_one(a)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/term_manager.c:4897:11: note: called from here 4897 | if (! q_is_one(a)) { | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'idl_create_poly' at solvers/floyd_warshall/idl_floyd_warshall.c:2190:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:732:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:736:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'eqprop_set_relevance' at solvers/simplex/simplex.c:1202:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'rdl_create_poly' at solvers/floyd_warshall/rdl_floyd_warshall.c:2413:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'simplex_propagate_equalities' at solvers/simplex/simplex.c:1462:44, inlined from 'simplex_propagate' at solvers/simplex/simplex.c:7328:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ In function 'bvconst_clear', inlined from 'bv_compiler_mk_zero' at solvers/bv/bvpoly_compiler.c:367:5, inlined from 'bvc_process_zero' at solvers/bv/bvpoly_compiler.c:1004:7, inlined from 'bvc_process_elem_node' at solvers/bv/bvpoly_compiler.c:1015:5: terms/bv_constants.c:383:11: warning: '__builtin_memset' writing between 36 and 536870908 bytes into a region of size 32 overflows the destination [-Wstringop-overflow=] 383 | *bv++ = 0; | ^ solvers/bv/bvpoly_compiler.c: In function 'bvc_process_elem_node': solvers/bv/bvpoly_compiler.c:352:12: note: destination object 'aux' of size 32 352 | uint32_t aux[8]; | ^ x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_sat.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices_sat.o x86_64-alt-linux-gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector \ -o ../build/x86_64-alt-linux-release/bin/yices_sat ../build/x86_64-alt-linux-release/obj/frontend/yices_sat.o ../build/x86_64-alt-linux-release/lib/libyices.a x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smt.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices_smt.o x86_64-alt-linux-gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector \ -o ../build/x86_64-alt-linux-release/bin/yices_smt ../build/x86_64-alt-linux-release/obj/frontend/yices_smt.o ../build/x86_64-alt-linux-release/lib/libyices.a -lgmp In function 'print_named_monomial', inlined from 'print_named_polynomial' at io/term_printer.c:1171:7, inlined from 'print_term_idx_desc' at io/term_printer.c:1486:5, inlined from 'print_term_desc' at io/term_printer.c:1513:5: ./terms/rationals.h:394:20: warning: inlining failed in call to 'q_is_minus_one.isra': --param inline-unit-growth limit reached [-Winline] 394 | static inline bool q_is_minus_one(rational_t *r) { | ^ io/term_printer.c:1142:15: note: called from here 1142 | abs_one = q_is_minus_one(coeff); | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ io/term_printer.c:1147:15: note: called from here 1147 | abs_one = q_is_one(coeff); | ^ In function 'pp_mono', inlined from 'pp_poly' at io/term_printer.c:1908:7, inlined from 'pp_term_idx' at io/term_printer.c:2155:5: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ io/term_printer.c:1880:14: note: called from here 1880 | } else if (q_is_one(coeff)) { | ^ In function 'print_mono_recur', inlined from 'print_polynomial_term' at io/term_printer.c:586:7, inlined from 'print_term_idx_recur' at io/term_printer.c:832:7: ./terms/rationals.h:394:20: warning: inlining failed in call to 'q_is_minus_one.isra': --param inline-unit-growth limit reached [-Winline] 394 | static inline bool q_is_minus_one(rational_t *r) { | ^ io/term_printer.c:557:15: note: called from here 557 | abs_one = q_is_minus_one(coeff); | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ io/term_printer.c:562:15: note: called from here 562 | abs_one = q_is_one(coeff); | ^ In function 'bvconst_clear', inlined from 'bv_compiler_mk_zero' at solvers/bv/bvpoly_compiler.c:367:5, inlined from 'bvc_process_zero' at solvers/bv/bvpoly_compiler.c:1004:7, inlined from 'bvc_process_elem_node' at solvers/bv/bvpoly_compiler.c:1015:5: terms/bv_constants.c:383:11: warning: '__builtin_memset' writing between 36 and 536870908 bytes into a region of size 32 overflows the destination [-Wstringop-overflow=] 383 | *bv++ = 0; | ^ solvers/bv/bvpoly_compiler.c: In function 'bvc_process_elem_node': solvers/bv/bvpoly_compiler.c:352:12: note: destination object 'aux' of size 32 352 | uint32_t aux[8]; | ^ In function 'ptr_array_sort2', inlined from 'sort_range_constraints' at context/symmetry_breaking.c:1804:5, inlined from 'collect_range_constraints' at context/symmetry_breaking.c:1834:3, inlined from 'break_uf_symmetries.constprop' at context/context_simplifier.c:3248:3: utils/ptr_array_sort2.c:35:20: warning: inlining failed in call to 'sort_ptr_array2': call is unlikely and code size would grow [-Winline] 35 | static inline void sort_ptr_array2(void **a, uint32_t n, void *data, ptr_cmp_fun_t cmp) { | ^ utils/ptr_array_sort2.c:84:3: note: called from here 84 | sort_ptr_array2(a, n, data, cmp); | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'eqprop_set_relevance' at solvers/simplex/simplex.c:1202:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:732:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:736:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'integralpoly_after_div', inlined from 'try_poly_substitution' at context/context.c:2380:23, inlined from 'try_arithvar_elim' at context/context.c:2480:7, inlined from 'assert_toplevel_arith_eq.constprop' at context/context.c:3005:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context.c:2350:7: note: called from here 2350 | if (q_is_one(a) || q_is_minus_one(a)) { | ^ ./terms/rationals.h:394:20: warning: inlining failed in call to 'q_is_minus_one.isra': --param inline-unit-growth limit reached [-Winline] 394 | static inline bool q_is_minus_one(rational_t *r) { | ^ context/context.c:2350:22: note: called from here 2350 | if (q_is_one(a) || q_is_minus_one(a)) { | ^ In function 'ptr_array_sort2', inlined from 'analyze_conditional_definitions' at context/conditional_definitions.c:1493:5, inlined from 'process_conditional_definitions.constprop' at context/context_simplifier.c:3314:5: utils/ptr_array_sort2.c:35:20: warning: inlining failed in call to 'sort_ptr_array2': call is unlikely and code size would grow [-Winline] 35 | static inline void sort_ptr_array2(void **a, uint32_t n, void *data, ptr_cmp_fun_t cmp) { | ^ utils/ptr_array_sort2.c:84:3: note: called from here 84 | sort_ptr_array2(a, n, data, cmp); | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'simplex_propagate_equalities' at solvers/simplex/simplex.c:1462:44, inlined from 'simplex_propagate' at solvers/simplex/simplex.c:7328:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ In function 'analyze_ite', inlined from 'composite_simplifies' at solvers/egraph/egraph.c:2162:12: solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1899:5: note: called from here 1899 | add_eq_implies_eq(egraph, p, t2, t1, true_occ); | ^ solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1905:5: note: called from here 1905 | add_eq_implies_eq(egraph, p, t3, t1, false_occ); | ^ ./terms/rationals.h: In function 'check_dl_poly_buffer.constprop.isra': ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2632:9: note: called from here 2632 | if (q_is_one(&q[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2637:9: note: called from here 2637 | if (q_is_one(&q[1].coeff)) { | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'idl_create_poly' at solvers/floyd_warshall/idl_floyd_warshall.c:2190:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'rdl_create_poly' at solvers/floyd_warshall/rdl_floyd_warshall.c:2413:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smt2.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices_smt2.o x86_64-alt-linux-gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector \ -o ../build/x86_64-alt-linux-release/bin/yices_smt2 ../build/x86_64-alt-linux-release/obj/frontend/yices_smt2.o ../build/x86_64-alt-linux-release/lib/libyices.a -lgmp In function 'set_uint32_option', inlined from 'smt2_set_option' at frontend/smt2/smt2_commands.c:3439:5: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ frontend/smt2/smt2_commands.c:1780:50: note: called from here 1780 | if (aval_is_rational(g->avtbl, value, &aux) && q_is_integer(&aux)) { | ^ In function 'set_verbosity', inlined from 'smt2_set_option' at frontend/smt2/smt2_commands.c:3444:5: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ frontend/smt2/smt2_commands.c:1875:50: note: called from here 1875 | if (aval_is_rational(g->avtbl, value, &aux) && q_is_integer(&aux)) { | ^ In function 'pp_mono', inlined from 'pp_poly' at io/term_printer.c:1908:7, inlined from 'pp_term_idx' at io/term_printer.c:2155:5: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ io/term_printer.c:1880:14: note: called from here 1880 | } else if (q_is_one(coeff)) { | ^ In function 'analyze_eq', inlined from 'composite_simplifies' at solvers/egraph/egraph.c:2159:12: solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1822:5: note: called from here 1822 | add_eq_implies_eq(egraph, p, true_occ, t1, t2); | ^ solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1828:5: note: called from here 1828 | add_eq_implies_eq(egraph, p, false_occ, t1, opposite_occ(t2)); | ^ In function 'analyze_ite', inlined from 'composite_simplifies' at solvers/egraph/egraph.c:2162:12: solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1899:5: note: called from here 1899 | add_eq_implies_eq(egraph, p, t2, t1, true_occ); | ^ solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1905:5: note: called from here 1905 | add_eq_implies_eq(egraph, p, t3, t1, false_occ); | ^ solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1913:5: note: called from here 1913 | add_eq_implies_eq(egraph, p, t2, t2, t3); | ^ In function 'map_arith_constant_to_eterm', inlined from 'internalize_to_eterm' at context/context.c:1616:13: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ context/context.c:458:7: note: called from here 458 | if (q_is_integer(q)) { | ^ In function 'integralpoly_after_div', inlined from 'try_poly_substitution' at context/context.c:2380:23, inlined from 'try_arithvar_elim' at context/context.c:2480:7, inlined from 'assert_toplevel_arith_eq' at context/context.c:3005:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context.c:2350:7: note: called from here 2350 | if (q_is_one(a) || q_is_minus_one(a)) { | ^ In function 'q_divides', inlined from 'integralpoly_after_div' at context/context.c:2356:11, inlined from 'try_poly_substitution' at context/context.c:2380:23, inlined from 'try_arithvar_elim' at context/context.c:2480:7, inlined from 'assert_toplevel_arith_eq' at context/context.c:3005:9: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ terms/rationals.c:1462:13: note: called from here 1462 | divides = q_is_integer(&aux); | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'eqprop_set_relevance' at solvers/simplex/simplex.c:1202:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1136:13: note: called from here 1136 | return (q_is_one(&mono[0].coeff) && q_is_minus_one(&mono[1].coeff)) | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ In function 'bvconst_clear', inlined from 'bv_compiler_mk_zero' at solvers/bv/bvpoly_compiler.c:367:5, inlined from 'bvc_process_zero' at solvers/bv/bvpoly_compiler.c:1004:7, inlined from 'bvc_process_elem_node' at solvers/bv/bvpoly_compiler.c:1015:5: terms/bv_constants.c:383:11: warning: '__builtin_memset' writing between 36 and 536870908 bytes into a region of size 32 overflows the destination [-Wstringop-overflow=] 383 | *bv++ = 0; | ^ solvers/bv/bvpoly_compiler.c: In function 'bvc_process_elem_node': solvers/bv/bvpoly_compiler.c:352:12: note: destination object 'aux' of size 32 352 | uint32_t aux[8]; | ^ In function 'is_non_integer_term', inlined from 'disequal_arith_terms' at terms/term_utils.c:700:34: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ terms/term_utils.c:678:50: note: called from here 678 | return term_kind(tbl, x) == ARITH_CONSTANT && !q_is_integer(rational_term_desc(tbl, x)); | ^ In function 'is_non_integer_term', inlined from 'disequal_arith_terms' at terms/term_utils.c:704:34: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ terms/term_utils.c:678:50: note: called from here 678 | return term_kind(tbl, x) == ARITH_CONSTANT && !q_is_integer(rational_term_desc(tbl, x)); | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:732:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:736:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'close_error', inlined from 'print_yices_error' at frontend/smt2/smt2_commands.c:1002:15: frontend/smt2/smt2_commands.c:696:20: warning: inlining failed in call to 'flush_out': call is unlikely and code size would grow [-Winline] 696 | static inline void flush_out(void) { | ^ frontend/smt2/smt2_commands.c:739:3: note: called from here 739 | flush_out(); | ^ frontend/smt2/smt2_commands.c: In function 'bad_status_bug': frontend/smt2/smt2_commands.c:696:20: warning: inlining failed in call to 'flush_out': call is unlikely and code size would grow [-Winline] 696 | static inline void flush_out(void) { | ^ frontend/smt2/smt2_commands.c:1374:3: note: called from here 1374 | flush_out(); | ^ In function 'stack_elem_has_type', inlined from 'check_topelem_type' at frontend/smt2/smt2_term_stack.c:1899:8, inlined from 'eval_smt2_sorted_indexed_apply' at frontend/smt2/smt2_term_stack.c:2056:3: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ frontend/smt2/smt2_term_stack.c:1855:58: note: called from here 1855 | return is_real_type(tau) || (is_integer_type(tau) && q_is_integer(&e->val.rational)); | ^ In function 'stack_elem_has_type', inlined from 'check_topelem_type' at frontend/smt2/smt2_term_stack.c:1899:8, inlined from 'eval_smt2_sorted_term' at frontend/smt2/smt2_term_stack.c:1960:3: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ frontend/smt2/smt2_term_stack.c:1855:58: note: called from here 1855 | return is_real_type(tau) || (is_integer_type(tau) && q_is_integer(&e->val.rational)); | ^ In function 'stack_elem_has_type', inlined from 'check_topelem_type' at frontend/smt2/smt2_term_stack.c:1899:8, inlined from 'eval_smt2_sorted_indexed_term' at frontend/smt2/smt2_term_stack.c:1986:3: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ frontend/smt2/smt2_term_stack.c:1855:58: note: called from here 1855 | return is_real_type(tau) || (is_integer_type(tau) && q_is_integer(&e->val.rational)); | ^ In function 'stack_elem_has_type', inlined from 'check_topelem_type' at frontend/smt2/smt2_term_stack.c:1899:8, inlined from 'eval_smt2_sorted_apply' at frontend/smt2/smt2_term_stack.c:2018:3: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ frontend/smt2/smt2_term_stack.c:1855:58: note: called from here 1855 | return is_real_type(tau) || (is_integer_type(tau) && q_is_integer(&e->val.rational)); | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'simplex_propagate_equalities' at solvers/simplex/simplex.c:1462:44, inlined from 'simplex_propagate' at solvers/simplex/simplex.c:7328:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'idl_create_poly' at solvers/floyd_warshall/idl_floyd_warshall.c:2190:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:574:9: note: called from here 574 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ In function 'gauss_elim_simple_row', inlined from 'gaussian_elimination' at solvers/simplex/matrices.c:2526:7, inlined from 'simplify_matrix' at solvers/simplex/matrices.c:2574:3, inlined from 'simplex_simplify_matrix' at solvers/simplex/simplex.c:3295:3, inlined from 'simplex_start_search' at solvers/simplex/simplex.c:7189:3, inlined from 'simplex_start_search' at solvers/simplex/simplex.c:7146:6: ./terms/rationals.h:415:20: warning: inlining failed in call to 'q_is_integer.isra': --param inline-unit-growth limit reached [-Winline] 415 | static inline bool q_is_integer(rational_t *r) { | ^ solvers/simplex/matrices.c:2364:24: note: called from here 2364 | if (!y_is_int || q_is_integer(&row0->data[k].coeff)) { | ^ In function 'close_error', inlined from 'smt2_tstack_error' at frontend/smt2/smt2_commands.c:1359:5, inlined from 'smt2_parse.constprop' at frontend/smt2/smt2_parser.c:807:5: frontend/smt2/smt2_commands.c:696:20: warning: inlining failed in call to 'flush_out': call is unlikely and code size would grow [-Winline] 696 | static inline void flush_out(void) { | ^ frontend/smt2/smt2_commands.c:739:3: note: called from here 739 | flush_out(); | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'rdl_create_poly' at solvers/floyd_warshall/rdl_floyd_warshall.c:2413:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:574:9: note: called from here 574 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ ./terms/rationals.h: In function 'check_dl_poly_buffer.isra': ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2632:9: note: called from here 2632 | if (q_is_one(&q[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2637:9: note: called from here 2637 | if (q_is_one(&q[1].coeff)) { | ^ x86_64-alt-linux-gcc -I. -Iinclude -DLINUX -DNDEBUG -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smtcomp.c -o ../build/x86_64-alt-linux-release/obj/frontend/yices_smtcomp.o x86_64-alt-linux-gcc -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC -fcommon -fvisibility=hidden -Wall -Winline -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector \ -o ../build/x86_64-alt-linux-release/bin/yices_smtcomp ../build/x86_64-alt-linux-release/obj/frontend/yices_smtcomp.o ../build/x86_64-alt-linux-release/lib/libyices.a -lgmp In function 'ptr_array_sort2', inlined from 'sort_range_constraints' at context/symmetry_breaking.c:1804:5, inlined from 'collect_range_constraints' at context/symmetry_breaking.c:1834:3, inlined from 'break_uf_symmetries.constprop' at context/context_simplifier.c:3248:3: utils/ptr_array_sort2.c:35:20: warning: inlining failed in call to 'sort_ptr_array2': call is unlikely and code size would grow [-Winline] 35 | static inline void sort_ptr_array2(void **a, uint32_t n, void *data, ptr_cmp_fun_t cmp) { | ^ utils/ptr_array_sort2.c:84:3: note: called from here 84 | sort_ptr_array2(a, n, data, cmp); | ^ In function 'analyze_ite', inlined from 'composite_simplifies' at solvers/egraph/egraph.c:2162:12: solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1899:5: note: called from here 1899 | add_eq_implies_eq(egraph, p, t2, t1, true_occ); | ^ solvers/egraph/egraph.c:1700:20: warning: inlining failed in call to 'add_eq_implies_eq.isra': --param inline-unit-growth limit reached [-Winline] 1700 | static inline void add_eq_implies_eq(egraph_t *egraph, composite_t *p, occ_t x, occ_t t1, occ_t t2) { | ^ solvers/egraph/egraph.c:1905:5: note: called from here 1905 | add_eq_implies_eq(egraph, p, t3, t1, false_occ); | ^ In function 'pp_mono', inlined from 'pp_poly' at io/term_printer.c:1908:7, inlined from 'pp_term_idx' at io/term_printer.c:2155:5: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ io/term_printer.c:1880:14: note: called from here 1880 | } else if (q_is_one(coeff)) { | ^ In function 'ptr_array_sort2', inlined from 'analyze_conditional_definitions' at context/conditional_definitions.c:1493:5, inlined from 'process_conditional_definitions.constprop' at context/context_simplifier.c:3314:5: utils/ptr_array_sort2.c:35:20: warning: inlining failed in call to 'sort_ptr_array2': call is unlikely and code size would grow [-Winline] 35 | static inline void sort_ptr_array2(void **a, uint32_t n, void *data, ptr_cmp_fun_t cmp) { | ^ utils/ptr_array_sort2.c:84:3: note: called from here 84 | sort_ptr_array2(a, n, data, cmp); | ^ ./terms/rationals.h: In function 'check_dl_poly_buffer.constprop.isra': ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2632:9: note: called from here 2632 | if (q_is_one(&q[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context_simplifier.c:2637:9: note: called from here 2637 | if (q_is_one(&q[1].coeff)) { | ^ In function 'integralpoly_after_div', inlined from 'try_poly_substitution' at context/context.c:2380:23, inlined from 'try_arithvar_elim' at context/context.c:2480:7, inlined from 'assert_toplevel_arith_eq.constprop' at context/context.c:3005:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ context/context.c:2350:7: note: called from here 2350 | if (q_is_one(a) || q_is_minus_one(a)) { | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'simplex_propagate_equalities' at solvers/simplex/simplex.c:1462:44, inlined from 'simplex_propagate' at solvers/simplex/simplex.c:7328:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'idl_create_poly' at solvers/floyd_warshall/idl_floyd_warshall.c:2190:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ In function 'convert_poly_buffer_to_dl_triple', inlined from 'rdl_create_poly' at solvers/floyd_warshall/rdl_floyd_warshall.c:2413:9: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:585:9: note: called from here 585 | if (q_is_one(&p[0].coeff)) { | ^ ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/floyd_warshall/dl_vartable.c:591:9: note: called from here 591 | if (q_is_one(&p[1].coeff)) { | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:732:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'polynomial_is_const_plus_var', inlined from 'disequal_arith_terms' at terms/term_utils.c:736:12: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ terms/polynomials.c:800:8: note: called from here 800 | && q_is_one(&p->mono[1].coeff); | ^ In function 'offset_poly', inlined from 'eqprop_relevant_var' at solvers/simplex/simplex.c:1166:25, inlined from 'eqprop_set_relevance' at solvers/simplex/simplex.c:1202:7: ./terms/rationals.h:389:20: warning: inlining failed in call to 'q_is_one.isra': --param inline-unit-growth limit reached [-Winline] 389 | static inline bool q_is_one(rational_t *r) { | ^ solvers/simplex/simplex.c:1137:45: note: called from here 1137 | || (q_is_minus_one(&mono[0].coeff) && q_is_one(&mono[1].coeff)); | ^ In function 'bvconst_clear', inlined from 'bv_compiler_mk_zero' at solvers/bv/bvpoly_compiler.c:367:5, inlined from 'bvc_process_zero' at solvers/bv/bvpoly_compiler.c:1004:7, inlined from 'bvc_process_elem_node' at solvers/bv/bvpoly_compiler.c:1015:5: terms/bv_constants.c:383:11: warning: '__builtin_memset' writing between 36 and 536870908 bytes into a region of size 32 overflows the destination [-Wstringop-overflow=] 383 | *bv++ = 0; | ^ solvers/bv/bvpoly_compiler.c: In function 'bvc_process_elem_node': solvers/bv/bvpoly_compiler.c:352:12: note: destination object 'aux' of size 32 352 | uint32_t aux[8]; | ^ make[2]: Leaving directory '/usr/src/RPM/BUILD/yices-2.3.0/src' make[1]: Leaving directory '/usr/src/RPM/BUILD/yices-2.3.0' make: Leaving directory '/usr/src/RPM/BUILD/yices-2.3.0' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.11554 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/yices-buildroot + : + /bin/rm -rf -- /usr/src/tmp/yices-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/usr/bin:/bin:/usr/local/bin:/usr/games + cd yices-2.3.0 + sed -i 's|/usr|/usr/src/tmp/yices-buildroot/usr|' configs/make.include.x86_64-alt-linux + make dist YICES_MAKE_INCLUDE=configs/make.include.x86_64-alt-linux ARCH=x86_64-alt-linux make: Entering directory '/usr/src/RPM/BUILD/yices-2.3.0' Mode: release Platform: x86_64-alt-linux make[1]: Entering directory '/usr/src/RPM/BUILD/yices-2.3.0' ./utils/make_source_version ./src/api/yices_version_template.txt src/api/yices_version.c 2.3.0 release x86_64-alt-linux /usr/src/tmp/yices-buildroot/usr/bin/mkdir -p build/x86_64-alt-linux-release/dist make[1]: /usr/src/tmp/yices-buildroot/usr/bin/mkdir: No such file or directory make[1]: *** [Makefile.build:326: build/x86_64-alt-linux-release/dist] Error 127 make[1]: Leaving directory '/usr/src/RPM/BUILD/yices-2.3.0' make: *** [Makefile:259: dist] Error 2 make: Leaving directory '/usr/src/RPM/BUILD/yices-2.3.0' error: Bad exit status from /usr/src/tmp/rpm-tmp.11554 (%install) RPM build errors: Bad exit status from /usr/src/tmp/rpm-tmp.11554 (%install) Command exited with non-zero status 1 265.19user 16.50system 1:12.57elapsed 388%CPU (0avgtext+0avgdata 107972maxresident)k 0inputs+0outputs (0major+4460832minor)pagefaults 0swaps hsh-rebuild: rebuild of `yices-2.3.0-alt4.src.rpm' failed. Command exited with non-zero status 1 5.51user 1.59system 1:23.11elapsed 8%CPU (0avgtext+0avgdata 130968maxresident)k 0inputs+0outputs (0major+182117minor)pagefaults 0swaps