Mock Version: 1.4.21 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/symbiotic.spec'], chrootPath='/var/lib/mock/1129971-fedora-rawhide-x86_64-1576510514.025918/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h5qu2i5j:/etc/resolv.conf']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h5qu2i5j:/etc/resolv.conf'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '768986efaadb48a386d505a08230a40a', '-D', '/var/lib/mock/1129971-fedora-rawhide-x86_64-1576510514.025918/root', '-a', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h5qu2i5j:/etc/resolv.conf', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=en_US.UTF-8', '-u', 'mockbuild', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/symbiotic.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/symbiotic.spec'], chrootPath='/var/lib/mock/1129971-fedora-rawhide-x86_64-1576510514.025918/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h5qu2i5j:/etc/resolv.conf']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h5qu2i5j:/etc/resolv.conf'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '15b3b662337c48a39353b48e3ad5c2e1', '-D', '/var/lib/mock/1129971-fedora-rawhide-x86_64-1576510514.025918/root', '-a', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.h5qu2i5j:/etc/resolv.conf', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=en_US.UTF-8', '-u', 'mockbuild', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/symbiotic.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.cpFT0t + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf symbiotic-6.1.0.20191216.155939.gafd8609 + /usr/bin/xz -dc /builddir/build/SOURCES/symbiotic-6.1.0.20191216.155939.gafd8609.tar.xz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd symbiotic-6.1.0.20191216.155939.gafd8609 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -i system-build.sh -e 's|^export PREFIX=|#&|' + sed -i scripts/precompile_bitcode_files.sh -e 's|^PREFIX=|#&|' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.8RUy1w + umask 022 + cd /builddir/build/BUILD + cd symbiotic-6.1.0.20191216.155939.gafd8609 + export PREFIX=/builddir/build/BUILD/opt/symbiotic + PREFIX=/builddir/build/BUILD/opt/symbiotic + bash -x ./system-build.sh -j2 + set -e ++ dirname ./system-build.sh + source ./scripts/build-utils.sh ++ set -x ++ set -E ++ trap '[ "$?" -ne 77 ] || exit 77' ERR ++ GET='curl -LRO' ++ pwd + RUNDIR=/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ++ dirname ./system-build.sh + SRCDIR=. ++ abspath /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ++ which realpath ++ realpath /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + ABS_RUNDIR=/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ++ abspath . ++ which realpath ++ realpath . + ABS_SRCDIR=/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + export LD_LIBRARY_PATH=/builddir/build/BUILD/opt/symbiotic/lib: + LD_LIBRARY_PATH=/builddir/build/BUILD/opt/symbiotic/lib: + export C_INCLUDE_PATH=/builddir/build/BUILD/opt/symbiotic/include: + C_INCLUDE_PATH=/builddir/build/BUILD/opt/symbiotic/include: + export PKG_CONFIG_PATH=/builddir/build/BUILD/opt/symbiotic/lib/pkgconfig:/builddir/build/BUILD/opt/symbiotic/share/pkgconfig::/usr/lib64/pkgconfig:/usr/share/pkgconfig + PKG_CONFIG_PATH=/builddir/build/BUILD/opt/symbiotic/lib/pkgconfig:/builddir/build/BUILD/opt/symbiotic/share/pkgconfig::/usr/lib64/pkgconfig:/usr/share/pkgconfig + FROM=0 + UPDATE= + OPTS= + ARCHIVE=no + FULL_ARCHIVE=no + BUILD_KLEE=yes + LLVM_CONFIG= + '[' 1 -gt 0 ']' + case $1 in + '[' -z '' ']' + OPTS=-j2 + shift + '[' 0 -gt 0 ']' + '[' x-j2 = x ']' ++ check_32_bit ++ echo '#include ' ++ gcc - -E -m32 ++ echo yes + HAVE_32_BIT_LIBS=yes ++ check_z3 ++ echo '#include ' ++ gcc - -E ++ echo '#include ' ++ gcc - -E ++ echo yes + HAVE_Z3=yes ++ check_gtest ++ echo '#include ' ++ gcc - -E ++ echo no + HAVE_GTEST=no ++ check_tcmalloc ++ echo '#include ' ++ gcc - -E ++ echo off + ENABLE_TCMALLOC=off + '[' yes = no -a yes = yes ']' + '[' -z '' ']' + '[' -f CMakeCache.txt ']' + '[' -z '' ']' + BUILD_TYPE=Release + echo 'Previous build type identified as Release' Previous build type identified as Release + '[' Release '!=' Debug -a Release '!=' Release -a Release '!=' RelWithDebInfo -a Release '!=' MinSizeRel ']' + mkdir -p /builddir/build/BUILD/opt/symbiotic/bin + mkdir -p /builddir/build/BUILD/opt/symbiotic/lib + mkdir -p /builddir/build/BUILD/opt/symbiotic/lib32 + mkdir -p /builddir/build/BUILD/opt/symbiotic/include + check + MISSING= + curl --version + '[' yes = yes ']' + which unzip + cmake --version + make --version + rsync --version + tar --version + xz --version + '[' '' '!=' '' ']' + '[' yes = yes -a yes = no ']' + test -z '' ++ which llvm-config + LLVM_CONFIG=/usr/bin/llvm-config + '[' '!' -z /usr/bin/llvm-config -a -x /usr/bin/llvm-config ']' + echo 'Using llvm-config: /usr/bin/llvm-config' Using llvm-config: /usr/bin/llvm-config ++ /usr/bin/llvm-config --version + LLVM_VERSION=9.0.0 + LLVM_TOOLS='opt clang llvm-link llvm-dis llvm-nm' + export LLVM_PREFIX=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0 + LLVM_PREFIX=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0 + mkdir -p /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin + for T in $LLVM_TOOLS ++ which opt + TOOL=/usr/bin/opt + '[' -z /usr/bin/opt -o '!' -x /usr/bin/opt ']' + readlink -- /usr/bin/opt + cp /usr/bin/opt /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin + for T in $LLVM_TOOLS ++ which clang + TOOL=/usr/bin/clang + '[' -z /usr/bin/clang -o '!' -x /usr/bin/clang ']' + readlink -- /usr/bin/clang + ln -fs /usr/bin/clang /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/ + for T in $LLVM_TOOLS ++ which llvm-link + TOOL=/usr/bin/llvm-link + '[' -z /usr/bin/llvm-link -o '!' -x /usr/bin/llvm-link ']' + readlink -- /usr/bin/llvm-link + cp /usr/bin/llvm-link /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin + for T in $LLVM_TOOLS ++ which llvm-dis + TOOL=/usr/bin/llvm-dis + '[' -z /usr/bin/llvm-dis -o '!' -x /usr/bin/llvm-dis ']' + readlink -- /usr/bin/llvm-dis + cp /usr/bin/llvm-dis /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin + for T in $LLVM_TOOLS ++ which llvm-nm + TOOL=/usr/bin/llvm-nm + '[' -z /usr/bin/llvm-nm -o '!' -x /usr/bin/llvm-nm ']' + readlink -- /usr/bin/llvm-nm + cp /usr/bin/llvm-nm /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin + mkdir -p /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib +++ which clang ++ dirname /usr/bin/clang + ln -sf /usr/bin/../lib/clang/ /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/ + '[' 0 -le 1 ']' ++ ls -A ./dg + '[' x = x1 -o -z '.git .gitignore .travis.yml CMakeLists.txt Changelog LICENSE README.md git_rev-parse.ver include lib tests tools' ']' + pushd ./dg ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + mkdir -p build-9.0.0 + pushd build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + '[' '!' -d CMakeFiles ']' ++ /usr/bin/llvm-config --cmakedir + cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_LIBDIR:PATH=lib -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0 -DLLVM_DIR=/usr/lib64/cmake/llvm -- The C compiler identification is GNU 9.2.1 -- The CXX compiler identification is GNU 9.2.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Build type: Release -- Found LLVM 9.0.0 -- Using LLVMConfig.cmake in: /usr/lib64/cmake/llvm -- LLVM binaries: /usr/bin -- Linker detection: GNU ld -- LLVM include dir: /usr/include -- LLVM libraries dir: /usr/lib64 -- LLVM definitions: -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -- Looking for headers in: /usr/include -- Looking for libraries in: /usr/lib64 -- Using compiler: /usr/bin/c++ -- Using compilation flags: -O2 -DNDEBUG -- Additional compilation flags: -fno-rtti -std=c++11 -Wall -Wextra -- CMAKE_INSTALL_LIBDIR: "lib" -- CMAKE_INSTALL_INCLUDEDIR: "include" -- Configuring done -- Generating done -- Build files have been written to: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/build-9.0.0 + build + make -j2 CFLAGS= CPPFLAGS= LDFLAGS= Scanning dependencies of target dganalysis Scanning dependencies of target gitversion [ 1%] Building CXX object lib/CMakeFiles/dganalysis.dir/Offset.cpp.o [ 1%] Built target gitversion Scanning dependencies of target dgllvmslicer [ 2%] Linking CXX shared library libdganalysis.so [ 4%] Building CXX object tools/CMakeFiles/dgllvmslicer.dir/llvm-slicer-opts.cpp.o [ 4%] Built target dganalysis Scanning dependencies of target llvm-vr-dump [ 5%] Building CXX object tools/CMakeFiles/llvm-vr-dump.dir/llvm-vr-dump.cpp.o [ 5%] Linking CXX executable llvm-vr-dump [ 6%] Building CXX object tools/CMakeFiles/dgllvmslicer.dir/llvm-slicer-utils.cpp.o [ 6%] Built target llvm-vr-dump Scanning dependencies of target llvm-to-source [ 8%] Building CXX object tools/CMakeFiles/llvm-to-source.dir/llvm-to-source.cpp.o [ 9%] Linking CXX shared library libdgllvmslicer.so [ 9%] Built target dgllvmslicer Scanning dependencies of target dgpta [ 10%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/Pointer.cpp.o [ 12%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/PointerAnalysis.cpp.o [ 13%] Linking CXX executable llvm-to-source [ 13%] Built target llvm-to-source Scanning dependencies of target dgdda [ 14%] Building CXX object lib/CMakeFiles/dgdda.dir/ReachingDefinitions/BasicRDMap.cpp.o [ 16%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/PointerGraphValidator.cpp.o /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp: In member function 'bool dg::pta::PointerGraphValidator::checkOperands()': /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'ALLOC' not handled in switch [-Wswitch] 120 | switch (nd->getType()) { | ^ /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'CALL' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'CALL_FUNCPTR' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'CALL_RETURN' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'ENTRY' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'RETURN' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'FORK' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'JOIN' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'INVALIDATE_LOCALS' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:120:16: warning: enumeration value 'INVALIDATED' not handled in switch [-Wswitch] [ 17%] Building CXX object lib/CMakeFiles/dgdda.dir/ReachingDefinitions/ReachingDefinitions.cpp.o [ 18%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/PointsToSet.cpp.o [ 18%] Building CXX object lib/CMakeFiles/dgdda.dir/ReadWriteGraph/ReadWriteGraph.cpp.o [ 20%] Linking CXX shared library libdgpta.so [ 20%] Built target dgpta Scanning dependencies of target dgllvmpta [ 21%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/PointerAnalysis.cpp.o [ 22%] Building CXX object lib/CMakeFiles/dgdda.dir/MemorySSA/MemorySSA.cpp.o [ 24%] Linking CXX shared library libdgdda.so [ 24%] Built target dgdda [ 25%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/PointerGraph.cpp.o [ 26%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/PointerGraphValidator.cpp.o /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/llvm/PointerAnalysis/PointerGraph.cpp: In member function 'dg::pta::PointerGraph* dg::pta::LLVMPointerGraphBuilder::buildLLVMPointerGraph()': /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/llvm/PointerAnalysis/PointerGraph.cpp:641:13: warning: unused variable 'root' [-Wunused-variable] 641 | PSNode *root = subg.root; | ^~~~ [ 28%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Block.cpp.o [ 29%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Interprocedural.cpp.o [ 29%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Structure.cpp.o /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/llvm/PointerAnalysis/Interprocedural.cpp: In member function 'void dg::pta::LLVMPointerGraphBuilder::addInterproceduralOperands(const llvm::Function*, dg::pta::PointerSubgraph&, const llvm::CallInst*, dg::pta::PSNode*)': /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/llvm/PointerAnalysis/Interprocedural.cpp:211:14: warning: unused variable 'callReturnNode' [-Wunused-variable] 211 | auto callReturnNode = PSNodeCallRet::cast(callNode->getPairedNode()); | ^~~~~~~~~~~~~~ [ 30%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Globals.cpp.o [ 32%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Constants.cpp.o [ 33%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Instructions.cpp.o [ 34%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Calls.cpp.o /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/llvm/PointerAnalysis/Instructions.cpp: In member function 'dg::pta::LLVMPointerGraphBuilder::PSNodesSeq& dg::pta::LLVMPointerGraphBuilder::createReturn(const llvm::Instruction*)': /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib/llvm/PointerAnalysis/Instructions.cpp:305:22: warning: unused variable 'alloc' [-Wunused-variable] 305 | if (auto alloc = PSNodeAlloc::get(op1)) { | ^~~~~ [ 36%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Threads.cpp.o [ 36%] Linking CXX shared library libdgllvmpta.so [ 36%] Built target dgllvmpta Scanning dependencies of target llvm-pta-dump Scanning dependencies of target dgllvmforkjoin [ 37%] Building CXX object lib/CMakeFiles/dgllvmforkjoin.dir/llvm/ForkJoin/ForkJoin.cpp.o [ 38%] Building CXX object tools/CMakeFiles/llvm-pta-dump.dir/llvm-pta-dump.cpp.o [ 38%] Linking CXX shared library libdgllvmforkjoin.so [ 38%] Built target dgllvmforkjoin Scanning dependencies of target llvm-pta-ben [ 40%] Building CXX object tools/CMakeFiles/llvm-pta-ben.dir/llvm-pta-ben.cpp.o [ 41%] Linking CXX executable llvm-pta-dump [ 41%] Built target llvm-pta-dump Scanning dependencies of target llvm-pta-compare [ 42%] Building CXX object tools/CMakeFiles/llvm-pta-compare.dir/llvm-pta-compare.cpp.o [ 42%] Linking CXX executable llvm-pta-ben [ 42%] Built target llvm-pta-ben Scanning dependencies of target dgllvmcda [ 44%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/Block.cpp.o [ 45%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/Function.cpp.o [ 46%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/GraphBuilder.cpp.o [ 48%] Linking CXX executable llvm-pta-compare [ 48%] Built target llvm-pta-compare Scanning dependencies of target dgllvmthreadregions [ 49%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/Node.cpp.o [ 50%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/GeneralNode.cpp.o [ 52%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/ForkNode.cpp.o [ 52%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/NonTerminationSensitiveControlDependencyAnalysis.cpp.o [ 53%] Linking CXX shared library libdgllvmcda.so [ 53%] Built target dgllvmcda Scanning dependencies of target dgllvmdda [ 54%] Building CXX object lib/CMakeFiles/dgllvmdda.dir/llvm/ReadWriteGraph/LLVMReadWriteGraphBuilder.cpp.o [ 54%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/JoinNode.cpp.o [ 56%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/LockNode.cpp.o [ 57%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/UnlockNode.cpp.o [ 58%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/EntryNode.cpp.o [ 60%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/ExitNode.cpp.o [ 61%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/CallNode.cpp.o [ 61%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/CallFuncPtrNode.cpp.o [ 62%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/CallReturnNode.cpp.o [ 64%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/ReturnNode.cpp.o [ 65%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Nodes/NodeIterator.cpp.o [ 66%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Graphs/BlockGraph.cpp.o [ 68%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Graphs/FunctionGraph.cpp.o [ 68%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Graphs/GraphBuilder.cpp.o [ 69%] Building CXX object lib/CMakeFiles/dgllvmdda.dir/llvm/DataDependenceAnalysis/LLVMDataDependenceAnalysis.cpp.o [ 70%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Graphs/ThreadRegionsBuilder.cpp.o [ 72%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Graphs/CriticalSectionsBuilder.cpp.o [ 73%] Building CXX object lib/CMakeFiles/dgllvmdda.dir/llvm/ForkJoin/ForkJoin.cpp.o [ 74%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/Graphs/ControlFlowGraph.cpp.o [ 76%] Linking CXX shared library libdgllvmdda.so [ 77%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/ThreadRegion.cpp.o [ 77%] Built target dgllvmdda Scanning dependencies of target llvm-ntscd-dump [ 78%] Building CXX object tools/CMakeFiles/llvm-ntscd-dump.dir/llvm-ntscd-dump.cpp.o [ 80%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/sources/MayHappenInParallel.cpp.o [ 80%] Linking CXX shared library libdgllvmthreadregions.so [ 80%] Built target dgllvmthreadregions Scanning dependencies of target llvm-dda-compare [ 81%] Building CXX object tools/CMakeFiles/llvm-dda-compare.dir/llvm-dda-compare.cpp.o [ 82%] Linking CXX executable llvm-ntscd-dump [ 82%] Built target llvm-ntscd-dump Scanning dependencies of target llvm-dda-dump [ 84%] Building CXX object tools/CMakeFiles/llvm-dda-dump.dir/llvm-dda-dump.cpp.o [ 85%] Linking CXX executable llvm-dda-compare [ 85%] Built target llvm-dda-compare Scanning dependencies of target dgllvmdg [ 86%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/LLVMNode.cpp.o [ 86%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/LLVMDependenceGraph.cpp.o [ 88%] Linking CXX executable llvm-dda-dump [ 88%] Built target llvm-dda-dump Scanning dependencies of target llvm-thread-regions-dump [ 89%] Building CXX object tools/CMakeFiles/llvm-thread-regions-dump.dir/llvm-thread-regions-dump.cpp.o [ 90%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/LLVMDGVerifier.cpp.o [ 92%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/Dominators/PostDominators.cpp.o [ 93%] Linking CXX executable llvm-thread-regions-dump [ 93%] Built target llvm-thread-regions-dump [ 94%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/DefUse/DefUse.cpp.o [ 96%] Linking CXX shared library libdgllvmdg.so [ 96%] Built target dgllvmdg Scanning dependencies of target llvm-slicer Scanning dependencies of target llvm-dg-dump [ 97%] Building CXX object tools/CMakeFiles/llvm-dg-dump.dir/llvm-dg-dump.cpp.o [ 98%] Building CXX object tools/CMakeFiles/llvm-slicer.dir/llvm-slicer.cpp.o /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/tools/llvm-slicer.cpp: In function 'int main(int, char**)': /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/tools/llvm-slicer.cpp:490:21: warning: suggest braces around empty body in an 'if' statement [-Wempty-body] 490 | DBG_ENABLE(); | ^ [ 98%] Linking CXX executable llvm-dg-dump [ 98%] Building CXX object tools/CMakeFiles/llvm-slicer.dir/llvm-slicer-crit.cpp.o [ 98%] Built target llvm-dg-dump [100%] Linking CXX executable llvm-slicer [100%] Built target llvm-slicer + return 0 + make install [ 2%] Built target dganalysis [ 9%] Built target dgpta [ 22%] Built target dgllvmpta [ 24%] Built target dgllvmforkjoin [ 29%] Built target dgllvmcda [ 53%] Built target dgllvmthreadregions [ 58%] Built target dgdda [ 64%] Built target dgllvmdda [ 70%] Built target dgllvmdg [ 73%] Built target llvm-thread-regions-dump [ 76%] Built target llvm-pta-dump [ 76%] Built target gitversion [ 80%] Built target dgllvmslicer [ 82%] Built target llvm-slicer [ 84%] Built target llvm-vr-dump [ 86%] Built target llvm-ntscd-dump [ 89%] Built target llvm-dda-compare [ 90%] Built target llvm-dg-dump [ 92%] Built target llvm-pta-ben [ 94%] Built target llvm-dda-dump [ 97%] Built target llvm-to-source [100%] Built target llvm-pta-compare Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/util -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/util/debug.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/util/cow_shared_ptr.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ValueRelations -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ValueRelations/getValName.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ValueRelations/ValueRelationsAnalysis.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ValueRelations/ValueRelations.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ValueRelations/Relations.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ValueRelations/ReadsMap.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ValueRelations/Graph.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ValueRelations/EqualityMap.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ThreadRegions -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ThreadRegions/ThreadRegion.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ThreadRegions/MayHappenInParallel.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/ThreadRegions/ControlFlowGraph.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/PointerAnalysis -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/PointerAnalysis/SVFPointerAnalysis.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/PointerAnalysis/PointerGraph.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/PointerAnalysis/PointerAnalysis.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/PointerAnalysis/LLVMPointsToSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/PointerAnalysis/LLVMPointerAnalysisOptions.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/PointerAnalysis/DGPointerAnalysis.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/LLVMSlicer.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/LLVMNode.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/LLVMDependenceGraphBuilder.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/LLVMDependenceGraph.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/LLVMDGAssemblyAnnotationWriter.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/LLVMDG2Dot.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/LLVMAnalysisOptions.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/Dominators -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/Dominators/Dominators.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/DataDependence -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/DataDependence/LLVMDataDependenceAnalysisOptions.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/llvm/DataDependence/DataDependence.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/legacy -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/legacy/NodesWalk.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/legacy/DataFlowAnalysis.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/legacy/DFS.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/legacy/BFS.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/legacy/Analysis.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ValueRelations -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ValueRelations/ValueRelations.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/SubgraphNode.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/Slicing.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/SCC.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ReadWriteGraph -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ReadWriteGraph/ReadWriteGraph.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ReadWriteGraph/RWNode.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ReadWriteGraph/RWBBlock.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ReachingDefinitions -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ReachingDefinitions/ReachingDefinitions.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ReachingDefinitions/RDMap.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToSets -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToSets/SmallOffsetsPointsToSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToSets/SimplePointsToSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToSets/SeparateOffsetsPointsToSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToSets/PointerIdPointsToSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToSets/OffsetsSetPointsToSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToSets/AlignedSmallOffsetsPointsToSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToSets/AlignedPointerIdPointsToSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointsToMapping.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointerGraphValidator.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointerGraphOptimizations.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointerGraph.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointerAnalysisOptions.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointerAnalysisFSInv.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointerAnalysisFS.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointerAnalysisFI.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PointerAnalysis.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/Pointer.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/PSNode.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/PointerAnalysis/MemoryObject.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/Offset.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/NodesWalk.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/Node.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/MemoryState.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/MemorySSA -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/MemorySSA/MemorySSA.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/MemorySSA/DefinitionsMap.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/Dominators -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/Dominators/PostDominanceFrontiers.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/Dominators/DominanceFrontiers.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/DependenceGraph.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/DataDependence -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/DataDependence/DataDependenceAnalysisOptions.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/DataDependence/DataDependenceAnalysisImpl.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/DataDependence/DataDependence.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/DGParameters.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/DG2Dot.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/DFS.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ControlExpression -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ControlExpression/ControlExpression.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ControlExpression/CFA.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ControlExpression/CENode.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/CallGraph.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/BFS.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/BBlocksBuilder.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/BBlock.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/AnalysisOptions.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ADT -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ADT/SetQueue.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ADT/Queue.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ADT/NumberSet.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ADT/HashMap.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ADT/DisjunctiveIntervalMap.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ADT/DGContainer.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ADT/Bitvector.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/ADT/Bits.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdg.so -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdg.so" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmthreadregions.so -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmthreadregions.so" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmcda.so -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmcda.so" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmpta.so -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmpta.so" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdda.so -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdda.so" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgpta.so -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgpta.so" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgdda.so -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgdda.so" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdganalysis.so -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmforkjoin.so -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmforkjoin.so" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-dg-dump -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-dg-dump" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmslicer.so -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/tools/llvm-slicer.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/tools/llvm-slicer-opts.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/dg/tools/llvm-slicer-utils.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/pta-show -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvmdda-dump -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvmdg-show -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer-c + popd ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + popd ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ++ ls -A ./sbt-slicer + '[' x = x1 -o -z '.git .gitignore CMakeLists.txt LICENSE README.md bootstrap-dg.sh git_rev-parse.ver src' ']' + pushd ./sbt-slicer ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-slicer ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + mkdir -p build-9.0.0 + pushd build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-slicer/build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-slicer ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + '[' '!' -d CMakeFiles ']' ++ /usr/bin/llvm-config --cmakedir + cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_LIBDIR:PATH=lib -DCMAKE_INSTALL_FULL_DATADIR:PATH=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share -DLLVM_DIR=/usr/lib64/cmake/llvm -DDG_PATH=/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0 -- The C compiler identification is GNU 9.2.1 -- The CXX compiler identification is GNU 9.2.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found LLVM 9.0.0 -- Using LLVMConfig.cmake in: /usr/lib64/cmake/llvm -- LLVM binaries: /usr/bin -- Linker detection: GNU ld -- LLVM include dir: /usr/include -- LLVM libraries dir: /usr/lib64 -- LLVM definitions: -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -- Looking for LLVM headers in: /usr/include -- Looking for libraries in: /usr/lib64 -- Setting-up paths to an in-source build of dg -- DG include paths: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/include -- DG library paths: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg/lib -- libDGAnalysis library found: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdganalysis.so -- libPTA library found: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgpta.so -- libRD library found: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgdda.so -- libLLVMPTA library found: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmpta.so -- dgllvmdda library found: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdda.so -- dgllvmdg library found: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdg.so -- libdgllvmcda library found: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmcda.so -- libdgThreadRegions library found: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmthreadregions.so -- CMAKE_INSTALL_LIBDIR: "lib" -- CMAKE_INSTALL_DATADIR: "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share" -- Configuring done -- Generating done -- Build files have been written to: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-slicer/build-9.0.0 + build + make -j2 CFLAGS= CPPFLAGS= LDFLAGS= Scanning dependencies of target gitversion [ 0%] Built target gitversion Scanning dependencies of target sbt-slicer [ 50%] Building CXX object src/CMakeFiles/sbt-slicer.dir/llvm-slicer-opts.cpp.o [ 50%] Building CXX object src/CMakeFiles/sbt-slicer.dir/sbt-slicer.cpp.o [ 75%] Building CXX object src/CMakeFiles/sbt-slicer.dir/llvm-slicer-utils.cpp.o [100%] Linking CXX executable sbt-slicer [100%] Built target sbt-slicer + return 0 + make install [ 0%] Built target gitversion [100%] Built target sbt-slicer Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer" to "" + popd ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-slicer ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + popd ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ++ pwd + '[' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 '!=' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ']' + '[' 0 -le 4 -a yes = yes ']' ++ ls -A ./klee + '[' x = x1 -o -z '.cirrus.yml .clang-format .codecov.yml .dockerignore .git .gitattributes .github .gitignore .travis.yml CMakeLists.txt Dockerfile LICENSE.TXT NEWS README-CMake.md README.md cmake docs examples git_rev-parse.ver include lib runtime scripts test tools unittests utils' ']' + mkdir -p klee/build-9.0.0 + pushd klee/build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + '[' xRelease = xRelease ']' + KLEE_BUILD_TYPE=Release+Asserts + STP_FLAGS=-DENABLE_SOLVER_STP=OFF + Z3_FLAGS= + '[' yes = yes ']' + Z3_FLAGS=-DENABLE_SOLVER_Z3=ON + which lit + HAVE_LIT=off + '[' off=yes -a no = yes ']' + ENABLE_TESTS=off + '[' '!' -d CMakeFiles ']' ++ abspath /usr/bin/llvm-config ++ which realpath ++ realpath /usr/bin/llvm-config + cmake .. -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0 -DCMAKE_BUILD_TYPE=Release -DKLEE_RUNTIME_BUILD_TYPE=Release+Asserts -DLLVM_CONFIG_BINARY=/usr/bin/llvm-config-64 -DENABLE_UNIT_TESTS=off -DENABLE_SYSTEM_TESTS=off -DENABLE_TCMALLOC=off -DENABLE_SOLVER_Z3=ON -DENABLE_SOLVER_STP=OFF CMake Deprecation Warning at CMakeLists.txt:25 (cmake_policy): The OLD behavior for policy CMP0054 will be removed from a future version of CMake. The cmake-policies(7) manual explains that the OLD behaviors of all policies are deprecated and that a policy should be set to OLD only under specific short-term circumstances. Projects should be ported to the NEW behavior and not rely on setting a policy to OLD. -- The CXX compiler identification is GNU 9.2.1 -- The C compiler identification is GNU 9.2.1 -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- KLEE version 2.1-pre -- CMake generator: Unix Makefiles -- Build type: Release -- KLEE assertions enabled -- LLVM_CONFIG_BINARY: /usr/bin/llvm-config-64 -- LLVM_PACKAGE_VERSION: "9.0.0" -- LLVM_VERSION_MAJOR: "9" -- LLVM_VERSION_MINOR: "0" -- LLVM_VERSION_PATCH: "0" -- LLVM_DEFINITIONS: "-D_GNU_SOURCE;-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS" -- LLVM_ENABLE_ASSERTIONS: "ON" -- LLVM_ENABLE_EH: "OFF" -- LLVM_ENABLE_RTTI: "ON" -- LLVM_INCLUDE_DIRS: "/usr/include" -- LLVM_LIBRARY_DIRS: "/usr/lib64" -- LLVM_TOOLS_BINARY_DIR: "/usr/bin" -- LLVM_ENABLE_VISIBILITY_INLINES_HIDDEN: "OFF" -- TARGET_TRIPLE: "x86_64-unknown-linux-gnu" -- Looking for bitcode compilers -- Found /usr/bin/clang -- Found /usr/bin/clang++ -- Testing bitcode compiler /usr/bin/clang -- Compile success -- Checking compatibility with LLVM 9.0.0 -- "/usr/bin/clang" is compatible -- Testing bitcode compiler /usr/bin/clang++ -- Compile success -- Checking compatibility with LLVM 9.0.0 -- "/usr/bin/clang++" is compatible -- LLVMCC: /usr/bin/clang -- LLVMCXX: /usr/bin/clang++ -- Performing Test HAS__Wall_CXX -- Performing Test HAS__Wall_CXX - Success -- C++ compiler supports -Wall -- Performing Test HAS__Wextra_CXX -- Performing Test HAS__Wextra_CXX - Success -- C++ compiler supports -Wextra -- Performing Test HAS__Wno_unused_parameter_CXX -- Performing Test HAS__Wno_unused_parameter_CXX - Success -- C++ compiler supports -Wno-unused-parameter -- Performing Test HAS__Wall_C -- Performing Test HAS__Wall_C - Success -- C compiler supports -Wall -- Performing Test HAS__Wextra_C -- Performing Test HAS__Wextra_C - Success -- C compiler supports -Wextra -- Performing Test HAS__Wno_unused_parameter_C -- Performing Test HAS__Wno_unused_parameter_C - Success -- C compiler supports -Wno-unused-parameter -- Not treating compiler warnings as errors -- Could NOT find STP (missing: STP_DIR) -- STP solver support disabled -- Found Z3 libraries: "/usr/lib64/libz3.so" -- Found Z3 include path: "/usr/include/z3" -- Found Z3: /usr/include/z3 -- Z3 solver support enabled -- Found Z3 -- Checking prototype Z3_get_error_msg for HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT - True -- Z3_get_error_msg requires context -- metaSMT solver support disabled -- Performing Test HAS__fno_exceptions -- Performing Test HAS__fno_exceptions - Success -- C++ compiler supports -fno-exceptions -- Found ZLIB: /usr/lib64/libz.so (found version "1.2.11") -- Zlib support enabled -- TCMalloc support disabled -- Found SQLITE3: /usr/lib64/libsqlite3.so -- Looking for sys/capability.h -- Looking for sys/capability.h - not found -- Looking for pty.h -- Looking for pty.h - found -- Looking for util.h -- Looking for util.h - not found -- Looking for libutil.h -- Looking for libutil.h - not found -- Looking for openpty -- Looking for openpty - not found -- Looking for openpty in util -- Looking for openpty in util - found -- Looking for __ctype_b_loc -- Looking for __ctype_b_loc - found -- Looking for mallinfo -- Looking for mallinfo - found -- Looking for malloc_zone_statistics -- Looking for malloc_zone_statistics - not found -- Looking for sys/statfs.h -- Looking for sys/statfs.h - found -- Looking for selinux/selinux.h -- Looking for selinux/selinux.h - not found -- Looking for sys/acl.h -- Looking for sys/acl.h - not found -- SELinux support disabled -- Workaround for LLVM PR39177 (affecting LLVM 3.9 - 7.0.0) disabled -- KLEE_RUNTIME_BUILD_TYPE: Release+Asserts -- POSIX runtime disabled -- klee-uclibc support disabled -- libc++ support disabled -- CMAKE_CXX_FLAGS: -Wall -Wextra -Wno-unused-parameter -- KLEE_GIT_SHA1HASH: -- KLEE_COMPONENT_EXTRA_INCLUDE_DIRS: '/usr/include;/usr/include/z3;/usr/include' -- KLEE_COMPONENT_CXX_DEFINES: '-D_GNU_SOURCE;-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS' -- KLEE_COMPONENT_CXX_FLAGS: '-fno-exceptions' -- KLEE_COMPONENT_EXTRA_LIBRARIES: '/usr/lib64/libz.so' -- KLEE_SOLVER_LIBRARIES: '/usr/lib64/libz3.so' -- Testing is disabled -- Unit tests disabled -- System tests disabled -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) CMake Warning at docs/CMakeLists.txt:46 (message): Doxygen not found. Can't build Doxygen documentation -- Configuring done -- Generating done -- Build files have been written to: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0 + make -C runtime -f Makefile.cmake.bitcode clean make: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libklee-libc.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libkleeRuntimeFreeStanding.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' make: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' + build + make -j2 CFLAGS= CPPFLAGS= LDFLAGS= Scanning dependencies of target kleeBasic Scanning dependencies of target kleeSupport [ 1%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o [ 2%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o [ 2%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o [ 3%] Linking CXX static library ../libkleeBasic.a [ 3%] Built target kleeBasic Scanning dependencies of target kleaverExpr [ 4%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o [ 4%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o [ 4%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o [ 5%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o [ 6%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o [ 7%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o [ 8%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o [ 9%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o [ 10%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o [ 11%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o [ 12%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o [ 13%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o [ 14%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Assignment.cpp.o [ 15%] Linking CXX static library ../libkleeSupport.a [ 15%] Built target kleeSupport Scanning dependencies of target BuildKLEERuntimes [ 15%] Performing RuntimeBuild step for 'BuildKLEERuntimes' make[3]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/dso_handle.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_choose.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_div_zero_check.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_int.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_overshift_check.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_range.c Creating LLVM archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/__cxa_atexit.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/abort.c [ 16%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/atexit.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/atoi.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/bcmp.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/calloc.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/htonl.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/memchr.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/mempcpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/putchar.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/stpcpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strcat.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strchr.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strcmp.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strcoll.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strcpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strlen.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strncmp.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strncpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strrchr.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strtol.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strtoul.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/tolower.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/toupper.c [ 17%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o Creating LLVM archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libklee-libc.bca make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/FreeStanding/memcmp.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/FreeStanding/memcpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/FreeStanding/memmove.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/FreeStanding/memset.c Creating LLVM archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libkleeRuntimeFreeStanding.bca make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' make[3]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' [ 18%] Creating directories for 'BuildKLEERuntimes' [ 19%] No download step for 'BuildKLEERuntimes' [ 20%] No patch step for 'BuildKLEERuntimes' [ 21%] No update step for 'BuildKLEERuntimes' [ 22%] Performing configure step for 'BuildKLEERuntimes' [ 23%] Performing build step for 'BuildKLEERuntimes' [ 24%] Performing install step for 'BuildKLEERuntimes' [ 24%] Completed 'BuildKLEERuntimes' [ 24%] Built target BuildKLEERuntimes Scanning dependencies of target kleeRuntest [ 25%] Building C object runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o [ 26%] Building CXX object runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o [ 27%] Linking CXX shared library ../../lib/libkleeRuntest.so [ 27%] Built target kleeRuntest Scanning dependencies of target gen-bout [ 28%] Building CXX object tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o [ 29%] Linking CXX executable ../../bin/gen-bout [ 30%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o [ 30%] Built target gen-bout Scanning dependencies of target gen-random-bout [ 31%] Building CXX object tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o [ 32%] Linking CXX executable ../../bin/gen-random-bout [ 32%] Built target gen-random-bout Scanning dependencies of target klee-replay [ 33%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o [ 34%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/tools/klee-replay/file-creator.c: In function 'create_file': /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/tools/klee-replay/file-creator.c:55:31: warning: '%s' directive output may be truncated writing up to 4095 bytes into a region of size 64 [-Wformat-truncation=] 55 | snprintf(buf, sizeof(buf), "%s.lnk", fname); | ^~ ...... 344 | target = tmpname; | ~~~~~~~ /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/tools/klee-replay/file-creator.c:55:3: note: 'snprintf' output between 5 and 4100 bytes into a destination of size 64 55 | snprintf(buf, sizeof(buf), "%s.lnk", fname); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 35%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o [ 36%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o [ 37%] Linking CXX executable ../../bin/klee-replay [ 37%] Built target klee-replay Scanning dependencies of target kleeModule [ 38%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o [ 39%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o [ 40%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/FunctionAlias.cpp.o [ 40%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o [ 41%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o [ 41%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o [ 42%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o [ 43%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o [ 44%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o [ 45%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o [ 46%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o [ 47%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o [ 48%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o [ 49%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o [ 50%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o [ 51%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o [ 51%] Linking CXX static library ../libkleaverExpr.a [ 51%] Built target kleaverExpr Scanning dependencies of target kleaverSolver [ 52%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o [ 53%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o [ 54%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o [ 55%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o [ 56%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o [ 57%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o [ 58%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/ConstructSolverChain.cpp.o [ 59%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o [ 60%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o [ 61%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o [ 61%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o [ 62%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o [ 62%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o [ 63%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/lib/Solver/IndependentSolver.cpp: In member function 'virtual bool IndependentSolver::computeInitialValues(const klee::Query&, std::shared_ptr&, bool&)': /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/lib/Solver/IndependentSolver.cpp:506:41: warning: implicitly-declared 'klee::MapArrayModel& klee::MapArrayModel::operator=(const klee::MapArrayModel&)' is deprecated [-Wdeprecated-copy] 506 | tempPtr = MapArrayModel(*val); | ^ In file included from /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/include/klee/Solver/Solver.h:16, from /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/lib/Solver/IndependentSolver.cpp:11: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/include/klee/Expr/Assignment.h:40:5: note: because 'klee::MapArrayModel' has user-provided 'klee::MapArrayModel::MapArrayModel(const klee::MapArrayModel&)' 40 | MapArrayModel(const MapArrayModel &other) { | ^~~~~~~~~~~~~ [ 64%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o [ 65%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o [ 66%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o [ 67%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o [ 68%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o [ 69%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o [ 70%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o [ 71%] Linking CXX static library ../libkleeModule.a [ 71%] Built target kleeModule [ 71%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SolverCmdLine.cpp.o [ 72%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o [ 73%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o [ 74%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o [ 75%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o [ 76%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o [ 77%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o [ 78%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o [ 79%] Linking CXX static library ../libkleaverSolver.a [ 79%] Built target kleaverSolver Scanning dependencies of target kleaver Scanning dependencies of target kleeCore [ 80%] Building CXX object tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o [ 81%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o [ 82%] Linking CXX executable ../../bin/kleaver [ 83%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o [ 83%] Built target kleaver [ 84%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o [ 85%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o [ 86%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o [ 87%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o [ 87%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o [ 88%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o [ 89%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o [ 90%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o [ 91%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Memory.cpp.o [ 92%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/MemoryManager.cpp.o [ 93%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/PTree.cpp.o [ 94%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/Searcher.cpp.o [ 94%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/SeedInfo.cpp.o [ 95%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/SpecialFunctionHandler.cpp.o [ 96%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/StatsTracker.cpp.o [ 97%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/TimingSolver.cpp.o [ 98%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/UserSearcher.cpp.o [ 99%] Linking CXX static library ../libkleeCore.a [ 99%] Built target kleeCore Scanning dependencies of target klee [ 99%] Building CXX object tools/klee/CMakeFiles/klee.dir/main.cpp.o [100%] Linking CXX executable ../../bin/klee [100%] Built target klee + return 0 + make install [ 2%] Built target kleeBasic [ 11%] Built target kleeSupport [ 26%] Built target kleaverExpr [ 48%] Built target kleaverSolver [ 60%] Built target kleeModule [ 78%] Built target kleeCore [ 78%] Performing RuntimeBuild step for 'BuildKLEERuntimes' make[3]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' make[3]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' [ 78%] Completed 'BuildKLEERuntimes' [ 85%] Built target BuildKLEERuntimes [ 88%] Built target kleeRuntest [ 90%] Built target gen-bout [ 92%] Built target gen-random-bout [ 94%] Built target kleaver [ 95%] Built target klee [100%] Built target klee-replay Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/include/klee/klee.h -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib64/klee/runtime/libkleeRuntimeIntrinsic.bca -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib64/klee/runtime/libklee-libc.bca -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib64/klee/runtime/libkleeRuntimeFreeStanding.bca -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib64/libkleeRuntest.so.1.0 -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib64/libkleeRuntest.so -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/gen-bout -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/gen-random-bout -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/kleaver -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/klee -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/klee-replay -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/klee-stats -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/ktest-tool + mv /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib64/klee /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/klee + rmdir /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib64 rmdir: failed to remove '/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib64': Directory not empty + true + make -C runtime -f Makefile.cmake.bitcode clean make: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libklee-libc.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libkleeRuntimeFreeStanding.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' make: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' + make -C runtime -f Makefile.cmake.bitcode LLVMCC.ExtraFlags=-m32 EXTRA_LLVMCC.Flags=-m32 make: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/dso_handle.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_choose.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_div_zero_check.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_int.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_overshift_check.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/Intrinsic/klee_range.c Creating LLVM archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/Intrinsic' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/__cxa_atexit.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/abort.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/atexit.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/atoi.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/bcmp.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/calloc.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/htonl.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/memchr.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/mempcpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/putchar.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/stpcpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strcat.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strchr.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strcmp.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strcoll.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strcpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strlen.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strncmp.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strncpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strrchr.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strtol.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/strtoul.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/tolower.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/klee-libc/toupper.c Creating LLVM archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libklee-libc.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/klee-libc' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/FreeStanding/memcmp.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/FreeStanding/memcpy.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/FreeStanding/memmove.c LLVMCC (Release+Asserts) /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/runtime/FreeStanding/memset.c Creating LLVM archive /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/Release+Asserts/lib/libkleeRuntimeFreeStanding.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime/FreeStanding' make: Leaving directory '/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/klee/build-9.0.0/runtime' + mkdir -p /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime + cp Release+Asserts/lib/libklee-libc.bca Release+Asserts/lib/libkleeRuntimeFreeStanding.bca Release+Asserts/lib/libkleeRuntimeIntrinsic.bca /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/ + popd ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ++ pwd + '[' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 '!=' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ']' + '[' 0 -le 6 ']' ++ ls -A ./sbt-instrumentation + '[' x = x1 -o -z '.git .gitignore CMakeLists.txt LICENSE README.md analyses bootstrap-dg.sh bootstrap-json.sh git-version.sh git_rev-parse.ver include instrumentations sbt-instr-c src tests' ']' + pushd ./sbt-instrumentation ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-instrumentation ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + '[' '!' -f jsoncpp/dist/jsoncpp.cpp ']' + ./bootstrap-json.sh -- The CXX compiler identification is GNU 9.2.1 -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- JsonCpp Version: 1.9.0 -- Looking for C++ include clocale -- Looking for C++ include clocale - found -- Looking for localeconv -- Looking for localeconv - found -- Looking for C++ include sys/types.h -- Looking for C++ include sys/types.h - found -- Looking for C++ include stdint.h -- Looking for C++ include stdint.h - found -- Looking for C++ include stddef.h -- Looking for C++ include stddef.h - found -- Check size of lconv -- Check size of lconv - done -- Performing Test HAVE_DECIMAL_POINT -- Performing Test HAVE_DECIMAL_POINT - Success -- Could NOT find PythonInterp (missing: PYTHON_EXECUTABLE) (Required is at least version "2.6") -- Configuring done -- Generating done -- Build files have been written to: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/jsoncpp Scanning dependencies of target jsoncpp_lib [ 11%] Building CXX object src/lib_json/CMakeFiles/jsoncpp_lib.dir/json_reader.cpp.o [ 22%] Building CXX object src/lib_json/CMakeFiles/jsoncpp_lib.dir/json_value.cpp.o [ 33%] Building CXX object src/lib_json/CMakeFiles/jsoncpp_lib.dir/json_writer.cpp.o [ 44%] Linking CXX static library libjsoncpp.a [ 44%] Built target jsoncpp_lib Scanning dependencies of target jsontestrunner_exe [ 55%] Building CXX object src/jsontestrunner/CMakeFiles/jsontestrunner_exe.dir/main.cpp.o [ 66%] Linking CXX executable jsontestrunner_exe [ 66%] Built target jsontestrunner_exe Scanning dependencies of target jsoncpp_test [ 77%] Building CXX object src/test_lib_json/CMakeFiles/jsoncpp_test.dir/jsontest.cpp.o [ 88%] Building CXX object src/test_lib_json/CMakeFiles/jsoncpp_test.dir/main.cpp.o [100%] Linking CXX executable jsoncpp_test Testing ValueTest/checkNormalizeFloatingPointStr: OK Testing ValueTest/memberCount: OK Testing ValueTest/objects: OK Testing ValueTest/arrays: OK Testing ValueTest/arrayIssue252: OK Testing ValueTest/null: OK Testing ValueTest/strings: OK Testing ValueTest/bools: OK Testing ValueTest/integers: OK Testing ValueTest/nonIntegers: OK Testing ValueTest/compareNull: OK Testing ValueTest/compareInt: OK Testing ValueTest/compareUInt: OK Testing ValueTest/compareDouble: OK Testing ValueTest/compareString: OK Testing ValueTest/compareBoolean: OK Testing ValueTest/compareArray: OK Testing ValueTest/compareObject: OK Testing ValueTest/compareType: OK Testing ValueTest/CopyObject: OK Testing ValueTest/offsetAccessors: OK Testing ValueTest/typeChecksThrowExceptions: OK Testing ValueTest/StaticString: OK Testing ValueTest/WideString: OK Testing ValueTest/CommentBefore: OK Testing ValueTest/zeroes: OK Testing ValueTest/zeroesInKeys: OK Testing ValueTest/specialFloats: OK Testing ValueTest/precision: OK Testing WriterTest/dropNullPlaceholders: OK Testing StreamWriterTest/dropNullPlaceholders: OK Testing StreamWriterTest/writeZeroes: OK Testing ReaderTest/parseWithNoErrors: OK Testing ReaderTest/parseWithNoErrorsTestingOffsets: OK Testing ReaderTest/parseWithOneError: OK Testing ReaderTest/parseChineseWithOneError: OK Testing ReaderTest/parseWithDetailError: OK Testing CharReaderTest/parseWithNoErrors: OK Testing CharReaderTest/parseWithNoErrorsTestingOffsets: OK Testing CharReaderTest/parseWithOneError: OK Testing CharReaderTest/parseChineseWithOneError: OK Testing CharReaderTest/parseWithDetailError: OK Testing CharReaderTest/parseWithStackLimit: OK Testing CharReaderStrictModeTest/dupKeys: OK Testing CharReaderFailIfExtraTest/issue164: OK Testing CharReaderFailIfExtraTest/issue107: OK Testing CharReaderFailIfExtraTest/commentAfterObject: OK Testing CharReaderFailIfExtraTest/commentAfterArray: OK Testing CharReaderFailIfExtraTest/commentAfterBool: OK Testing CharReaderAllowDropNullTest/issue178: OK Testing CharReaderAllowSingleQuotesTest/issue182: OK Testing CharReaderAllowZeroesTest/issue176: OK Testing CharReaderAllowSpecialFloatsTest/issue209: OK Testing BuilderTest/settings: OK Testing IteratorTest/distance: OK Testing IteratorTest/names: OK Testing IteratorTest/indexes: OK Testing IteratorTest/const: OK Testing RValueTest/moveConstruction: OK All 59 tests passed [100%] Built target jsoncpp_test Amalgamating header... Writing amalgamated header to 'dist/json/json.h' Amalgamating forward header... Writing amalgamated forward header to 'dist/json/json-forwards.h' Amalgamating source... Writing amalgamated source to 'dist/jsoncpp.cpp' Source successfully amalgamated json files successfully copied + mkdir -p build-9.0.0 + pushd build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-instrumentation/build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-instrumentation ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + '[' '!' -d CMakeFiles ']' ++ pwd ++ pwd ++ /usr/bin/llvm-config --cmakedir + cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_LIBDIR:PATH=lib -DCMAKE_INSTALL_FULL_DATADIR:PATH=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share -DDG_PATH=/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/dg -DRA_BUILD_PATH=/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-instrumentation/build-9.0.0/../ra/build-9.0.0 -DRA_SRC_PATH=/builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-instrumentation/build-9.0.0/../ra -DLLVM_DIR=/usr/lib64/cmake/llvm -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0 -- The C compiler identification is GNU 9.2.1 -- The CXX compiler identification is GNU 9.2.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Linker detection: GNU ld -- Found LLVM 9.0.0 -- Using LLVMConfig.cmake in: /usr/lib64/cmake/llvm -- LLVM include dir: /usr/include -- LLVM libraries dir: /usr/lib64 -- LLVM definitions: -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -- Dg libraries found: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgllvmpta.so, /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgpta.so, /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdganalysis.so -- CMAKE_INSTALL_LIBDIR: "lib" -- CMAKE_INSTALL_DATADIR: "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share" -- Could NOT find jsoncpp (missing: jsoncpp_DIR) -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: RA_BUILD_PATH RA_SRC_PATH -- Build files have been written to: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-instrumentation/build-9.0.0 + build + make -j2 CFLAGS= CPPFLAGS= LDFLAGS= Scanning dependencies of target dgPointsToPlugin Scanning dependencies of target InfiniteLoopsPlugin [ 4%] Building CXX object analyses/CMakeFiles/InfiniteLoopsPlugin.dir/infinite_loops_plugin.cpp.o [ 9%] Building CXX object analyses/CMakeFiles/dgPointsToPlugin.dir/dg_points_to_plugin.cpp.o [ 14%] Linking CXX shared module libInfiniteLoopsPlugin.so [ 14%] Built target InfiniteLoopsPlugin Scanning dependencies of target LLVMPointsToPlugin [ 19%] Building CXX object analyses/CMakeFiles/LLVMPointsToPlugin.dir/llvm_points_to_plugin.cpp.o [ 23%] Linking CXX shared module libLLVMPointsToPlugin.so [ 23%] Built target LLVMPointsToPlugin Scanning dependencies of target CheckNSWPlugin [ 28%] Building CXX object analyses/CMakeFiles/CheckNSWPlugin.dir/check_nsw_plugin.cpp.o [ 33%] Linking CXX shared module libCheckNSWPlugin.so [ 33%] Built target CheckNSWPlugin Scanning dependencies of target RangeAnalysisPlugin [ 38%] Building CXX object analyses/CMakeFiles/RangeAnalysisPlugin.dir/range_analysis_plugin.cpp.o [ 42%] Linking CXX shared module libdgPointsToPlugin.so [ 42%] Built target dgPointsToPlugin Scanning dependencies of target ValueRelationsPlugin [ 47%] Building CXX object analyses/CMakeFiles/ValueRelationsPlugin.dir/value_relations_plugin.cpp.o [ 52%] Building CXX object analyses/CMakeFiles/RangeAnalysisPlugin.dir/ra/RangeAnalysis.cpp.o [ 57%] Linking CXX shared module libValueRelationsPlugin.so [ 57%] Built target ValueRelationsPlugin Scanning dependencies of target PredatorPlugin [ 61%] Building CXX object analyses/CMakeFiles/PredatorPlugin.dir/predator_plugin.cpp.o [ 66%] Linking CXX shared module libRangeAnalysisPlugin.so [ 66%] Built target RangeAnalysisPlugin Scanning dependencies of target gitversion [ 66%] Built target gitversion Scanning dependencies of target sbt-instr [ 71%] Building CXX object src/CMakeFiles/sbt-instr.dir/rewriter.cpp.o [ 76%] Linking CXX shared module libPredatorPlugin.so [ 76%] Built target PredatorPlugin [ 80%] Building CXX object src/CMakeFiles/sbt-instr.dir/instr_log.cpp.o [ 85%] Building CXX object src/CMakeFiles/sbt-instr.dir/instr_analyzer.cpp.o [ 90%] Building CXX object src/CMakeFiles/sbt-instr.dir/instr.cpp.o [ 95%] Building CXX object src/CMakeFiles/sbt-instr.dir/jsoncpp.cpp.o [100%] Linking CXX executable sbt-instr [100%] Built target sbt-instr + return 0 + make install [ 9%] Built target InfiniteLoopsPlugin [ 19%] Built target dgPointsToPlugin [ 28%] Built target LLVMPointsToPlugin [ 38%] Built target CheckNSWPlugin [ 52%] Built target RangeAnalysisPlugin [ 61%] Built target ValueRelationsPlugin [ 71%] Built target PredatorPlugin [ 71%] Built target gitversion [100%] Built target sbt-instr Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgPointsToPlugin.so -- Set runtime path of "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libdgPointsToPlugin.so" to "" -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/predator_wrapper.py -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libRangeAnalysisPlugin.so -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libCheckNSWPlugin.so -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libInfiniteLoopsPlugin.so -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libValueRelationsPlugin.so -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libPredatorPlugin.so -- Up-to-date: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/predator_wrapper.py -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libLLVMPointsToPlugin.so -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-noconst.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-basic.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-basic-lifetimes.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-enhanced.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-enhanced-noconst.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-marker.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-marker-memcleanup.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-marker-predator.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-marker-predator-pta.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-i2-enhanced.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-i2-enhanced-lifetimes.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-lifetimes.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-minmax.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/config-memcleanup.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/memsafety.c -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/marker.c -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-basic.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-rc-rt.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-rc.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-i1-rt.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-new-checkbounds.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/null_deref/config.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/null_deref/null_deref.c -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/termination/config.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/termination/termination.c -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/int_overflows/config.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/int_overflows/config-no-ra.json -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/int_overflows/overflows.c -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr + popd ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/sbt-instrumentation ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + popd ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ++ pwd + '[' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 '!=' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ']' + '[' 0 -le 6 ']' + mkdir -p transforms/build-9.0.0 + pushd transforms/build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/transforms/build-9.0.0 ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + '[' '!' -d CMakeFiles ']' ++ /usr/bin/llvm-config --cmakedir + cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/opt/symbiotic -DCMAKE_INSTALL_LIBDIR:PATH=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib -DLLVM_DIR=/usr/lib64/cmake/llvm -- The C compiler identification is GNU 9.2.1 -- The CXX compiler identification is GNU 9.2.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Performing Test C_SUPPORTS_FPIC -- Performing Test C_SUPPORTS_FPIC - Success -- Performing Test CXX_SUPPORTS_FPIC -- Performing Test CXX_SUPPORTS_FPIC - Success -- Building with -fPIC -- Performing Test SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG -- Performing Test SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG - Success -- Performing Test C_SUPPORTS_WERROR_DATE_TIME -- Performing Test C_SUPPORTS_WERROR_DATE_TIME - Success -- Performing Test CXX_SUPPORTS_WERROR_DATE_TIME -- Performing Test CXX_SUPPORTS_WERROR_DATE_TIME - Success -- Performing Test C_SUPPORTS_WERROR_UNGUARDED_AVAILABILITY_NEW -- Performing Test C_SUPPORTS_WERROR_UNGUARDED_AVAILABILITY_NEW - Failed -- Performing Test CXX_SUPPORTS_WERROR_UNGUARDED_AVAILABILITY_NEW -- Performing Test CXX_SUPPORTS_WERROR_UNGUARDED_AVAILABILITY_NEW - Failed -- Performing Test CXX_SUPPORTS_CXX_STD -- Performing Test CXX_SUPPORTS_CXX_STD - Success -- Performing Test C_SUPPORTS_FNO_FUNCTION_SECTIONS -- Performing Test C_SUPPORTS_FNO_FUNCTION_SECTIONS - Success -- Performing Test C_SUPPORTS_FFUNCTION_SECTIONS -- Performing Test C_SUPPORTS_FFUNCTION_SECTIONS - Success -- Performing Test CXX_SUPPORTS_FFUNCTION_SECTIONS -- Performing Test CXX_SUPPORTS_FFUNCTION_SECTIONS - Success -- Performing Test C_SUPPORTS_FDATA_SECTIONS -- Performing Test C_SUPPORTS_FDATA_SECTIONS - Success -- Performing Test CXX_SUPPORTS_FDATA_SECTIONS -- Performing Test CXX_SUPPORTS_FDATA_SECTIONS - Success CMake Warning (dev) at /usr/lib64/cmake/llvm/HandleLLVMOptions.cmake:802 (option): Policy CMP0077 is not set: option() honors normal variables. Run "cmake --help-policy CMP0077" for policy details. Use the cmake_policy command to set the policy and suppress this warning. For compatibility with older versions of CMake, option is clearing the normal variable 'LLVM_ENABLE_EH'. Call Stack (most recent call first): CMakeLists.txt:18 (include) This warning is for project developers. Use -Wno-dev to suppress it. CMake Warning (dev) at /usr/lib64/cmake/llvm/HandleLLVMOptions.cmake:803 (option): Policy CMP0077 is not set: option() honors normal variables. Run "cmake --help-policy CMP0077" for policy details. Use the cmake_policy command to set the policy and suppress this warning. For compatibility with older versions of CMake, option is clearing the normal variable 'LLVM_ENABLE_RTTI'. Call Stack (most recent call first): CMakeLists.txt:18 (include) This warning is for project developers. Use -Wno-dev to suppress it. CMake Warning (dev) at /usr/lib64/cmake/llvm/HandleLLVMOptions.cmake:906 (option): Policy CMP0077 is not set: option() honors normal variables. Run "cmake --help-policy CMP0077" for policy details. Use the cmake_policy command to set the policy and suppress this warning. For compatibility with older versions of CMake, option is clearing the normal variable 'LLVM_EXPORT_SYMBOLS_FOR_PLUGINS'. Call Stack (most recent call first): CMakeLists.txt:18 (include) This warning is for project developers. Use -Wno-dev to suppress it. -- Looking for os_signpost_interval_begin -- Looking for os_signpost_interval_begin - not found -- Linker detection: GNU ld -- CMAKE_INSTALL_LIBDIR: "/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib" -- CMAKE_INSTALL_INCLUDEDIR: "include" -- Configuring done -- Generating done -- Build files have been written to: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609/transforms/build-9.0.0 + build + make -j2 CFLAGS= CPPFLAGS= LDFLAGS= Scanning dependencies of target LLVMsbt [ 3%] Building CXX object CMakeFiles/LLVMsbt.dir/CloneMetadata.cpp.o [ 7%] Building CXX object CMakeFiles/LLVMsbt.dir/CheckModule.cpp.o [ 10%] Building CXX object CMakeFiles/LLVMsbt.dir/RemoveReadOnlyAttr.cpp.o [ 14%] Building CXX object CMakeFiles/LLVMsbt.dir/RemoveErrorCalls.cpp.o [ 17%] Building CXX object CMakeFiles/LLVMsbt.dir/FindExits.cpp.o [ 21%] Building CXX object CMakeFiles/LLVMsbt.dir/RenameVerifierFuns.cpp.o [ 25%] Building CXX object CMakeFiles/LLVMsbt.dir/MakeNondet.cpp.o [ 28%] Building CXX object CMakeFiles/LLVMsbt.dir/InitializeUninitialized.cpp.o [ 32%] Building CXX object CMakeFiles/LLVMsbt.dir/InternalizeGlobals.cpp.o [ 35%] Building CXX object CMakeFiles/LLVMsbt.dir/RemoveInfiniteLoops.cpp.o [ 39%] Building CXX object CMakeFiles/LLVMsbt.dir/BreakInfiniteLoops.cpp.o [ 42%] Building CXX object CMakeFiles/LLVMsbt.dir/BreakCritLoops.cpp.o [ 46%] Building CXX object CMakeFiles/LLVMsbt.dir/DeleteUndefined.cpp.o [ 50%] Building CXX object CMakeFiles/LLVMsbt.dir/ReplaceUBSan.cpp.o [ 53%] Building CXX object CMakeFiles/LLVMsbt.dir/ReplaceAsserts.cpp.o [ 57%] Building CXX object CMakeFiles/LLVMsbt.dir/InstrumentAlloc.cpp.o [ 60%] Building CXX object CMakeFiles/LLVMsbt.dir/CountInstr.cpp.o [ 64%] Building CXX object CMakeFiles/LLVMsbt.dir/MarkVolatile.cpp.o [ 67%] Building CXX object CMakeFiles/LLVMsbt.dir/DummyMarker.cpp.o [ 71%] Building CXX object CMakeFiles/LLVMsbt.dir/ReplaceLifetimeMarkers.cpp.o [ 75%] Building CXX object CMakeFiles/LLVMsbt.dir/ReplaceVerifierAtomic.cpp.o [ 78%] Building CXX object CMakeFiles/LLVMsbt.dir/Unrolling.cpp.o [ 82%] Building CXX object CMakeFiles/LLVMsbt.dir/InstrumentNontermination.cpp.o [ 85%] Building CXX object CMakeFiles/LLVMsbt.dir/ClassifyLoops.cpp.o [ 89%] Building CXX object CMakeFiles/LLVMsbt.dir/ClassifyInstructions.cpp.o [ 92%] Building CXX object CMakeFiles/LLVMsbt.dir/Prepare.cpp.o [ 96%] Building CXX object CMakeFiles/LLVMsbt.dir/PrepareOverflows.cpp.o [100%] Linking CXX shared module LLVMsbt.so [100%] Built target LLVMsbt + return 0 + make install [100%] Built target LLVMsbt Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/opt/symbiotic/lib64/LLVMsbt.so -- Installing: /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/LLVMsbt.so + popd ~/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ++ pwd + '[' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 '!=' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ']' + '[' 0 -le 6 ']' + '[' '!' -d CMakeFiles ']' + cmake . -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/opt/symbiotic -DCMAKE_INSTALL_LIBDIR:PATH=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib CMake Warning (dev) in CMakeLists.txt: No project() command is present. The top-level CMakeLists.txt file must contain a literal, direct call to the project() command. Add a line of code such as project(ProjectName) near the top of the file, but after cmake_minimum_required(). CMake is pretending there is a "project(Project)" command on the first line. This warning is for project developers. Use -Wno-dev to suppress it. -- The C compiler identification is GNU 9.2.1 -- The CXX compiler identification is GNU 9.2.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done CMake Warning (dev) in CMakeLists.txt: No cmake_minimum_required command is present. A line of code such as cmake_minimum_required(VERSION 3.16) should be added at the top of the file. The version specified may be lower if you wish to support older CMake versions for this project. For more information run "cmake --help-policy CMP0000". This warning is for project developers. Use -Wno-dev to suppress it. -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_INSTALL_LIBDIR -- Build files have been written to: /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + build + make -j2 CFLAGS= CPPFLAGS= LDFLAGS= + return 0 + make install Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/opt/symbiotic/bin/symbiotic -- Installing: /builddir/build/BUILD/opt/symbiotic/bin/gen-c -- Installing: /builddir/build/BUILD/opt/symbiotic//properties -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/valid-memsafety.prp -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/valid-memcleanup.prp -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/unreach-call.prp -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/termination.prp -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/no-overflow.prp -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/def-behavior.prp -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/coverage-statements.prp -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/coverage-error-call.prp -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/coverage-conditions.prp -- Installing: /builddir/build/BUILD/opt/symbiotic//properties/coverage-branches.prp -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee/__VERIFIER_silent_exit.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee/__VERIFIER_malloc0.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee/__VERIFIER_malloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee/__VERIFIER_make_nondet.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee/__VERIFIER_calloc0.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee/__VERIFIER_calloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee/__VERIFIER_assume.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_silent_exit.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_ushort_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_ushort.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_unsigned_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_unsigned.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_ulong_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_ulong.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_uint_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_uint.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_uchar_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_uchar.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_u8.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_u32_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_u32.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_u16.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_size_t_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_size_t.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_short_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_short.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_sector_t_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_sector_t.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_pointer_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_pointer.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_pchar_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_pchar.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_long_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_long.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_loff_t_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_loff_t.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_int_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_int.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_float_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_float.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_double_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_double.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_char_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_char.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_bool_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_bool.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet__Bool_named.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet__Bool.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_U8.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_U32.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_nondet_U16.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_malloc0.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_malloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_make_nondet.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_calloc0.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_calloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/klee-mainstream/__VERIFIER_assume.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/ikos -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/ikos/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__VERIFIER_silent_exit.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__VERIFIER_malloc0.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__VERIFIER_malloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__VERIFIER_exit.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__VERIFIER_calloc0.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__VERIFIER_calloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__VERIFIER_assert.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__INSTR_fail.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__INSTR_check_nontermination.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/verifier/__INSTR_check_assume.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/nidhugg -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/nidhugg/__symbiotic_global_lock.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/nidhugg/__symbiotic_atomic_end.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/nidhugg/__symbiotic_atomic_begin.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/nidhugg/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/nidhugg/__VERIFIER_atomic_end.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/nidhugg/__VERIFIER_atomic_begin.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/klee -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/klee/__VERIFIER_assume.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/divine -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/divine/__symbiotic_global_lock.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/divine/__symbiotic_atomic_end.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/divine/__symbiotic_atomic_begin.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/divine/__VERIFIER_atomic_end.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/divine/__VERIFIER_atomic_begin.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/svcomp/__VERIFIER_assume.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/time.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strtoull.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strtoul.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strtod.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strspn.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strrchr.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strncpy.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strncmp.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strlen.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strerror.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strcspn.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strcpy.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strcmp.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/strchr.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/memrchr.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/memcmp.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/memchr.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/memalloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/localtime.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/legacy -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/legacy/memmove.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/legacy/memcpy.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/legacy/__errno_location.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/legacy/__ctype_b_loc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/getenv.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/libc/atoi.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/posix -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/posix/strdup.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/kernel -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/kernel/kzalloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/kernel/kmalloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/kernel/kfree.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/kernel/_ctype.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/kernel/__memset.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/kernel/__memcpy.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/kernel/__kmalloc.c -- Installing: /builddir/build/BUILD/opt/symbiotic/lib/kernel/__kfree.c -- Installing: /builddir/build/BUILD/opt/symbiotic/include/symbiotic.h -- Installing: /builddir/build/BUILD/opt/symbiotic/include/symbiotic-size_t.h + scripts/precompile_bitcode_files.sh lib/posix/strdup.c:8:15: warning: implicitly declaring library function 'strlen' with type 'unsigned long (const char *)' [-Wimplicit-function-declaration] size_t len = strlen(str) + 1; ^ lib/posix/strdup.c:8:15: note: include the header or explicitly provide a declaration for 'strlen' lib/posix/strdup.c:9:14: warning: implicitly declaring library function 'malloc' with type 'void *(unsigned long)' [-Wimplicit-function-declaration] char *mem = malloc(len);//__VERIFIER_malloc(len); ^ lib/posix/strdup.c:9:14: note: include the header or explicitly provide a declaration for 'malloc' 2 warnings generated. lib/posix/strdup.c:8:15: warning: implicitly declaring library function 'strlen' with type 'unsigned int (const char *)' [-Wimplicit-function-declaration] size_t len = strlen(str) + 1; ^ lib/posix/strdup.c:8:15: note: include the header or explicitly provide a declaration for 'strlen' lib/posix/strdup.c:9:14: warning: implicitly declaring library function 'malloc' with type 'void *(unsigned int)' [-Wimplicit-function-declaration] char *mem = malloc(len);//__VERIFIER_malloc(len); ^ lib/posix/strdup.c:9:14: note: include the header or explicitly provide a declaration for 'malloc' 2 warnings generated. lib/libc/time.c:5:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(&ret, sizeof(ret), "nondet_time"); ^ lib/libc/time.c:6:2: warning: implicit declaration of function 'klee_assume' is invalid in C99 [-Wimplicit-function-declaration] klee_assume(ret >= -1); ^ 2 warnings generated. lib/libc/time.c:5:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(&ret, sizeof(ret), "nondet_time"); ^ lib/libc/time.c:6:2: warning: implicit declaration of function 'klee_assume' is invalid in C99 [-Wimplicit-function-declaration] klee_assume(ret >= -1); ^ 2 warnings generated. lib/libc/memrchr.c:6:17: warning: initializing 'unsigned char *' with an expression of type 'const void *' discards qualifiers [-Wincompatible-pointer-types-discards-qualifiers] unsigned char *byte = mem; ^ ~~~ 1 warning generated. lib/libc/memrchr.c:6:17: warning: initializing 'unsigned char *' with an expression of type 'const void *' discards qualifiers [-Wincompatible-pointer-types-discards-qualifiers] unsigned char *byte = mem; ^ ~~~ 1 warning generated. lib/libc/memchr.c:6:17: warning: initializing 'unsigned char *' with an expression of type 'const void *' discards qualifiers [-Wincompatible-pointer-types-discards-qualifiers] unsigned char *byte = mem; ^ ~~~ 1 warning generated. lib/libc/memchr.c:6:17: warning: initializing 'unsigned char *' with an expression of type 'const void *' discards qualifiers [-Wincompatible-pointer-types-discards-qualifiers] unsigned char *byte = mem; ^ ~~~ 1 warning generated. lib/libc/memalloc.c:12:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(&fails, sizeof(fails), "malloc-fails"); ^ lib/libc/memalloc.c:26:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(&fails, sizeof(fails), "calloc-fails"); ^ lib/libc/memalloc.c:46:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(mem, size, "malloc0"); ^ lib/libc/memalloc.c:55:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(mem, nmem * size, "calloc0"); ^ 4 warnings generated. lib/libc/memalloc.c:12:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(&fails, sizeof(fails), "malloc-fails"); ^ lib/libc/memalloc.c:26:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(&fails, sizeof(fails), "calloc-fails"); ^ lib/libc/memalloc.c:46:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(mem, size, "malloc0"); ^ lib/libc/memalloc.c:55:2: warning: implicit declaration of function 'klee_make_symbolic' is invalid in C99 [-Wimplicit-function-declaration] klee_make_symbolic(mem, nmem * size, "calloc0"); ^ 4 warnings generated. lib/libc/localtime.c:39:4: warning: implicit declaration of function '__VERIFIER_assume' is invalid in C99 [-Wimplicit-function-declaration] __VERIFIER_assume(__localtime.tm_sec >= 0 && __localtime.tm_sec <= 60); ^ 1 warning generated. lib/libc/localtime.c:39:4: warning: implicit declaration of function '__VERIFIER_assume' is invalid in C99 [-Wimplicit-function-declaration] __VERIFIER_assume(__localtime.tm_sec >= 0 && __localtime.tm_sec <= 60); ^ 1 warning generated. lib/libc/legacy/memmove.c:6:14: warning: implicitly declaring library function 'malloc' with type 'void *(unsigned long)' [-Wimplicit-function-declaration] void *tmp = malloc(n); ^ lib/libc/legacy/memmove.c:6:14: note: include the header or explicitly provide a declaration for 'malloc' lib/libc/legacy/memmove.c:9:2: warning: implicit declaration of function 'free' is invalid in C99 [-Wimplicit-function-declaration] free(tmp); ^ 2 warnings generated. lib/libc/legacy/memmove.c:6:14: warning: implicitly declaring library function 'malloc' with type 'void *(unsigned int)' [-Wimplicit-function-declaration] void *tmp = malloc(n); ^ lib/libc/legacy/memmove.c:6:14: note: include the header or explicitly provide a declaration for 'malloc' lib/libc/legacy/memmove.c:9:2: warning: implicit declaration of function 'free' is invalid in C99 [-Wimplicit-function-declaration] free(tmp); ^ 2 warnings generated. lib/libc/getenv.c:14:21: warning: implicit declaration of function '__VERIFIER_nondet_uint' is invalid in C99 [-Wimplicit-function-declaration] unsigned int idx = __VERIFIER_nondet_uint(); ^ 1 warning generated. lib/libc/getenv.c:14:21: warning: implicit declaration of function '__VERIFIER_nondet_uint' is invalid in C99 [-Wimplicit-function-declaration] unsigned int idx = __VERIFIER_nondet_uint(); ^ 1 warning generated. lib/kernel/kzalloc.c:8:2: warning: implicitly declaring library function 'memset' with type 'void *(void *, int, unsigned long)' [-Wimplicit-function-declaration] memset(mem, 0, size); ^ lib/kernel/kzalloc.c:8:2: note: include the header or explicitly provide a declaration for 'memset' 1 warning generated. lib/kernel/kzalloc.c:8:2: warning: implicitly declaring library function 'memset' with type 'void *(void *, int, unsigned int)' [-Wimplicit-function-declaration] memset(mem, 0, size); ^ lib/kernel/kzalloc.c:8:2: note: include the header or explicitly provide a declaration for 'memset' 1 warning generated. To add precompiled files to distribution, run this command from install/ folder: git add /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/termination.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/termination.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/null_deref.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/null_deref.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/memsafety.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/memsafety.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/marker.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/marker.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/overflows.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/overflows.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee/__VERIFIER_silent_exit.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee/__VERIFIER_silent_exit.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee/__VERIFIER_malloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee/__VERIFIER_malloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee/__VERIFIER_malloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee/__VERIFIER_malloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee/__VERIFIER_make_nondet.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee/__VERIFIER_make_nondet.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee/__VERIFIER_error.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee/__VERIFIER_error.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee/__VERIFIER_calloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee/__VERIFIER_calloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee/__VERIFIER_calloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee/__VERIFIER_calloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee/__VERIFIER_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee/__VERIFIER_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_silent_exit.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_silent_exit.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_ushort_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_ushort_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_ushort.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_ushort.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_unsigned_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_unsigned_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_unsigned.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_unsigned.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_ulong_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_ulong_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_ulong.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_ulong.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_uint_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_uint_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_uint.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_uint.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_uchar_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_uchar_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_uchar.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_uchar.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_u8.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_u8.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_u32_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_u32_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_u32.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_u32.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_u16.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_u16.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_size_t_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_size_t_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_size_t.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_size_t.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_short_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_short_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_short.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_short.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_sector_t_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_sector_t_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_sector_t.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_sector_t.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_pointer_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_pointer_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_pointer.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_pointer.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_pchar_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_pchar_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_pchar.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_pchar.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_long_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_long_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_long.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_long.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_loff_t_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_loff_t_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_loff_t.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_loff_t.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_int_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_int_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_int.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_int.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_float_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_float_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_float.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_float.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_double_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_double_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_double.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_double.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_char_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_char_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_char.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_char.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_bool_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_bool_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_bool.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_bool.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet__Bool_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet__Bool_named.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet__Bool.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet__Bool.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_U8.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_U8.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_U32.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_U32.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_nondet_U16.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_nondet_U16.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_malloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_malloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_malloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_malloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_make_nondet.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_make_nondet.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_error.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_error.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_calloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_calloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_calloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_calloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/klee-mainstream/__VERIFIER_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/klee-mainstream/__VERIFIER_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/ikos/__VERIFIER_error.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/ikos/__VERIFIER_error.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__VERIFIER_silent_exit.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__VERIFIER_silent_exit.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__VERIFIER_malloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__VERIFIER_malloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__VERIFIER_malloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__VERIFIER_malloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__VERIFIER_exit.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__VERIFIER_exit.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__VERIFIER_calloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__VERIFIER_calloc0.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__VERIFIER_calloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__VERIFIER_calloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__VERIFIER_assert.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__VERIFIER_assert.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__INSTR_fail.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__INSTR_fail.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__INSTR_check_nontermination.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__INSTR_check_nontermination.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/verifier/__INSTR_check_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/verifier/__INSTR_check_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/nidhugg/__symbiotic_global_lock.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/nidhugg/__symbiotic_global_lock.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/nidhugg/__symbiotic_atomic_end.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/nidhugg/__symbiotic_atomic_end.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/nidhugg/__symbiotic_atomic_begin.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/nidhugg/__symbiotic_atomic_begin.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/nidhugg/__VERIFIER_error.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/nidhugg/__VERIFIER_error.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/nidhugg/__VERIFIER_atomic_end.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/nidhugg/__VERIFIER_atomic_end.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/nidhugg/__VERIFIER_atomic_begin.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/nidhugg/__VERIFIER_atomic_begin.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/klee/__VERIFIER_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/klee/__VERIFIER_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/divine/__symbiotic_global_lock.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/divine/__symbiotic_global_lock.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/divine/__symbiotic_atomic_end.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/divine/__symbiotic_atomic_end.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/divine/__symbiotic_atomic_begin.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/divine/__symbiotic_atomic_begin.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/divine/__VERIFIER_atomic_end.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/divine/__VERIFIER_atomic_end.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/divine/__VERIFIER_atomic_begin.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/divine/__VERIFIER_atomic_begin.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/svcomp/__VERIFIER_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/svcomp/__VERIFIER_assume.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/posix/strdup.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/posix/strdup.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/time.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/time.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strtoull.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strtoull.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strtoul.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strtoul.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strtod.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strtod.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strspn.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strspn.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strrchr.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strrchr.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strncpy.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strncpy.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strncmp.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strncmp.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strlen.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strlen.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strerror.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strerror.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strcspn.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strcspn.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strcpy.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strcpy.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strcmp.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strcmp.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/strchr.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/strchr.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/memrchr.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/memrchr.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/memcmp.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/memcmp.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/memchr.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/memchr.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/memalloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/memalloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/localtime.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/localtime.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/legacy/memmove.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/legacy/memmove.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/legacy/memcpy.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/legacy/memcpy.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/legacy/__errno_location.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/legacy/__errno_location.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/legacy/__ctype_b_loc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/legacy/__ctype_b_loc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/getenv.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/getenv.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libc/atoi.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/libc/atoi.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/kernel/kzalloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/kernel/kzalloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/kernel/kmalloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/kernel/kmalloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/kernel/kfree.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/kernel/kfree.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/kernel/_ctype.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/kernel/_ctype.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/kernel/__memset.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/kernel/__memset.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/kernel/__memcpy.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/kernel/__memcpy.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/kernel/__kmalloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/kernel/__kmalloc.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/kernel/__kfree.bc /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/kernel/__kfree.bc ++ pwd + '[' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 '!=' /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 ']' + '[' 0 -le 7 ']' ++ cat git_rev-parse.ver + SYMBIOTIC_VERSION=8738e5b9a1ff05e66a0facb17d9a57165c6ad3bc + cd dg ++ cat git_rev-parse.ver + DG_VERSION=e89761ff6b1fd69e5f6dcc8f57b095a2b7b5b3ca + cd - /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + cd sbt-slicer ++ cat git_rev-parse.ver + SBT_SLICER_VERSION=fff6245c8c32ea42fe9827468e2ba0c997abf61d + cd - /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + cd sbt-instrumentation ++ cat git_rev-parse.ver + INSTRUMENTATION_VERSION=2db331fb32fa767cd48170b3c030c37e17cc65ea + cd - /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + cd klee ++ cat git_rev-parse.ver + KLEE_VERSION=e643b1357e28964adba2fbcb24add7b641895205 + cd - /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 + VERSFILE=./lib/symbioticpy/symbiotic/versions.py + echo '#!/usr/bin/python' + echo '# This file is automatically generated by symbiotic-build.sh' + echo '' + echo 'versions = {' + echo -e '\t'\''symbiotic'\'' : '\''8738e5b9a1ff05e66a0facb17d9a57165c6ad3bc'\'',' + echo -e '\t'\''dg'\'' : '\''e89761ff6b1fd69e5f6dcc8f57b095a2b7b5b3ca'\'',' + echo -e '\t'\''sbt-slicer'\'' : '\''fff6245c8c32ea42fe9827468e2ba0c997abf61d'\'',' + echo -e '\t'\''sbt-instrumentation'\'' : '\''2db331fb32fa767cd48170b3c030c37e17cc65ea'\'',' + echo -e '\t'\''klee'\'' : '\''e643b1357e28964adba2fbcb24add7b641895205'\'',' + echo -e '}\n\n' + echo 'llvm_version = '\''9.0.0'\''' + cp LICENSE.txt /builddir/build/BUILD/opt/symbiotic/ + cp -r ./lib/symbioticpy /builddir/build/BUILD/opt/symbiotic/lib + DEPENDENCIES= + '[' no = yes ']' + cd /builddir/build/BUILD/opt/symbiotic + BINARIES='/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr' + for B in $LLVM_TOOLS + BINARIES='/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/opt /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr' + for B in $LLVM_TOOLS + BINARIES='/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/clang /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/opt /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr' + for B in $LLVM_TOOLS + BINARIES='/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-link /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/clang /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/opt /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr' + for B in $LLVM_TOOLS + BINARIES='/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-dis /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-link /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/clang /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/opt /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr' + for B in $LLVM_TOOLS + BINARIES='/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-nm /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-dis /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-link /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/clang /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/opt /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr' + '[' yes = yes ']' + BINARIES='/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-nm /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-dis /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-link /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/clang /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/opt /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/klee' + LIBRARIES=' /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libLLVMdg.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libLLVMpta.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libLLVMrd.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libDGAnalysis.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libPTA.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libRD.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/LLVMsbt.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libPointsToPlugin.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libRangeAnalysisPlugin.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libCheckNSWPlugin.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libInfiniteLoopsPlugin.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libValueRelationsPlugin.so' + '[' yes = yes ']' + LIBRARIES=' /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libLLVMdg.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libLLVMpta.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libLLVMrd.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libDGAnalysis.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libPTA.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libRD.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/LLVMsbt.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libPointsToPlugin.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libRangeAnalysisPlugin.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libCheckNSWPlugin.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libInfiniteLoopsPlugin.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/libValueRelationsPlugin.so /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/*.bc* /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/*.bc* /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib/*.bc* /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/lib32/*.bc*' + INSTR=/builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/share/sbt-instrumentation/ + for B in $BINARIES + test -w /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-nm + strip /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-nm + for B in $BINARIES + test -w /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-dis + strip /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-dis + for B in $BINARIES + test -w /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-link + strip /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-link + for B in $BINARIES + test -w /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/clang + for B in $BINARIES + test -w /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/opt + strip /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/opt + for B in $BINARIES + test -w /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer + strip /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-slicer + for B in $BINARIES + test -w /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer + strip /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/llvm-slicer + for B in $BINARIES + test -w /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr + strip /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/sbt-instr + for B in $BINARIES + test -w /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/klee + strip /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/klee + '[' xno = xyes ']' + sed -i '1s/env python$/python3/' /builddir/build/BUILD/opt/symbiotic/bin/symbiotic + sed -i 's/__file__/os.readlink(__file__)/' /builddir/build/BUILD/opt/symbiotic/bin/symbiotic + sed -i '1s/env python$/python3/' /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0/bin/klee-stats + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.UtTztv + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 ++ dirname /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 + cd symbiotic-6.1.0.20191216.155939.gafd8609 + export QA_RPATHS=17 + QA_RPATHS=17 + mkdir -p /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64//usr/bin + mkdir -p /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic + install -m 755 /builddir/build/SOURCES/symbiotic2cs.py /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/usr/bin/symbiotic2cs + cp -pr /builddir/build/BUILD/opt/symbiotic/LICENSE.txt /builddir/build/BUILD/opt/symbiotic/bin /builddir/build/BUILD/opt/symbiotic/include /builddir/build/BUILD/opt/symbiotic/lib /builddir/build/BUILD/opt/symbiotic/lib32 /builddir/build/BUILD/opt/symbiotic/lib64 /builddir/build/BUILD/opt/symbiotic/llvm-9.0.0 /builddir/build/BUILD/opt/symbiotic/properties /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic + ln -sf /opt/symbiotic/bin/symbiotic /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64//usr/bin/symbiotic + /usr/lib/rpm/find-debuginfo.sh -j2 --strict-build-id -m -i --build-id-seed 6.1.0.20191216.155939.gafd8609-1.fc32 --unique-debug-suffix -6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 --unique-debug-src-base symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/symbiotic-6.1.0.20191216.155939.gafd8609 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/lib64/LLVMsbt.so explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/gen-bout extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/lib64/LLVMsbt.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/gen-bout gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/gen-bout gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/lib64/LLVMsbt.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/gen-random-bout extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/gen-random-bout explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/kleaver extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/kleaver gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/gen-random-bout gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/kleaver gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/klee-replay extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/klee-replay gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/klee-replay gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/llvm-dg-dump extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/llvm-dg-dump explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/LLVMsbt.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/LLVMsbt.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/LLVMsbt.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libCheckNSWPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libCheckNSWPlugin.so explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libInfiniteLoopsPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libInfiniteLoopsPlugin.so explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libLLVMPointsToPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libLLVMPointsToPlugin.so explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libPredatorPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libPredatorPlugin.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/bin/llvm-dg-dump gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libRangeAnalysisPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libRangeAnalysisPlugin.so explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libValueRelationsPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libValueRelationsPlugin.so explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgPointsToPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgPointsToPlugin.so explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdganalysis.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdganalysis.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdganalysis.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgdda.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgdda.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgdda.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmcda.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmcda.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmcda.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdda.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdda.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdda.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdg.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdg.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmdg.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmforkjoin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmforkjoin.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmforkjoin.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmpta.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmpta.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmpta.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmslicer.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmslicer.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmslicer.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmthreadregions.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmthreadregions.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgllvmthreadregions.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgpta.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgpta.so gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/libdgpta.so gdb-add-index: [Was there no debuginfo? Was there already an index?] explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib64/libkleeRuntest.so.1.0 extracting debug info from /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib64/libkleeRuntest.so.1.0 gdb-add-index: No index was created for /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib64/libkleeRuntest.so.1.0 gdb-add-index: [Was there no debuginfo? Was there already an index?] original debug info size: 29368kB, size after compression: 23952kB /usr/lib/rpm/sepdebugcrcfix: Updated 7 CRC32s, 18 CRC32s did match. 815 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeIntrinsic.bca(dso_handle.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_choose.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_div_zero_check.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_int.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_overshift_check.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_range.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeFreeStanding.bca(memcmp.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeFreeStanding.bca(memcpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeFreeStanding.bca(memmove.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libkleeRuntimeFreeStanding.bca(memset.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(__cxa_atexit.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(abort.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(atexit.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(atoi.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(bcmp.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(calloc.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(htonl.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(memchr.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(mempcpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(putchar.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(stpcpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strcat.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strchr.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strcmp.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strcoll.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strcpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strlen.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strncmp.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strncpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strrchr.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strtol.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(strtoul.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(tolower.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib32/klee/runtime/libklee-libc.bca(toupper.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeFreeStanding.bca(memcmp.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeFreeStanding.bca(memcpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeFreeStanding.bca(memmove.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeFreeStanding.bca(memset.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(__cxa_atexit.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(abort.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(atexit.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(atoi.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(bcmp.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(calloc.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(htonl.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(memchr.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(mempcpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(putchar.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(stpcpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strcat.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strchr.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strcmp.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strcoll.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strcpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strlen.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strncmp.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strncpy.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strrchr.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strtol.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(strtoul.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(tolower.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libklee-libc.bca(toupper.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeIntrinsic.bca(dso_handle.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_choose.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_div_zero_check.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_int.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_overshift_check.bc): Unable to recognise the format of file: file format not recognized /usr/bin/strip:/builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64/opt/symbiotic/llvm-9.0.0/lib/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_range.bc): Unable to recognise the format of file: file format not recognized + /usr/lib/rpm/redhat/brp-python-bytecompile /usr/bin/python 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in /opt/symbiotic/llvm-9.0.0/bin/klee-stats from /usr/bin/env python3 to #!/usr/bin/python3 mangling shebang in /opt/symbiotic/llvm-9.0.0/bin/predator_wrapper.py from /usr/bin/env python3 to #!/usr/bin/python3 mangling shebang in /opt/symbiotic/llvm-9.0.0/bin/ktest-tool from /usr/bin/env python3 to #!/usr/bin/python3 mangling shebang in /opt/symbiotic/bin/symbiotic from /usr/bin/env python3 to #!/usr/bin/python3 mangling shebang in /opt/symbiotic/bin/gen-c from /bin/sh to #!/usr/bin/sh mangling shebang in /usr/bin/symbiotic2cs from /bin/python3 to #!/usr/bin/python3 Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.cyAZwu + umask 022 + cd /builddir/build/BUILD + cd symbiotic-6.1.0.20191216.155939.gafd8609 + true + RPM_EC=0 ++ jobs -p + exit 0 Processing files: symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 warning: absolute symlink: /opt/symbiotic/llvm-9.0.0/bin/clang -> /usr/bin/clang warning: absolute symlink: /opt/symbiotic/llvm-9.0.0/lib/clang -> /usr/bin/../lib/clang/ warning: absolute symlink: /usr/bin/symbiotic -> /opt/symbiotic/bin/symbiotic Provides: libCheckNSWPlugin.so()(64bit) libInfiniteLoopsPlugin.so()(64bit) libLLVMPointsToPlugin.so()(64bit) libPredatorPlugin.so()(64bit) libRangeAnalysisPlugin.so()(64bit) libValueRelationsPlugin.so()(64bit) libdgPointsToPlugin.so()(64bit) libdganalysis.so()(64bit) libdgdda.so()(64bit) libdgllvmcda.so()(64bit) libdgllvmdda.so()(64bit) libdgllvmdg.so()(64bit) libdgllvmforkjoin.so()(64bit) libdgllvmpta.so()(64bit) libdgllvmslicer.so()(64bit) libdgllvmthreadregions.so()(64bit) libdgpta.so()(64bit) libkleeRuntest.so.1.0()(64bit) symbiotic = 6.1.0.20191216.155939.gafd8609-1.fc32 symbiotic(x86-64) = 6.1.0.20191216.155939.gafd8609-1.fc32 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/python3 /usr/bin/sh ld-linux-x86-64.so.2()(64bit) ld-linux-x86-64.so.2(GLIBC_2.3)(64bit) libLLVM-9.so()(64bit) libLLVM-9.so(LLVM_9)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libdganalysis.so()(64bit) libdgdda.so()(64bit) libdgllvmcda.so()(64bit) libdgllvmdda.so()(64bit) libdgllvmdg.so()(64bit) libdgllvmforkjoin.so()(64bit) libdgllvmpta.so()(64bit) libdgllvmslicer.so()(64bit) libdgllvmthreadregions.so()(64bit) libdgpta.so()(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.2.5)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libkleeRuntest.so.1.0()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.12)(64bit) libpthread.so.0(GLIBC_2.2.5)(64bit) librt.so.1()(64bit) libsqlite3.so.0()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.5)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.10)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.14)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.17)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.19)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) libtinfo.so.6()(64bit) libutil.so.1()(64bit) libutil.so.1(GLIBC_2.2.5)(64bit) libz.so.1()(64bit) libz.so.1(ZLIB_1.2.0)(64bit) libz3.so.0()(64bit) rtld(GNU_HASH) Processing files: symbiotic-debugsource-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 Provides: symbiotic-debugsource = 6.1.0.20191216.155939.gafd8609-1.fc32 symbiotic-debugsource(x86-64) = 6.1.0.20191216.155939.gafd8609-1.fc32 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: symbiotic-debuginfo-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 Provides: symbiotic-debuginfo = 6.1.0.20191216.155939.gafd8609-1.fc32 symbiotic-debuginfo(x86-64) = 6.1.0.20191216.155939.gafd8609-1.fc32 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: symbiotic-debugsource(x86-64) = 6.1.0.20191216.155939.gafd8609-1.fc32 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 Wrote: /builddir/build/RPMS/symbiotic-debugsource-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64.rpm Wrote: /builddir/build/RPMS/symbiotic-debuginfo-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64.rpm Wrote: /builddir/build/RPMS/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.G8v4fw + umask 022 + cd /builddir/build/BUILD + cd symbiotic-6.1.0.20191216.155939.gafd8609 + /usr/bin/rm -rf /builddir/build/BUILDROOT/symbiotic-6.1.0.20191216.155939.gafd8609-1.fc32.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0