* Package:    dev-util/cbmc-3.7
 * Repository: nerdboy-local
 * USE:        amd64 cxx elibc_glibc kernel_linux multilib userland_GNU
 * FEATURES:   ccache distcc sandbox userpriv usersandbox
>>> Unpacking source...
>>> Unpacking cbmc-3-7-src.tgz to /var/tmp/portage/dev-util/cbmc-3.7/work
>>> Source unpacked in /var/tmp/portage/dev-util/cbmc-3.7/work
>>> Preparing source in /var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src ...
 * Applying cbmc-3.7-make_fixes.patch ...
 [ ok ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src ...
make: Entering directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src'
## Entering big-int
make  -C big-int
make[1]: Entering directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/big-int'
x86_64-pc-linux-gnu-g++ -O   -c -o bigint-test.o bigint-test.cc
x86_64-pc-linux-gnu-g++ -O   -c -o bigint-func.o bigint-func.cc
x86_64-pc-linux-gnu-g++ -O   -c -o bigint.o bigint.cc
x86_64-pc-linux-gnu-g++ -o test-bigint bigint-test.o bigint-func.o bigint.o
make[1]: Leaving directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/big-int'
## Entering util
make  -C util
make[1]: Entering directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/util'
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o irep_ids_convert.o irep_ids_convert.cpp
x86_64-pc-linux-gnu-g++ -Wl,-O1 -Wl,--as-needed -o irep_ids_convert irep_ids_convert.o
./irep_ids_convert header < irep_ids.txt > irep_ids.h
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o arith_tools.o arith_tools.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o base_type.o base_type.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o cmdline.o cmdline.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o config.o config.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o context.o context.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o expr.o expr.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o expr_util.o expr_util.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o i2string.o i2string.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o irep.o irep.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o language.o language.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o lispexpr.o lispexpr.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o lispirep.o lispirep.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o location.o location.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o message.o message.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o language_file.o language_file.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o mp_arith.o mp_arith.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o namespace.o namespace.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o parseoptions.o parseoptions.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o rename.o rename.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o replace_expr.o replace_expr.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o threeval.o threeval.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o typecheck.o typecheck.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o graph.o graph.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o type.o type.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o cnf_simplify.o cnf_simplify.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o str_getline.o str_getline.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o strstream2string.o strstream2string.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o bitvector.o bitvector.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o parser.o parser.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o map_util.o map_util.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o replace_symbol.o replace_symbol.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o actuals.o actuals.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o get_module.o get_module.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o string_hash.o string_hash.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o string_container.o string_container.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o identifier.o identifier.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o rational.o rational.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o options.o options.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_misc.o c_misc.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o simplify_expr.o simplify_expr.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o dstring.o dstring.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o find_symbols.o find_symbols.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o rational_tools.o rational_tools.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ui_message.o ui_message.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o simplify_utils.o simplify_utils.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o string2array.o string2array.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o time_stopping.o time_stopping.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o symbol.o symbol.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o type_eq.o type_eq.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o guard.o guard.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o array_name.o array_name.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o gcd.o gcd.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o message_stream.o message_stream.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o substitute.o substitute.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o decision_procedure.o decision_procedure.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o union_find.o union_find.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o pretty_names.o pretty_names.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o xml.o xml.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o xml_irep.o xml_irep.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o std_types.o std_types.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o std_code.o std_code.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o format_constant.o format_constant.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o find_macros.o find_macros.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ref_expr_set.o ref_expr_set.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o std_expr.o std_expr.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o irep_serialization.o irep_serialization.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o symbol_serialization.o symbol_serialization.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o fixedbv.o fixedbv.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ieee_float.o ieee_float.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o signal_catcher.o signal_catcher.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o pointer_offset_size.o pointer_offset_size.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o bv_arithmetic.o bv_arithmetic.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o tempdir.o tempdir.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o tempfile.o tempfile.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o timer.o timer.cpp
./irep_ids_convert table < irep_ids.txt > irep_ids.inc
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o irep_ids.o irep_ids.cpp
x86_64-pc-linux-gnu-ld -r -o util.o arith_tools.o base_type.o cmdline.o config.o context.o expr.o expr_util.o i2string.o irep.o language.o lispexpr.o lispirep.o location.o message.o language_file.o mp_arith.o namespace.o parseoptions.o rename.o replace_expr.o threeval.o typecheck.o graph.o type.o cnf_simplify.o str_getline.o strstream2string.o bitvector.o parser.o map_util.o replace_symbol.o actuals.o get_module.o string_hash.o string_container.o identifier.o rational.o options.o c_misc.o simplify_expr.o dstring.o find_symbols.o rational_tools.o ui_message.o simplify_utils.o string2array.o time_stopping.o symbol.o type_eq.o guard.o array_name.o gcd.o message_stream.o substitute.o decision_procedure.o union_find.o pretty_names.o xml.o xml_irep.o std_types.o std_code.o format_constant.o find_macros.o ref_expr_set.o std_expr.o irep_serialization.o symbol_serialization.o fixedbv.o ieee_float.o signal_catcher.o pointer_offset_size.o bv_arithmetic.o tempdir.o tempfile.o timer.o irep_ids.o
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ieee_float_test.o ieee_float_test.cpp
x86_64-pc-linux-gnu-g++ -Wl,-O1 -Wl,--as-needed -o ieee_float_test util.o ieee_float_test.o ../big-int/bigint.o
make[1]: Leaving directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/util'
## Entering langapi
make  -C langapi
make[1]: Entering directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/langapi'
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o mode.o mode.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o language_ui.o language_ui.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o languages.o languages.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o language_util.o language_util.cpp
x86_64-pc-linux-gnu-ld -r -o langapi.o mode.o language_ui.o languages.o language_util.o
make[1]: Leaving directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/langapi'
## Entering ansi-c
make  -C ansi-c
make[1]: Entering directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/ansi-c'
x86_64-pc-linux-gnu-g++ -Wl,-O1 -Wl,--as-needed -o library/converter library/converter.cpp
cat library/*.c | library/converter > cprover_library.inc
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_typecast.o c_typecast.cpp
bison -y -v $flags -pyyansi_c -d parser.y -o y.tab.cpp
parser.y: warning: 2 nonterminals useless in grammar
parser.y: warning: 4 rules useless in grammar
parser.y:932.1-13: warning: nonterminal useless in grammar: gcc_attribute
parser.y:933.37-54: warning: nonterminal useless in grammar: gcc_attribute_list
parser.y:933.11-936.9: warning: rule useless in grammar: gcc_attribute: "__attribute__" '(' '(' gcc_attribute_list ')' ')'
parser.y:940.11-23: warning: rule useless in grammar: gcc_attribute_list: gcc_attribute
parser.y:941.11-46: warning: rule useless in grammar: gcc_attribute_list: gcc_attribute_list ',' gcc_attribute
parser.y:944.14: warning: rule useless in grammar: gcc_attribute: /* empty */
if [ -e y.tab.hpp ] ; then mv y.tab.hpp y.tab.h ; else \
        mv y.tab.cpp.h y.tab.h ; fi
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o y.tab.o y.tab.cpp
flex -Pyyansi_c -olex.yy.cpp scanner.l
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o lex.yy.o lex.yy.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ansi_c_parser.o ansi_c_parser.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o expr2c.o expr2c.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ansi_c_language.o ansi_c_language.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_sizeof.o c_sizeof.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_main.o c_main.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_types.o c_types.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_final.o c_final.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o trans_unit.o trans_unit.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ansi_c_typecheck.o ansi_c_typecheck.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_link.o c_link.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_preprocess.o c_preprocess.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_link_type_eq.o c_link_type_eq.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_typecheck_base.o c_typecheck_base.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_typecheck_initializer.o c_typecheck_initializer.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_typecheck_typecast.o c_typecheck_typecast.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_typecheck_code.o c_typecheck_code.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_typecheck_expr.o c_typecheck_expr.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_typecheck_type.o c_typecheck_type.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ansi_c_expr.o ansi_c_expr.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o unescape_string.o unescape_string.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o parse_float.o parse_float.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o convert_float_literal.o convert_float_literal.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o convert_integer_literal.o convert_integer_literal.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_qualifiers.o c_qualifiers.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o c_typecheck_argc_argv.o c_typecheck_argc_argv.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ansi_c_parse_tree.o ansi_c_parse_tree.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o preprocessor_line.o preprocessor_line.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o convert_character_literal.o convert_character_literal.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o convert_string_literal.o convert_string_literal.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ansi_c_convert.o ansi_c_convert.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ansi_c_convert_type.o ansi_c_convert_type.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o type2name.o type2name.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o cprover_library.o cprover_library.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o fix_symbol.o fix_symbol.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o printf_formatter.o printf_formatter.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o internal_additions.o internal_additions.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o ansi_c_declaration.o ansi_c_declaration.cpp
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o designator.o designator.cpp
x86_64-pc-linux-gnu-ld -r -o ansi-c.o c_typecast.o y.tab.o lex.yy.o ansi_c_parser.o expr2c.o ansi_c_language.o c_sizeof.o c_main.o c_types.o c_final.o trans_unit.o ansi_c_typecheck.o c_link.o c_preprocess.o c_link_type_eq.o c_typecheck_base.o c_typecheck_initializer.o c_typecheck_typecast.o c_typecheck_code.o c_typecheck_expr.o c_typecheck_type.o ansi_c_expr.o unescape_string.o parse_float.o convert_float_literal.o convert_integer_literal.o c_qualifiers.o c_typecheck_argc_argv.o ansi_c_parse_tree.o preprocessor_line.o convert_character_literal.o convert_string_literal.o ansi_c_convert.o ansi_c_convert_type.o type2name.o cprover_library.o fix_symbol.o printf_formatter.o internal_additions.o ansi_c_declaration.o designator.o
make[1]: Leaving directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/ansi-c'
## Entering intrep
make  -C intrep
make[1]: Entering directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/intrep'
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -Wall -MMD -Wno-deprecated -std=gnu++0x -I .. -I ../util -o irep_language.o irep_language.cpp
x86_64-pc-linux-gnu-ld -r -o intrep.o irep_language.o
make[1]: Leaving directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/intrep'
## Entering solvers
make  -C solvers
make[1]: Entering directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/solvers'
x86_64-pc-linux-gnu-g++ -c -march=athlon64 -O2 -pipe -floop-interchange -floop-strip-mine -floop-block -Wall -MMD -Wno-deprecated -std=gnu++0x  -DHAVE_MINISAT2 -Wall -MMD -Wno-deprecated -std=gnu++0x -I ..    -I /usr/include/minisat2     -I ../util  -o sat/satcheck_minisat2.o sat/satcheck_minisat2.cpp
distcc[24709] ERROR: compile /var/tmp/ccache/satcheck_m.tmp.rama.24705.ii on localhost failed
In file included from /usr/include/minisat2/Solver.h:27:0,
                 from sat/satcheck_minisat2.cpp:17:
/usr/include/minisat2/utils/Options.h: In member function ‘bool Minisat::Option::OptionLt::operator()(const Minisat::Option*, const Minisat::Option*)’:
/usr/include/minisat2/utils/Options.h:63:84: warning: suggest parentheses around ‘&&’ within ‘||’
In file included from /usr/include/minisat2/Solver.h:27:0,
                 from sat/satcheck_minisat2.cpp:17:
/usr/include/minisat2/utils/Options.h: In member function ‘virtual void Minisat::Int64Option::help(bool)’:
/usr/include/minisat2/utils/Options.h:285:33: error: expected ‘)’ before ‘PRIi64’
/usr/include/minisat2/utils/Options.h:285:52: warning: conversion lacks type at end of format
/usr/include/minisat2/utils/Options.h:285:52: warning: too many arguments for format
/usr/include/minisat2/utils/Options.h:291:33: error: expected ‘)’ before ‘PRIi64’
/usr/include/minisat2/utils/Options.h:291:50: warning: conversion lacks type at end of format
/usr/include/minisat2/utils/Options.h:291:50: warning: too many arguments for format
/usr/include/minisat2/utils/Options.h:293:40: error: expected ‘)’ before ‘PRIi64’
/usr/include/minisat2/utils/Options.h:293:58: warning: spurious trailing ‘%’ in format
/usr/include/minisat2/utils/Options.h:293:58: warning: too many arguments for format
sat/satcheck_minisat2.cpp: At global scope:
sat/satcheck_minisat2.cpp:36:29: error: ‘vec’ has not been declared
sat/satcheck_minisat2.cpp:36:32: error: expected ‘,’ or ‘...’ before ‘<’ token
sat/satcheck_minisat2.cpp: In function ‘void convert(const bvt&, int)’:
sat/satcheck_minisat2.cpp:38:3: error: ‘dest’ was not declared in this scope
sat/satcheck_minisat2.cpp:41:45: error: ‘Lit’ was not declared in this scope
sat/satcheck_minisat2.cpp: In member function ‘virtual tvt satcheck_minisat_baset::l_get(literalt) const’:
sat/satcheck_minisat2.cpp:65:34: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:68:12: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:68:50: error: ‘lbool’ was not declared in this scope
sat/satcheck_minisat2.cpp:70:17: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp: In member function ‘void satcheck_minisat_baset::add_variables()’:
sat/satcheck_minisat2.cpp:145:25: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:146:11: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp: In member function ‘virtual void satcheck_minisat_baset::lcnf(const bvt&)’:
sat/satcheck_minisat2.cpp:177:3: error: ‘vec’ was not declared in this scope
sat/satcheck_minisat2.cpp:177:7: error: ‘Lit’ was not declared in this scope
sat/satcheck_minisat2.cpp:177:12: error: ‘c’ was not declared in this scope
sat/satcheck_minisat2.cpp:181:42: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:183:9: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp: In member function ‘virtual propt::resultt satcheck_minisat_baset::prop_solve()’:
sat/satcheck_minisat2.cpp:207:22: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:220:18: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:227:5: error: ‘vec’ was not declared in this scope
sat/satcheck_minisat2.cpp:227:9: error: ‘Lit’ was not declared in this scope
sat/satcheck_minisat2.cpp:227:14: error: ‘MiniSat_assumptions’ was not declared in this scope
sat/satcheck_minisat2.cpp:230:14: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:234:15: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp: In member function ‘virtual void satcheck_minisat_baset::set_assignment(literalt, bool)’:
sat/satcheck_minisat2.cpp:269:9: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:271:9: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:271:31: error: ‘lbool’ was not declared in this scope
sat/satcheck_minisat2.cpp: In constructor ‘satcheck_minisatt::satcheck_minisatt()’:
sat/satcheck_minisat2.cpp:288:14: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp: In constructor ‘satcheck_minisat_simpt::satcheck_minisat_simpt()’:
sat/satcheck_minisat2.cpp:305:14: error: expected type-specifier before ‘SimpSolver’
sat/satcheck_minisat2.cpp:305:14: error: cannot convert ‘int*’ to ‘Solver*’ in assignment
sat/satcheck_minisat2.cpp:305:14: error: expected ‘;’ before ‘SimpSolver’
sat/satcheck_minisat2.cpp: In destructor ‘virtual satcheck_minisat_baset::~satcheck_minisat_baset()’:
sat/satcheck_minisat2.cpp:322:10: warning: possible problem detected in invocation of delete operator:
sat/satcheck_minisat2.cpp:322:10: warning: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: warning: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:322:10: note: neither the destructor nor the class-specific operator delete will be called, even if they are declared when the class is defined.
sat/satcheck_minisat2.cpp: In member function ‘virtual bool satcheck_minisat_baset::is_in_conflict(literalt) const’:
sat/satcheck_minisat2.cpp:341:24: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:342:18: error: invalid use of incomplete type ‘struct Solver’
sat/satcheck_minisat2.h:42:9: error: forward declaration of ‘struct Solver’
sat/satcheck_minisat2.cpp:342:31: error: ‘var’ was not declared in this scope
In file included from /usr/include/minisat2/Solver.h:24:0,
                 from sat/satcheck_minisat2.cpp:17:
/usr/include/minisat2/mtl/Vec.h: In member function ‘void Minisat::vec<T>::capacity(int) [with T = Minisat::Option*]’:
/usr/include/minisat2/mtl/Vec.h:74:48:   instantiated from ‘void Minisat::vec<T>::push(const T&) [with T = Minisat::Option*]’
/usr/include/minisat2/utils/Options.h:76:34:   instantiated from here
/usr/include/minisat2/mtl/Vec.h:99:5: warning: suggest parentheses around ‘&&’ within ‘||’
/usr/include/minisat2/mtl/Vec.h: In member function ‘void Minisat::vec<T>::capacity(int) [with T = Minisat::Lit]’:
/usr/include/minisat2/mtl/Vec.h:74:48:   instantiated from ‘void Minisat::vec<T>::push(const T&) [with T = Minisat::Lit]’
/usr/include/minisat2/Solver.h:313:72:   instantiated from here
/usr/include/minisat2/mtl/Vec.h:99:5: warning: suggest parentheses around ‘&&’ within ‘||’
/usr/include/minisat2/mtl/Vec.h: In member function ‘void Minisat::vec<T>::capacity(int) [with T = int]’:
/usr/include/minisat2/mtl/Vec.h:74:48:   instantiated from ‘void Minisat::vec<T>::push(const T&) [with T = int]’
/usr/include/minisat2/Solver.h:317:69:   instantiated from here
/usr/include/minisat2/mtl/Vec.h:99:5: warning: suggest parentheses around ‘&&’ within ‘||’
make[1]: *** [sat/satcheck_minisat2.o] Error 1
make[1]: Leaving directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src/solvers'
make: *** [solvers.dir] Error 2
make: Leaving directory `/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src/src'
 * ERROR: dev-util/cbmc-3.7 failed (compile phase):
 *   make failed
 * 
 * Call stack:
 *     ebuild.sh, line  56:  Called src_compile
 *   environment, line 2197:  Called die
 * The specific snippet of code:
 *       make -j1 -C src/ all || die "make failed"
 * 
 * If you need support, post the output of 'emerge --info =dev-util/cbmc-3.7',
 * the complete build log and the output of 'emerge -pqv =dev-util/cbmc-3.7'.
 * This ebuild is from an overlay named 'nerdboy-local': '/usr/local/portage/'
 * The complete build log is located at '/var/tmp/portage/dev-util/cbmc-3.7/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-util/cbmc-3.7/temp/environment'.
 * S: '/var/tmp/portage/dev-util/cbmc-3.7/work/cbmc-3-7-src'