klee-make-verbose

for dir in lib tools runtime; do \
  (make -C $dir all ) || exit 1; \
done
make[1]: Entering directory '/home/rkx/klee/lib'
if ([ ! -f Basic/Makefile ] || \
            command test Basic/Makefile -ot \
                      /home/rkx/klee/lib/Basic/Makefile ); then \
  /usr/lib/llvm-3.4/build/autoconf/mkinstalldirs Basic; \
  /bin/cp /home/rkx/klee/lib/Basic/Makefile Basic/Makefile; \
fi; \
make -C Basic all
make[2]: Entering directory '/home/rkx/klee/lib/Basic'
/usr/lib/llvm-3.4/build/autoconf/mkinstalldirs /home/rkx/klee/lib/Basic/Release+Asserts > /dev/null
/bin/date > /home/rkx/klee/lib/Basic/Release+Asserts/.dir
llvm[2]: Compiling CmdLineOptions.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Basic -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Basic/Release+Asserts/CmdLineOptions.d.tmp" -MT "/home/rkx/klee/lib/Basic/Release+Asserts/CmdLineOptions.o" -MT "/home/rkx/klee/lib/Basic/Release+Asserts/CmdLineOptions.d" CmdLineOptions.cpp -o /home/rkx/klee/lib/Basic/Release+Asserts/CmdLineOptions.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Basic/Release+Asserts/CmdLineOptions.d.tmp" "/home/rkx/klee/lib/Basic/Release+Asserts/CmdLineOptions.d"; else /bin/rm "/home/rkx/klee/lib/Basic/Release+Asserts/CmdLineOptions.d.tmp"; exit 1; fi
llvm[2]: Compiling ConstructSolverChain.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Basic -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Basic/Release+Asserts/ConstructSolverChain.d.tmp" -MT "/home/rkx/klee/lib/Basic/Release+Asserts/ConstructSolverChain.o" -MT "/home/rkx/klee/lib/Basic/Release+Asserts/ConstructSolverChain.d" ConstructSolverChain.cpp -o /home/rkx/klee/lib/Basic/Release+Asserts/ConstructSolverChain.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Basic/Release+Asserts/ConstructSolverChain.d.tmp" "/home/rkx/klee/lib/Basic/Release+Asserts/ConstructSolverChain.d"; else /bin/rm "/home/rkx/klee/lib/Basic/Release+Asserts/ConstructSolverChain.d.tmp"; exit 1; fi
llvm[2]: Compiling KTest.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Basic -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Basic/Release+Asserts/KTest.d.tmp" -MT "/home/rkx/klee/lib/Basic/Release+Asserts/KTest.o" -MT "/home/rkx/klee/lib/Basic/Release+Asserts/KTest.d" KTest.cpp -o /home/rkx/klee/lib/Basic/Release+Asserts/KTest.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Basic/Release+Asserts/KTest.d.tmp" "/home/rkx/klee/lib/Basic/Release+Asserts/KTest.d"; else /bin/rm "/home/rkx/klee/lib/Basic/Release+Asserts/KTest.d.tmp"; exit 1; fi
llvm[2]: Compiling Statistics.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Basic -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Basic/Release+Asserts/Statistics.d.tmp" -MT "/home/rkx/klee/lib/Basic/Release+Asserts/Statistics.o" -MT "/home/rkx/klee/lib/Basic/Release+Asserts/Statistics.d" Statistics.cpp -o /home/rkx/klee/lib/Basic/Release+Asserts/Statistics.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Basic/Release+Asserts/Statistics.d.tmp" "/home/rkx/klee/lib/Basic/Release+Asserts/Statistics.d"; else /bin/rm "/home/rkx/klee/lib/Basic/Release+Asserts/Statistics.d.tmp"; exit 1; fi
/usr/lib/llvm-3.4/build/autoconf/mkinstalldirs /home/rkx/klee/Release+Asserts/lib > /dev/null
/bin/date > /home/rkx/klee/Release+Asserts/lib/.dir
llvm[2]: Building Release+Asserts Archive Library libkleeBasic.a
/bin/rm -f /home/rkx/klee/Release+Asserts/lib/libkleeBasic.a
x86_64-linux-gnu-ar cru /home/rkx/klee/Release+Asserts/lib/libkleeBasic.a /home/rkx/klee/lib/Basic/Release+Asserts/CmdLineOptions.o /home/rkx/klee/lib/Basic/Release+Asserts/ConstructSolverChain.o /home/rkx/klee/lib/Basic/Release+Asserts/KTest.o /home/rkx/klee/lib/Basic/Release+Asserts/Statistics.o
x86_64-linux-gnu-ar: `u' modifier ignored since `D' is the default (see `U')
x86_64-linux-gnu-ranlib /home/rkx/klee/Release+Asserts/lib/libkleeBasic.a
make[2]: Leaving directory '/home/rkx/klee/lib/Basic'
if ([ ! -f Support/Makefile ] || \
            command test Support/Makefile -ot \
                      /home/rkx/klee/lib/Support/Makefile ); then \
  /usr/lib/llvm-3.4/build/autoconf/mkinstalldirs Support; \
  /bin/cp /home/rkx/klee/lib/Support/Makefile Support/Makefile; \
fi; \
make -C Support all
make[2]: Entering directory '/home/rkx/klee/lib/Support'
echo "Regenerating ../../include/klee/Config/CompileTimeInfo.h"
Regenerating ../../include/klee/Config/CompileTimeInfo.h
echo '#define KLEE_BUILD_MODE "Release+Asserts"' > ../../include/klee/Config/CompileTimeInfo.h
echo '#define KLEE_BUILD_REVISION "'25a21e6b91be8524f3c4be7ae352acfe862cc4a4'"' >> \
../../include/klee/Config/CompileTimeInfo.h
echo '#define KLEE_BUILD_TAG "'v1.0.0-21-g25a21e6'"' >> \
../../include/klee/Config/CompileTimeInfo.h
/usr/lib/llvm-3.4/build/autoconf/mkinstalldirs /home/rkx/klee/lib/Support/Release+Asserts > /dev/null
/bin/date > /home/rkx/klee/lib/Support/Release+Asserts/.dir
llvm[2]: Compiling MemoryUsage.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Support -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Support/Release+Asserts/MemoryUsage.d.tmp" -MT "/home/rkx/klee/lib/Support/Release+Asserts/MemoryUsage.o" -MT "/home/rkx/klee/lib/Support/Release+Asserts/MemoryUsage.d" MemoryUsage.cpp -o /home/rkx/klee/lib/Support/Release+Asserts/MemoryUsage.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Support/Release+Asserts/MemoryUsage.d.tmp" "/home/rkx/klee/lib/Support/Release+Asserts/MemoryUsage.d"; else /bin/rm "/home/rkx/klee/lib/Support/Release+Asserts/MemoryUsage.d.tmp"; exit 1; fi
llvm[2]: Compiling PrintVersion.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Support -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Support/Release+Asserts/PrintVersion.d.tmp" -MT "/home/rkx/klee/lib/Support/Release+Asserts/PrintVersion.o" -MT "/home/rkx/klee/lib/Support/Release+Asserts/PrintVersion.d" PrintVersion.cpp -o /home/rkx/klee/lib/Support/Release+Asserts/PrintVersion.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Support/Release+Asserts/PrintVersion.d.tmp" "/home/rkx/klee/lib/Support/Release+Asserts/PrintVersion.d"; else /bin/rm "/home/rkx/klee/lib/Support/Release+Asserts/PrintVersion.d.tmp"; exit 1; fi
llvm[2]: Compiling RNG.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Support -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Support/Release+Asserts/RNG.d.tmp" -MT "/home/rkx/klee/lib/Support/Release+Asserts/RNG.o" -MT "/home/rkx/klee/lib/Support/Release+Asserts/RNG.d" RNG.cpp -o /home/rkx/klee/lib/Support/Release+Asserts/RNG.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Support/Release+Asserts/RNG.d.tmp" "/home/rkx/klee/lib/Support/Release+Asserts/RNG.d"; else /bin/rm "/home/rkx/klee/lib/Support/Release+Asserts/RNG.d.tmp"; exit 1; fi
llvm[2]: Compiling Time.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Support -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Support/Release+Asserts/Time.d.tmp" -MT "/home/rkx/klee/lib/Support/Release+Asserts/Time.o" -MT "/home/rkx/klee/lib/Support/Release+Asserts/Time.d" Time.cpp -o /home/rkx/klee/lib/Support/Release+Asserts/Time.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Support/Release+Asserts/Time.d.tmp" "/home/rkx/klee/lib/Support/Release+Asserts/Time.d"; else /bin/rm "/home/rkx/klee/lib/Support/Release+Asserts/Time.d.tmp"; exit 1; fi
llvm[2]: Compiling Timer.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Support -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Support/Release+Asserts/Timer.d.tmp" -MT "/home/rkx/klee/lib/Support/Release+Asserts/Timer.o" -MT "/home/rkx/klee/lib/Support/Release+Asserts/Timer.d" Timer.cpp -o /home/rkx/klee/lib/Support/Release+Asserts/Timer.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Support/Release+Asserts/Timer.d.tmp" "/home/rkx/klee/lib/Support/Release+Asserts/Timer.d"; else /bin/rm "/home/rkx/klee/lib/Support/Release+Asserts/Timer.d.tmp"; exit 1; fi
llvm[2]: Compiling TreeStream.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Support -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Support/Release+Asserts/TreeStream.d.tmp" -MT "/home/rkx/klee/lib/Support/Release+Asserts/TreeStream.o" -MT "/home/rkx/klee/lib/Support/Release+Asserts/TreeStream.d" TreeStream.cpp -o /home/rkx/klee/lib/Support/Release+Asserts/TreeStream.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Support/Release+Asserts/TreeStream.d.tmp" "/home/rkx/klee/lib/Support/Release+Asserts/TreeStream.d"; else /bin/rm "/home/rkx/klee/lib/Support/Release+Asserts/TreeStream.d.tmp"; exit 1; fi
llvm[2]: Building Release+Asserts Archive Library libkleeSupport.a
/bin/rm -f /home/rkx/klee/Release+Asserts/lib/libkleeSupport.a
x86_64-linux-gnu-ar cru /home/rkx/klee/Release+Asserts/lib/libkleeSupport.a /home/rkx/klee/lib/Support/Release+Asserts/MemoryUsage.o /home/rkx/klee/lib/Support/Release+Asserts/PrintVersion.o /home/rkx/klee/lib/Support/Release+Asserts/RNG.o /home/rkx/klee/lib/Support/Release+Asserts/Time.o /home/rkx/klee/lib/Support/Release+Asserts/Timer.o /home/rkx/klee/lib/Support/Release+Asserts/TreeStream.o
x86_64-linux-gnu-ar: `u' modifier ignored since `D' is the default (see `U')
x86_64-linux-gnu-ranlib /home/rkx/klee/Release+Asserts/lib/libkleeSupport.a
make[2]: Leaving directory '/home/rkx/klee/lib/Support'
if ([ ! -f Expr/Makefile ] || \
            command test Expr/Makefile -ot \
                      /home/rkx/klee/lib/Expr/Makefile ); then \
  /usr/lib/llvm-3.4/build/autoconf/mkinstalldirs Expr; \
  /bin/cp /home/rkx/klee/lib/Expr/Makefile Expr/Makefile; \
fi; \
make -C Expr all
make[2]: Entering directory '/home/rkx/klee/lib/Expr'
/usr/lib/llvm-3.4/build/autoconf/mkinstalldirs /home/rkx/klee/lib/Expr/Release+Asserts > /dev/null
/bin/date > /home/rkx/klee/lib/Expr/Release+Asserts/.dir
llvm[2]: Compiling Constraints.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/Constraints.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Constraints.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Constraints.d" Constraints.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/Constraints.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/Constraints.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/Constraints.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/Constraints.d.tmp"; exit 1; fi
llvm[2]: Compiling Expr.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/Expr.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Expr.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Expr.d" Expr.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/Expr.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/Expr.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/Expr.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/Expr.d.tmp"; exit 1; fi
llvm[2]: Compiling ExprBuilder.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/ExprBuilder.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprBuilder.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprBuilder.d" ExprBuilder.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/ExprBuilder.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/ExprBuilder.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/ExprBuilder.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/ExprBuilder.d.tmp"; exit 1; fi
llvm[2]: Compiling ExprEvaluator.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/ExprEvaluator.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprEvaluator.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprEvaluator.d" ExprEvaluator.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/ExprEvaluator.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/ExprEvaluator.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/ExprEvaluator.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/ExprEvaluator.d.tmp"; exit 1; fi
llvm[2]: Compiling ExprPPrinter.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/ExprPPrinter.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprPPrinter.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprPPrinter.d" ExprPPrinter.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/ExprPPrinter.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/ExprPPrinter.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/ExprPPrinter.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/ExprPPrinter.d.tmp"; exit 1; fi
llvm[2]: Compiling ExprSMTLIBPrinter.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/ExprSMTLIBPrinter.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprSMTLIBPrinter.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprSMTLIBPrinter.d" ExprSMTLIBPrinter.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/ExprSMTLIBPrinter.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/ExprSMTLIBPrinter.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/ExprSMTLIBPrinter.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/ExprSMTLIBPrinter.d.tmp"; exit 1; fi
llvm[2]: Compiling ExprUtil.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/ExprUtil.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprUtil.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprUtil.d" ExprUtil.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/ExprUtil.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/ExprUtil.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/ExprUtil.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/ExprUtil.d.tmp"; exit 1; fi
llvm[2]: Compiling ExprVisitor.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/ExprVisitor.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprVisitor.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/ExprVisitor.d" ExprVisitor.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/ExprVisitor.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/ExprVisitor.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/ExprVisitor.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/ExprVisitor.d.tmp"; exit 1; fi
llvm[2]: Compiling Lexer.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/Lexer.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Lexer.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Lexer.d" Lexer.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/Lexer.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/Lexer.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/Lexer.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/Lexer.d.tmp"; exit 1; fi
llvm[2]: Compiling Parser.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/Parser.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Parser.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Parser.d" Parser.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/Parser.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/Parser.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/Parser.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/Parser.d.tmp"; exit 1; fi
llvm[2]: Compiling Updates.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Expr -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Expr/Release+Asserts/Updates.d.tmp" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Updates.o" -MT "/home/rkx/klee/lib/Expr/Release+Asserts/Updates.d" Updates.cpp -o /home/rkx/klee/lib/Expr/Release+Asserts/Updates.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Expr/Release+Asserts/Updates.d.tmp" "/home/rkx/klee/lib/Expr/Release+Asserts/Updates.d"; else /bin/rm "/home/rkx/klee/lib/Expr/Release+Asserts/Updates.d.tmp"; exit 1; fi
llvm[2]: Building Release+Asserts Archive Library libkleaverExpr.a
/bin/rm -f /home/rkx/klee/Release+Asserts/lib/libkleaverExpr.a
x86_64-linux-gnu-ar cru /home/rkx/klee/Release+Asserts/lib/libkleaverExpr.a /home/rkx/klee/lib/Expr/Release+Asserts/Constraints.o /home/rkx/klee/lib/Expr/Release+Asserts/Expr.o /home/rkx/klee/lib/Expr/Release+Asserts/ExprBuilder.o /home/rkx/klee/lib/Expr/Release+Asserts/ExprEvaluator.o /home/rkx/klee/lib/Expr/Release+Asserts/ExprPPrinter.o /home/rkx/klee/lib/Expr/Release+Asserts/ExprSMTLIBPrinter.o /home/rkx/klee/lib/Expr/Release+Asserts/ExprUtil.o /home/rkx/klee/lib/Expr/Release+Asserts/ExprVisitor.o /home/rkx/klee/lib/Expr/Release+Asserts/Lexer.o /home/rkx/klee/lib/Expr/Release+Asserts/Parser.o /home/rkx/klee/lib/Expr/Release+Asserts/Updates.o
x86_64-linux-gnu-ar: `u' modifier ignored since `D' is the default (see `U')
x86_64-linux-gnu-ranlib /home/rkx/klee/Release+Asserts/lib/libkleaverExpr.a
make[2]: Leaving directory '/home/rkx/klee/lib/Expr'
if ([ ! -f Solver/Makefile ] || \
            command test Solver/Makefile -ot \
                      /home/rkx/klee/lib/Solver/Makefile ); then \
  /usr/lib/llvm-3.4/build/autoconf/mkinstalldirs Solver; \
  /bin/cp /home/rkx/klee/lib/Solver/Makefile Solver/Makefile; \
fi; \
make -C Solver all
make[2]: Entering directory '/home/rkx/klee/lib/Solver'
/usr/lib/llvm-3.4/build/autoconf/mkinstalldirs /home/rkx/klee/lib/Solver/Release+Asserts > /dev/null
/bin/date > /home/rkx/klee/lib/Solver/Release+Asserts/.dir
llvm[2]: Compiling CachingSolver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/CachingSolver.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/CachingSolver.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/CachingSolver.d" CachingSolver.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/CachingSolver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/CachingSolver.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/CachingSolver.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/CachingSolver.d.tmp"; exit 1; fi
llvm[2]: Compiling CexCachingSolver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/CexCachingSolver.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/CexCachingSolver.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/CexCachingSolver.d" CexCachingSolver.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/CexCachingSolver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/CexCachingSolver.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/CexCachingSolver.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/CexCachingSolver.d.tmp"; exit 1; fi
llvm[2]: Compiling ConstantDivision.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/ConstantDivision.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/ConstantDivision.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/ConstantDivision.d" ConstantDivision.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/ConstantDivision.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/ConstantDivision.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/ConstantDivision.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/ConstantDivision.d.tmp"; exit 1; fi
llvm[2]: Compiling FastCexSolver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/FastCexSolver.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/FastCexSolver.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/FastCexSolver.d" FastCexSolver.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/FastCexSolver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/FastCexSolver.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/FastCexSolver.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/FastCexSolver.d.tmp"; exit 1; fi
llvm[2]: Compiling IncompleteSolver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/IncompleteSolver.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/IncompleteSolver.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/IncompleteSolver.d" IncompleteSolver.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/IncompleteSolver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/IncompleteSolver.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/IncompleteSolver.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/IncompleteSolver.d.tmp"; exit 1; fi
llvm[2]: Compiling IndependentSolver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/IndependentSolver.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/IndependentSolver.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/IndependentSolver.d" IndependentSolver.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/IndependentSolver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/IndependentSolver.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/IndependentSolver.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/IndependentSolver.d.tmp"; exit 1; fi
llvm[2]: Compiling PCLoggingSolver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/PCLoggingSolver.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/PCLoggingSolver.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/PCLoggingSolver.d" PCLoggingSolver.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/PCLoggingSolver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/PCLoggingSolver.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/PCLoggingSolver.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/PCLoggingSolver.d.tmp"; exit 1; fi
llvm[2]: Compiling QueryLoggingSolver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/QueryLoggingSolver.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/QueryLoggingSolver.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/QueryLoggingSolver.d" QueryLoggingSolver.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/QueryLoggingSolver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/QueryLoggingSolver.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/QueryLoggingSolver.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/QueryLoggingSolver.d.tmp"; exit 1; fi
llvm[2]: Compiling SMTLIBLoggingSolver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/SMTLIBLoggingSolver.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/SMTLIBLoggingSolver.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/SMTLIBLoggingSolver.d" SMTLIBLoggingSolver.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/SMTLIBLoggingSolver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/SMTLIBLoggingSolver.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/SMTLIBLoggingSolver.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/SMTLIBLoggingSolver.d.tmp"; exit 1; fi
llvm[2]: Compiling STPBuilder.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/STPBuilder.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/STPBuilder.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/STPBuilder.d" STPBuilder.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/STPBuilder.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/STPBuilder.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/STPBuilder.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/STPBuilder.d.tmp"; exit 1; fi
llvm[2]: Compiling Solver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/Solver.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/Solver.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/Solver.d" Solver.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/Solver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/Solver.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/Solver.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/Solver.d.tmp"; exit 1; fi
llvm[2]: Compiling SolverStats.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Solver -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Solver/Release+Asserts/SolverStats.d.tmp" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/SolverStats.o" -MT "/home/rkx/klee/lib/Solver/Release+Asserts/SolverStats.d" SolverStats.cpp -o /home/rkx/klee/lib/Solver/Release+Asserts/SolverStats.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Solver/Release+Asserts/SolverStats.d.tmp" "/home/rkx/klee/lib/Solver/Release+Asserts/SolverStats.d"; else /bin/rm "/home/rkx/klee/lib/Solver/Release+Asserts/SolverStats.d.tmp"; exit 1; fi
llvm[2]: Building Release+Asserts Archive Library libkleaverSolver.a
/bin/rm -f /home/rkx/klee/Release+Asserts/lib/libkleaverSolver.a
x86_64-linux-gnu-ar cru /home/rkx/klee/Release+Asserts/lib/libkleaverSolver.a /home/rkx/klee/lib/Solver/Release+Asserts/CachingSolver.o /home/rkx/klee/lib/Solver/Release+Asserts/CexCachingSolver.o /home/rkx/klee/lib/Solver/Release+Asserts/ConstantDivision.o /home/rkx/klee/lib/Solver/Release+Asserts/FastCexSolver.o /home/rkx/klee/lib/Solver/Release+Asserts/IncompleteSolver.o /home/rkx/klee/lib/Solver/Release+Asserts/IndependentSolver.o /home/rkx/klee/lib/Solver/Release+Asserts/PCLoggingSolver.o /home/rkx/klee/lib/Solver/Release+Asserts/QueryLoggingSolver.o /home/rkx/klee/lib/Solver/Release+Asserts/SMTLIBLoggingSolver.o /home/rkx/klee/lib/Solver/Release+Asserts/STPBuilder.o /home/rkx/klee/lib/Solver/Release+Asserts/Solver.o /home/rkx/klee/lib/Solver/Release+Asserts/SolverStats.o
x86_64-linux-gnu-ar: `u' modifier ignored since `D' is the default (see `U')
x86_64-linux-gnu-ranlib /home/rkx/klee/Release+Asserts/lib/libkleaverSolver.a
make[2]: Leaving directory '/home/rkx/klee/lib/Solver'
if ([ ! -f Module/Makefile ] || \
            command test Module/Makefile -ot \
                      /home/rkx/klee/lib/Module/Makefile ); then \
  /usr/lib/llvm-3.4/build/autoconf/mkinstalldirs Module; \
  /bin/cp /home/rkx/klee/lib/Module/Makefile Module/Makefile; \
fi; \
make -C Module all
make[2]: Entering directory '/home/rkx/klee/lib/Module'
/usr/lib/llvm-3.4/build/autoconf/mkinstalldirs /home/rkx/klee/lib/Module/Release+Asserts > /dev/null
/bin/date > /home/rkx/klee/lib/Module/Release+Asserts/.dir
llvm[2]: Compiling Checks.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/Checks.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/Checks.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/Checks.d" Checks.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/Checks.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/Checks.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/Checks.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/Checks.d.tmp"; exit 1; fi
llvm[2]: Compiling InstructionInfoTable.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/InstructionInfoTable.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/InstructionInfoTable.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/InstructionInfoTable.d" InstructionInfoTable.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/InstructionInfoTable.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/InstructionInfoTable.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/InstructionInfoTable.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/InstructionInfoTable.d.tmp"; exit 1; fi
llvm[2]: Compiling IntrinsicCleaner.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/IntrinsicCleaner.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/IntrinsicCleaner.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/IntrinsicCleaner.d" IntrinsicCleaner.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/IntrinsicCleaner.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/IntrinsicCleaner.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/IntrinsicCleaner.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/IntrinsicCleaner.d.tmp"; exit 1; fi
llvm[2]: Compiling KInstruction.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/KInstruction.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/KInstruction.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/KInstruction.d" KInstruction.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/KInstruction.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/KInstruction.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/KInstruction.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/KInstruction.d.tmp"; exit 1; fi
llvm[2]: Compiling KModule.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/KModule.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/KModule.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/KModule.d" KModule.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/KModule.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/KModule.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/KModule.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/KModule.d.tmp"; exit 1; fi
llvm[2]: Compiling LowerSwitch.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/LowerSwitch.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/LowerSwitch.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/LowerSwitch.d" LowerSwitch.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/LowerSwitch.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/LowerSwitch.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/LowerSwitch.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/LowerSwitch.d.tmp"; exit 1; fi
llvm[2]: Compiling ModuleUtil.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/ModuleUtil.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/ModuleUtil.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/ModuleUtil.d" ModuleUtil.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/ModuleUtil.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/ModuleUtil.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/ModuleUtil.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/ModuleUtil.d.tmp"; exit 1; fi
llvm[2]: Compiling Optimize.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/Optimize.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/Optimize.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/Optimize.d" Optimize.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/Optimize.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/Optimize.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/Optimize.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/Optimize.d.tmp"; exit 1; fi
llvm[2]: Compiling PhiCleaner.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/PhiCleaner.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/PhiCleaner.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/PhiCleaner.d" PhiCleaner.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/PhiCleaner.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/PhiCleaner.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/PhiCleaner.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/PhiCleaner.d.tmp"; exit 1; fi
llvm[2]: Compiling RaiseAsm.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Module -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Module/Release+Asserts/RaiseAsm.d.tmp" -MT "/home/rkx/klee/lib/Module/Release+Asserts/RaiseAsm.o" -MT "/home/rkx/klee/lib/Module/Release+Asserts/RaiseAsm.d" RaiseAsm.cpp -o /home/rkx/klee/lib/Module/Release+Asserts/RaiseAsm.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Module/Release+Asserts/RaiseAsm.d.tmp" "/home/rkx/klee/lib/Module/Release+Asserts/RaiseAsm.d"; else /bin/rm "/home/rkx/klee/lib/Module/Release+Asserts/RaiseAsm.d.tmp"; exit 1; fi
llvm[2]: Building Release+Asserts Archive Library libkleeModule.a
/bin/rm -f /home/rkx/klee/Release+Asserts/lib/libkleeModule.a
x86_64-linux-gnu-ar cru /home/rkx/klee/Release+Asserts/lib/libkleeModule.a /home/rkx/klee/lib/Module/Release+Asserts/Checks.o /home/rkx/klee/lib/Module/Release+Asserts/InstructionInfoTable.o /home/rkx/klee/lib/Module/Release+Asserts/IntrinsicCleaner.o /home/rkx/klee/lib/Module/Release+Asserts/KInstruction.o /home/rkx/klee/lib/Module/Release+Asserts/KModule.o /home/rkx/klee/lib/Module/Release+Asserts/LowerSwitch.o /home/rkx/klee/lib/Module/Release+Asserts/ModuleUtil.o /home/rkx/klee/lib/Module/Release+Asserts/Optimize.o /home/rkx/klee/lib/Module/Release+Asserts/PhiCleaner.o /home/rkx/klee/lib/Module/Release+Asserts/RaiseAsm.o
x86_64-linux-gnu-ar: `u' modifier ignored since `D' is the default (see `U')
x86_64-linux-gnu-ranlib /home/rkx/klee/Release+Asserts/lib/libkleeModule.a
make[2]: Leaving directory '/home/rkx/klee/lib/Module'
if ([ ! -f Core/Makefile ] || \
            command test Core/Makefile -ot \
                      /home/rkx/klee/lib/Core/Makefile ); then \
  /usr/lib/llvm-3.4/build/autoconf/mkinstalldirs Core; \
  /bin/cp /home/rkx/klee/lib/Core/Makefile Core/Makefile; \
fi; \
make -C Core all
make[2]: Entering directory '/home/rkx/klee/lib/Core'
/usr/lib/llvm-3.4/build/autoconf/mkinstalldirs /home/rkx/klee/lib/Core/Release+Asserts > /dev/null
/bin/date > /home/rkx/klee/lib/Core/Release+Asserts/.dir
llvm[2]: Compiling AddressSpace.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/AddressSpace.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/AddressSpace.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/AddressSpace.d" AddressSpace.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/AddressSpace.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/AddressSpace.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/AddressSpace.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/AddressSpace.d.tmp"; exit 1; fi
llvm[2]: Compiling CallPathManager.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/CallPathManager.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/CallPathManager.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/CallPathManager.d" CallPathManager.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/CallPathManager.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/CallPathManager.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/CallPathManager.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/CallPathManager.d.tmp"; exit 1; fi
llvm[2]: Compiling Common.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/Common.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Common.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Common.d" Common.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/Common.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/Common.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/Common.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/Common.d.tmp"; exit 1; fi
llvm[2]: Compiling Context.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/Context.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Context.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Context.d" Context.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/Context.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/Context.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/Context.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/Context.d.tmp"; exit 1; fi
llvm[2]: Compiling CoreStats.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/CoreStats.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/CoreStats.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/CoreStats.d" CoreStats.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/CoreStats.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/CoreStats.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/CoreStats.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/CoreStats.d.tmp"; exit 1; fi
llvm[2]: Compiling ExecutionState.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/ExecutionState.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ExecutionState.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ExecutionState.d" ExecutionState.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/ExecutionState.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/ExecutionState.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/ExecutionState.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/ExecutionState.d.tmp"; exit 1; fi
llvm[2]: Compiling Executor.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/Executor.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Executor.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Executor.d" Executor.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/Executor.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/Executor.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/Executor.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/Executor.d.tmp"; exit 1; fi
llvm[2]: Compiling ExecutorTimers.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorTimers.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorTimers.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorTimers.d" ExecutorTimers.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/ExecutorTimers.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorTimers.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorTimers.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorTimers.d.tmp"; exit 1; fi
llvm[2]: Compiling ExecutorUtil.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorUtil.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorUtil.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorUtil.d" ExecutorUtil.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/ExecutorUtil.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorUtil.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorUtil.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/ExecutorUtil.d.tmp"; exit 1; fi
llvm[2]: Compiling ExternalDispatcher.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/ExternalDispatcher.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ExternalDispatcher.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ExternalDispatcher.d" ExternalDispatcher.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/ExternalDispatcher.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/ExternalDispatcher.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/ExternalDispatcher.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/ExternalDispatcher.d.tmp"; exit 1; fi
llvm[2]: Compiling ImpliedValue.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/ImpliedValue.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ImpliedValue.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/ImpliedValue.d" ImpliedValue.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/ImpliedValue.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/ImpliedValue.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/ImpliedValue.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/ImpliedValue.d.tmp"; exit 1; fi
llvm[2]: Compiling Memory.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/Memory.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Memory.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Memory.d" Memory.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/Memory.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/Memory.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/Memory.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/Memory.d.tmp"; exit 1; fi
llvm[2]: Compiling MemoryManager.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/MemoryManager.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/MemoryManager.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/MemoryManager.d" MemoryManager.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/MemoryManager.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/MemoryManager.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/MemoryManager.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/MemoryManager.d.tmp"; exit 1; fi
llvm[2]: Compiling PTree.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/PTree.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/PTree.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/PTree.d" PTree.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/PTree.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/PTree.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/PTree.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/PTree.d.tmp"; exit 1; fi
llvm[2]: Compiling Searcher.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/Searcher.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Searcher.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/Searcher.d" Searcher.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/Searcher.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/Searcher.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/Searcher.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/Searcher.d.tmp"; exit 1; fi
llvm[2]: Compiling SeedInfo.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/SeedInfo.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/SeedInfo.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/SeedInfo.d" SeedInfo.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/SeedInfo.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/SeedInfo.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/SeedInfo.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/SeedInfo.d.tmp"; exit 1; fi
llvm[2]: Compiling SpecialFunctionHandler.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/SpecialFunctionHandler.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/SpecialFunctionHandler.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/SpecialFunctionHandler.d" SpecialFunctionHandler.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/SpecialFunctionHandler.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/SpecialFunctionHandler.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/SpecialFunctionHandler.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/SpecialFunctionHandler.d.tmp"; exit 1; fi
llvm[2]: Compiling StatsTracker.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/StatsTracker.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/StatsTracker.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/StatsTracker.d" StatsTracker.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/StatsTracker.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/StatsTracker.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/StatsTracker.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/StatsTracker.d.tmp"; exit 1; fi
llvm[2]: Compiling TimingSolver.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/TimingSolver.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/TimingSolver.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/TimingSolver.d" TimingSolver.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/TimingSolver.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/TimingSolver.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/TimingSolver.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/TimingSolver.d.tmp"; exit 1; fi
llvm[2]: Compiling UserSearcher.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/lib/Core -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/lib/Core/Release+Asserts/UserSearcher.d.tmp" -MT "/home/rkx/klee/lib/Core/Release+Asserts/UserSearcher.o" -MT "/home/rkx/klee/lib/Core/Release+Asserts/UserSearcher.d" UserSearcher.cpp -o /home/rkx/klee/lib/Core/Release+Asserts/UserSearcher.o ; \
        then /bin/mv -f "/home/rkx/klee/lib/Core/Release+Asserts/UserSearcher.d.tmp" "/home/rkx/klee/lib/Core/Release+Asserts/UserSearcher.d"; else /bin/rm "/home/rkx/klee/lib/Core/Release+Asserts/UserSearcher.d.tmp"; exit 1; fi
llvm[2]: Building Release+Asserts Archive Library libkleeCore.a
/bin/rm -f /home/rkx/klee/Release+Asserts/lib/libkleeCore.a
x86_64-linux-gnu-ar cru /home/rkx/klee/Release+Asserts/lib/libkleeCore.a /home/rkx/klee/lib/Core/Release+Asserts/AddressSpace.o /home/rkx/klee/lib/Core/Release+Asserts/CallPathManager.o /home/rkx/klee/lib/Core/Release+Asserts/Common.o /home/rkx/klee/lib/Core/Release+Asserts/Context.o /home/rkx/klee/lib/Core/Release+Asserts/CoreStats.o /home/rkx/klee/lib/Core/Release+Asserts/ExecutionState.o /home/rkx/klee/lib/Core/Release+Asserts/Executor.o /home/rkx/klee/lib/Core/Release+Asserts/ExecutorTimers.o /home/rkx/klee/lib/Core/Release+Asserts/ExecutorUtil.o /home/rkx/klee/lib/Core/Release+Asserts/ExternalDispatcher.o /home/rkx/klee/lib/Core/Release+Asserts/ImpliedValue.o /home/rkx/klee/lib/Core/Release+Asserts/Memory.o /home/rkx/klee/lib/Core/Release+Asserts/MemoryManager.o /home/rkx/klee/lib/Core/Release+Asserts/PTree.o /home/rkx/klee/lib/Core/Release+Asserts/Searcher.o /home/rkx/klee/lib/Core/Release+Asserts/SeedInfo.o /home/rkx/klee/lib/Core/Release+Asserts/SpecialFunctionHandler.o /home/rkx/klee/lib/Core/Release+Asserts/StatsTracker.o /home/rkx/klee/lib/Core/Release+Asserts/TimingSolver.o /home/rkx/klee/lib/Core/Release+Asserts/UserSearcher.o
x86_64-linux-gnu-ar: `u' modifier ignored since `D' is the default (see `U')
x86_64-linux-gnu-ranlib /home/rkx/klee/Release+Asserts/lib/libkleeCore.a
make[2]: Leaving directory '/home/rkx/klee/lib/Core'
make[1]: Leaving directory '/home/rkx/klee/lib'
make[1]: Entering directory '/home/rkx/klee/tools'
if ([ ! -f klee/Makefile ] || \
            command test klee/Makefile -ot \
                      /home/rkx/klee/tools/klee/Makefile ); then \
  /usr/lib/llvm-3.4/build/autoconf/mkinstalldirs klee; \
  /bin/cp /home/rkx/klee/tools/klee/Makefile klee/Makefile; \
fi; \
make -C klee all
make[2]: Entering directory '/home/rkx/klee/tools/klee'
/usr/lib/llvm-3.4/build/autoconf/mkinstalldirs /home/rkx/klee/tools/klee/Release+Asserts > /dev/null
/bin/date > /home/rkx/klee/tools/klee/Release+Asserts/.dir
llvm[2]: Compiling Debug.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/tools/klee -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/tools/klee/Release+Asserts/Debug.d.tmp" -MT "/home/rkx/klee/tools/klee/Release+Asserts/Debug.o" -MT "/home/rkx/klee/tools/klee/Release+Asserts/Debug.d" Debug.cpp -o /home/rkx/klee/tools/klee/Release+Asserts/Debug.o ; \
        then /bin/mv -f "/home/rkx/klee/tools/klee/Release+Asserts/Debug.d.tmp" "/home/rkx/klee/tools/klee/Release+Asserts/Debug.d"; else /bin/rm "/home/rkx/klee/tools/klee/Release+Asserts/Debug.d.tmp"; exit 1; fi
llvm[2]: Compiling main.cpp for Release+Asserts build
if g++ -I/home/rkx/klee/include -I/home/rkx/klee/tools/klee -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2  -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -c -MMD -MP -MF "/home/rkx/klee/tools/klee/Release+Asserts/main.d.tmp" -MT "/home/rkx/klee/tools/klee/Release+Asserts/main.o" -MT "/home/rkx/klee/tools/klee/Release+Asserts/main.d" main.cpp -o /home/rkx/klee/tools/klee/Release+Asserts/main.o ; \
        then /bin/mv -f "/home/rkx/klee/tools/klee/Release+Asserts/main.d.tmp" "/home/rkx/klee/tools/klee/Release+Asserts/main.d"; else /bin/rm "/home/rkx/klee/tools/klee/Release+Asserts/main.d.tmp"; exit 1; fi
/usr/lib/llvm-3.4/build/autoconf/mkinstalldirs /home/rkx/klee/Release+Asserts/bin > /dev/null
/bin/date > /home/rkx/klee/Release+Asserts/bin/.dir
llvm[2]: Linking Release+Asserts executable klee (without symbols)
g++ -I/home/rkx/klee/include -I/home/rkx/klee/tools/klee -I/usr/lib/llvm-3.4/build/include  -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -g -O2 -fomit-frame-pointer -fno-exceptions -fPIC -Woverloaded-virtual -Wcast-qual  -DKLEE_DIR=\"/home/rkx/klee\" -DKLEE_INSTALL_BIN_DIR=\"/usr/local/bin\" -DKLEE_INSTALL_RUNTIME_DIR=\"/usr/local/lib/klee/runtime\" -DEXT_HASH_MAP -g -O2 -g -Wall -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -g -Wl,-Bsymbolic-functions -Wl,-z,relro   -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings  -g -O2 -Wl,-R -Wl,'$ORIGIN/../lib' -Wl,-R -Wl,/home/rkx/klee/Release+Asserts/bin -rdynamic -L/home/rkx/klee/Release+Asserts/lib -L/usr/lib/llvm-3.4/build/Release/lib  -o /home/rkx/klee/Release+Asserts/bin/klee  /home/rkx/klee/tools/klee/Release+Asserts/Debug.o /home/rkx/klee/tools/klee/Release+Asserts/main.o -lkleeCore -lkleeBasic -lkleeModule -lkleaverSolver -lkleaverExpr -lkleeSupport \
-lLLVM-3.4.2   -lpthread -lffi -ltinfo -ldl -lm  -lstp -lminisat
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `KleeHandler::openOutputFile(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)':
/home/rkx/klee/tools/klee/main.cpp:382: undefined reference to `llvm::raw_fd_ostream::raw_fd_ostream(char const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >&, llvm::sys::fs::OpenFlags)'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `KleeHandler::getRunTimeLibraryPath[abi:cxx11](char const*)':
/home/rkx/klee/tools/klee/main.cpp:587: undefined reference to `llvm::sys::fs::getMainExecutable[abi:cxx11](char const*, void*)'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `KleeHandler::getOutFiles(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >&)':
/home/rkx/klee/tools/klee/main.cpp:571: undefined reference to `llvm::error_code::message[abi:cxx11]() const'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `KleeHandler::KleeHandler(int, char**)':
/home/rkx/klee/tools/klee/main.cpp:288: undefined reference to `llvm::error_code::message[abi:cxx11]() const'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::~opt()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:1149: undefined reference to `vtable for llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::OptionValue()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:454: undefined reference to `vtable for llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::opt<llvm::cl::desc, llvm::cl::FormattingFlags, llvm::cl::initializer<char [2]> >(llvm::cl::desc const&, llvm::cl::FormattingFlags const&, llvm::cl::initializer<char [2]> const&)':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:1218: undefined reference to `vtable for llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::parser()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:905: undefined reference to `vtable for llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::OptionValue()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:454: undefined reference to `vtable for llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::opt<char [12], llvm::cl::desc, llvm::cl::initializer<char [5]> >(char const (&) [12], llvm::cl::desc const&, llvm::cl::initializer<char [5]> const&)':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:1218: undefined reference to `vtable for llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::parser()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:905: undefined reference to `vtable for llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::OptionValue()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:454: undefined reference to `vtable for llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::opt<char [8], llvm::cl::desc>(char const (&) [8], llvm::cl::desc const&)':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:1210: undefined reference to `vtable for llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::parser()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:905: undefined reference to `vtable for llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::OptionValue()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:454: undefined reference to `vtable for llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::opt<char [11], llvm::cl::desc, llvm::cl::initializer<char [1]> >(char const (&) [11], llvm::cl::desc const&, llvm::cl::initializer<char [1]> const&)':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:1218: undefined reference to `vtable for llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::parser()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:905: undefined reference to `vtable for llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:905: undefined reference to `vtable for llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::OptionValue()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:454: undefined reference to `vtable for llvm::cl::OptionValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::opt<char [12], llvm::cl::desc, llvm::cl::value_desc>(char const (&) [12], llvm::cl::desc const&, llvm::cl::value_desc const&)':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:1218: undefined reference to `vtable for llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `main':
/home/rkx/klee/tools/klee/main.cpp:1227: undefined reference to `llvm::getLazyBitcodeModule(llvm::MemoryBuffer*, llvm::LLVMContext&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*)'
/home/rkx/klee/tools/klee/main.cpp:1230: undefined reference to `llvm::Module::MaterializeAllPermanently(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*)'
/home/rkx/klee/tools/klee/main.cpp:1224: undefined reference to `llvm::error_code::message[abi:cxx11]() const'
/home/rkx/klee/tools/klee/Release+Asserts/main.o: In function `llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::~opt()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:1149: undefined reference to `vtable for llvm::cl::opt<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, false, llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >'
/home/rkx/klee/Release+Asserts/lib/libkleeCore.a(Executor.o): In function `klee::Executor::terminateStateEarly(klee::ExecutionState&, llvm::Twine const&)':
/home/rkx/klee/lib/Core/Executor.cpp:2712: undefined reference to `llvm::Twine::str[abi:cxx11]() const'
/home/rkx/klee/Release+Asserts/lib/libkleeCore.a(Executor.o): In function `klee::Executor::terminateStateOnError(klee::ExecutionState&, llvm::Twine const&, char const*, llvm::Twine const&)':
/home/rkx/klee/lib/Core/Executor.cpp:2770: undefined reference to `llvm::Twine::str[abi:cxx11]() const'
/home/rkx/klee/lib/Core/Executor.cpp:2796: undefined reference to `llvm::Twine::str[abi:cxx11]() const'
/home/rkx/klee/Release+Asserts/lib/libkleeCore.a(ExternalDispatcher.o): In function `klee::ExternalDispatcher::ExternalDispatcher()':
/home/rkx/klee/lib/Core/ExternalDispatcher.cpp:92: undefined reference to `llvm::ExecutionEngine::createJIT(llvm::Module*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*, llvm::JITMemoryManager*, llvm::CodeGenOpt::Level, bool, llvm::Reloc::Model, llvm::CodeModel::Model)'
/home/rkx/klee/Release+Asserts/lib/libkleeCore.a(ExternalDispatcher.o): In function `llvm::sys::DynamicLibrary::LoadLibraryPermanently(char const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*)':
/usr/lib/llvm-3.4/build/include/llvm/Support/DynamicLibrary.h:77: undefined reference to `llvm::sys::DynamicLibrary::getPermanentLibrary(char const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*)'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(KModule.o): In function `llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::parser()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:905: undefined reference to `vtable for llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(LowerSwitch.o):(.data.rel.ro._ZTVN4klee15LowerSwitchPassE[_ZTVN4klee15LowerSwitchPassE]+0x40): undefined reference to `llvm::FunctionPass::createPrinterPass(llvm::raw_ostream&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(ModuleUtil.o): In function `klee::linkWithLibrary(llvm::Module*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)':
/home/rkx/klee/lib/Module/ModuleUtil.cpp:402: undefined reference to `llvm::error_code::message[abi:cxx11]() const'
/home/rkx/klee/lib/Module/ModuleUtil.cpp:388: undefined reference to `llvm::ParseBitcodeFile(llvm::MemoryBuffer*, llvm::LLVMContext&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*)'
/home/rkx/klee/lib/Module/ModuleUtil.cpp:391: undefined reference to `llvm::Linker::LinkModules(llvm::Module*, llvm::Module*, unsigned int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*)'
/home/rkx/klee/lib/Module/ModuleUtil.cpp:245: undefined reference to `llvm::error_code::message[abi:cxx11]() const'
/home/rkx/klee/lib/Module/ModuleUtil.cpp:253: undefined reference to `llvm::ParseBitcodeFile(llvm::MemoryBuffer*, llvm::LLVMContext&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*)'
/home/rkx/klee/lib/Module/ModuleUtil.cpp:322: undefined reference to `llvm::Linker::LinkModules(llvm::Module*, llvm::Module*, unsigned int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*)'
/home/rkx/klee/lib/Module/ModuleUtil.cpp:279: undefined reference to `llvm::error_code::message[abi:cxx11]() const'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(Optimize.o): In function `llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::parser(llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&)':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:905: undefined reference to `vtable for llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(Optimize.o): In function `void llvm::cl::opt_storage<llvm::PluginLoader, false, true>::setValue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, bool)':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:1101: undefined reference to `llvm::PluginLoader::operator=(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(Optimize.o): In function `llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >::parser()':
/usr/lib/llvm-3.4/build/include/llvm/Support/CommandLine.h:905: undefined reference to `vtable for llvm::cl::parser<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(PhiCleaner.o):(.data.rel.ro._ZTVN4klee14PhiCleanerPassE[_ZTVN4klee14PhiCleanerPassE]+0x40): undefined reference to `llvm::FunctionPass::createPrinterPass(llvm::raw_ostream&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(RaiseAsm.o): In function `klee::RaiseAsmPass::runOnModule(llvm::Module&)':
/home/rkx/klee/lib/Module/RaiseAsm.cpp:64: undefined reference to `llvm::sys::getDefaultTargetTriple[abi:cxx11]()'
/home/rkx/klee/lib/Module/RaiseAsm.cpp:68: undefined reference to `llvm::TargetRegistry::lookupTarget(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >&)'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(RaiseAsm.o):(.data.rel.ro._ZTVN4klee12RaiseAsmPassE[_ZTVN4klee12RaiseAsmPassE]+0x40): undefined reference to `llvm::ModulePass::createPrinterPass(llvm::raw_ostream&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(Checks.o):(.data.rel.ro._ZTVN4klee12DivCheckPassE[_ZTVN4klee12DivCheckPassE]+0x40): undefined reference to `llvm::ModulePass::createPrinterPass(llvm::raw_ostream&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(Checks.o):(.data.rel.ro._ZTVN4klee18OvershiftCheckPassE[_ZTVN4klee18OvershiftCheckPassE]+0x40): undefined reference to `llvm::ModulePass::createPrinterPass(llvm::raw_ostream&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const'
/home/rkx/klee/Release+Asserts/lib/libkleeModule.a(IntrinsicCleaner.o):(.data.rel.ro._ZTVN4klee20IntrinsicCleanerPassE[_ZTVN4klee20IntrinsicCleanerPassE]+0x40): undefined reference to `llvm::ModulePass::createPrinterPass(llvm::raw_ostream&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const'
/home/rkx/klee/Release+Asserts/lib/libkleaverSolver.a(QueryLoggingSolver.o): In function `QueryLoggingSolver::QueryLoggingSolver(klee::Solver*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, int)':
/home/rkx/klee/lib/Solver/QueryLoggingSolver.cpp:37: undefined reference to `llvm::raw_fd_ostream::raw_fd_ostream(char const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >&, llvm::sys::fs::OpenFlags)'
/home/rkx/klee/Release+Asserts/lib/libkleaverExpr.a(Expr.o): In function `klee::ConstantExpr::toString(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >&, unsigned int) const':
/home/rkx/klee/lib/Expr/Expr.cpp:351: undefined reference to `llvm::APInt::toString[abi:cxx11](unsigned int, bool) const'
collect2: error: ld returned 1 exit status
/home/rkx/klee/Makefile.rules:1389: recipe for target '/home/rkx/klee/Release+Asserts/bin/klee' failed
make[2]: *** [/home/rkx/klee/Release+Asserts/bin/klee] Error 1
make[2]: Leaving directory '/home/rkx/klee/tools/klee'
/home/rkx/klee/Makefile.rules:806: recipe for target 'klee/.makeall' failed
make[1]: *** [klee/.makeall] Error 2
make[1]: Leaving directory '/home/rkx/klee/tools'
/home/rkx/klee/Makefile.rules:757: recipe for target 'all' failed
make: *** [all] Error 1