Mock Version: 2.12 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/symbiotic.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1636457004.964870/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': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.a8q4w636:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.a8q4w636:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'ede4c4c65c1b45d0bc183bf5c96730d0', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1636457004.964870/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.a8q4w636:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--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=C.UTF-8', '--resolv-conf=off', '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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/symbiotic-8.0.0.20211109.085320-1.fc36.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/fedora-rawhide-x86_64-1636457004.964870/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': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.a8q4w636:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.a8q4w636:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '0f2fffd12e1a40f89f64c77aa82afaf3', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1636457004.964870/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.a8q4w636:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--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=C.UTF-8', '--resolv-conf=off', '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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.nRWkTx + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf symbiotic-8.0.0.20211109.085320 + /usr/bin/xz -dc /builddir/build/SOURCES/symbiotic-8.0.0.20211109.085320.tar.xz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd symbiotic-8.0.0.20211109.085320 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/build.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/bin/cat /builddir/build/SOURCES/hotfix.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/bin/cat /builddir/build/SOURCES/llvm-dynamic-link.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/bin/cat /builddir/build/SOURCES/llvm-11.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/bin/cat /builddir/build/SOURCES/llvm-13.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.vTkJNu + umask 022 + cd /builddir/build/BUILD + cd symbiotic-8.0.0.20211109.085320 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + ./system-build.sh -j2 ++ set -E ++ trap '[ "$?" -ne 77 ] || exit 77' ERR ++ GET='curl -LRO' ++ pwd + RUNDIR=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ dirname ./system-build.sh + SRCDIR=. ++ abspath /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ which realpath ++ realpath /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 + ABS_RUNDIR=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ abspath . ++ which realpath ++ realpath . + ABS_SRCDIR=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ pwd + export PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install + PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install + export LD_LIBRARY_PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib: + LD_LIBRARY_PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib: + export C_INCLUDE_PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/include: + C_INCLUDE_PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/include: + export PKG_CONFIG_PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/pkgconfig:/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/share/pkgconfig::/usr/lib64/pkgconfig:/usr/share/pkgconfig + PKG_CONFIG_PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/pkgconfig:/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/share/pkgconfig::/usr/lib64/pkgconfig:/usr/share/pkgconfig + FROM=0 + UPDATE= + OPTS= + ARCHIVE=no + FULL_ARCHIVE=no + BUILD_KLEE=yes + BUILD_PREDATOR=no + BUILD_LLVM2C=yes + LLVM_CONFIG= + '[' 1 -gt 0 ']' + case $1 in + '[' -z '' ']' + OPTS=-j2 + shift + '[' 0 -gt 0 ']' + '[' x-j2 = x ']' + PHASE='checking system' ++ 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 Previous build type identified as Release + echo 'Previous build type identified as Release' + '[' Release '!=' Debug -a Release '!=' Release -a Release '!=' RelWithDebInfo -a Release '!=' MinSizeRel ']' + mkdir -p /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/bin + mkdir -p /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib + mkdir -p /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib32 + mkdir -p /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/include + check + MISSING= + curl --version + which true + alias + eval declare -f + /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot true ++ declare -f /usr/bin/true + '[' yes = yes ']' + which unzip + cmake --version + make --version + tar --version + xz --version + '[' '' '!=' '' ']' + '[' yes = yes -a yes = no ']' + PHASE='setting up LLVM' + test -z '' ++ which llvm-config ++ alias ++ /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot llvm-config ++ eval declare -f +++ declare -f + LLVM_CONFIG=/usr/bin/llvm-config Using 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' ++ /usr/bin/llvm-config --version + LLVM_VERSION=13.0.0 + LLVM_VERSION=13.0.0 + LLVM_TOOLS='opt clang llvm-link llvm-dis llvm-nm' + export LLVM_PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0 + LLVM_PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0 + LLVM_MAJOR_VERSION=13 + LLVM_MINOR_VERSION=0.0 + LLVM_MINOR_VERSION=0 ++ /usr/bin/llvm-config --bindir + LLVM_BIN_DIR=/usr/bin ++ /usr/bin/llvm-config --libdir + LLVM_LIB_DIR=/usr/lib64 ++ /usr/bin/llvm-config --cmakedir + LLVM_DIR=/usr/lib64/cmake/llvm + '[' -z /usr/lib64/cmake/llvm ']' ++ /usr/bin/llvm-config --shared-mode --libs + '[' shared = shared ']' + LLVM_DYLIB=on + mkdir -p /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin + for T in $LLVM_TOOLS + check_llvm_tool /usr/bin/opt + TOOL_PATH=/usr/bin/opt ++ basename /usr/bin/opt + TOOL_NAME=opt + '[' '!' -x /usr/bin/opt ']' ++ /usr/bin/opt --version + TOOL_VERSION='LLVM (http://llvm.org/): LLVM version 13.0.0 Optimized build. Default target: x86_64-redhat-linux-gnu Host CPU: znver2' + [[ ! LLVM (http://llvm.org/): LLVM version 13.0.0 Optimized build. Default target: x86_64-redhat-linux-gnu Host CPU: znver2 =~ 13\.0\.0 ]] + '[' no = no ']' + ln -fs /usr/bin/opt /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin + continue + for T in $LLVM_TOOLS + check_llvm_tool /usr/bin/clang + TOOL_PATH=/usr/bin/clang ++ basename /usr/bin/clang + TOOL_NAME=clang + '[' '!' -x /usr/bin/clang ']' ++ /usr/bin/clang --version + TOOL_VERSION='clang version 13.0.0 (Fedora 13.0.0-4.fc36) Target: x86_64-redhat-linux-gnu Thread model: posix InstalledDir: /usr/bin' + [[ ! clang version 13.0.0 (Fedora 13.0.0-4.fc36) Target: x86_64-redhat-linux-gnu Thread model: posix InstalledDir: /usr/bin =~ 13\.0\.0 ]] + '[' no = no ']' + ln -fs /usr/bin/clang /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin + continue + for T in $LLVM_TOOLS + check_llvm_tool /usr/bin/llvm-link + TOOL_PATH=/usr/bin/llvm-link ++ basename /usr/bin/llvm-link + TOOL_NAME=llvm-link + '[' '!' -x /usr/bin/llvm-link ']' ++ /usr/bin/llvm-link --version + TOOL_VERSION='LLVM (http://llvm.org/): LLVM version 13.0.0 Optimized build. Default target: x86_64-redhat-linux-gnu Host CPU: znver2' + [[ ! LLVM (http://llvm.org/): LLVM version 13.0.0 Optimized build. Default target: x86_64-redhat-linux-gnu Host CPU: znver2 =~ 13\.0\.0 ]] + '[' no = no ']' + ln -fs /usr/bin/llvm-link /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin + continue + for T in $LLVM_TOOLS + check_llvm_tool /usr/bin/llvm-dis + TOOL_PATH=/usr/bin/llvm-dis ++ basename /usr/bin/llvm-dis + TOOL_NAME=llvm-dis + '[' '!' -x /usr/bin/llvm-dis ']' ++ /usr/bin/llvm-dis --version + TOOL_VERSION='LLVM (http://llvm.org/): LLVM version 13.0.0 Optimized build. Default target: x86_64-redhat-linux-gnu Host CPU: znver2' + [[ ! LLVM (http://llvm.org/): LLVM version 13.0.0 Optimized build. Default target: x86_64-redhat-linux-gnu Host CPU: znver2 =~ 13\.0\.0 ]] + '[' no = no ']' + ln -fs /usr/bin/llvm-dis /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin + continue + for T in $LLVM_TOOLS + check_llvm_tool /usr/bin/llvm-nm + TOOL_PATH=/usr/bin/llvm-nm ++ basename /usr/bin/llvm-nm + TOOL_NAME=llvm-nm + '[' '!' -x /usr/bin/llvm-nm ']' ++ /usr/bin/llvm-nm --version + TOOL_VERSION='llvm-nm, compatible with GNU nm LLVM (http://llvm.org/): LLVM version 13.0.0 Optimized build. Default target: x86_64-redhat-linux-gnu Host CPU: znver2' + [[ ! llvm-nm, compatible with GNU nm LLVM (http://llvm.org/): LLVM version 13.0.0 Optimized build. Default target: x86_64-redhat-linux-gnu Host CPU: znver2 =~ 13\.0\.0 ]] + '[' no = no ']' + ln -fs /usr/bin/llvm-nm /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin + continue + mkdir -p /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib + CLANG_LIB_DIR=/usr/lib64/clang + '[' '!' -d /usr/lib64/clang ']' + ln -sf /usr/lib64/clang /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/ + PHASE='building dg' + '[' 0 -le 1 ']' ++ ls -A ./dg + '[' x = x1 -o -z '.clang-format .clang-tidy .git .git-blame-ignore-revs .github .gitignore .travis.yml CMakeLists.txt Changelog Dockerfile LICENSE README.md dg.spec.rpkg doc include lib misc tests tools' ']' + pushd ./dg ~/build/BUILD/symbiotic-8.0.0.20211109.085320/dg ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + mkdir -p build-13.0.0 + pushd build-13.0.0 + '[' '!' -d CMakeFiles ']' + cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_LIBDIR:PATH=lib -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0 '-DCMAKE_INSTALL_RPATH=$ORIGIN/../lib' -DLLVM_LINK_DYLIB=on -DLLVM_DIR=/usr/lib64/cmake/llvm ~/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/dg ~/build/BUILD/symbiotic-8.0.0.20211109.085320 -- The CXX compiler identification is GNU 11.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Build type: Release -- Found ZLIB: /usr/lib64/libz.so (found version "1.2.11") -- Found LLVM 13.0.0 -- Using LLVMConfig.cmake in: /usr/lib64/cmake/llvm -- LLVM binaries: /usr/bin -- Linker detection: unknown -- 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 -- LLVM linking: dynamic -- Using compiler: /usr/bin/g++ -- Performing Test HAS_FUZZER -- Performing Test HAS_FUZZER - Failed -- Will NOT build fuzzing tests (requires Clang 6 or newer) -- Using compilation flags: -O3 -DNDEBUG -- Additional compilation flags: -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -std=c++14 -fno-rtti -Wall -Wextra -fno-exceptions -- CMAKE_INSTALL_LIBDIR: "lib" -- CMAKE_INSTALL_INCLUDEDIR: "include" -- Found Git: /usr/bin/git (found version "2.33.1") -- Bitcode compiler: /usr/bin/clang-13 -- llvm-link: /usr/bin/llvm-link -- lli: /usr/bin/lli -- opt: /usr/bin/opt -- Configuring done -- Generating done -- Build files have been written to: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/build-13.0.0 + build + make -j2 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' [ 2%] Building CXX object lib/CMakeFiles/dgcda.dir/ControlDependence/NTSCD.cpp.o [ 2%] Building CXX object lib/CMakeFiles/dganalysis.dir/Offset.cpp.o [ 2%] Linking CXX shared library libdgcda.so [ 2%] Building CXX object lib/CMakeFiles/dganalysis.dir/Debug.cpp.o [ 2%] Built target dgcda [ 3%] Building CXX object lib/CMakeFiles/dganalysis.dir/BBlockBase.cpp.o [ 4%] Building CXX object tools/CMakeFiles/llvm-vr-dump.dir/llvm-vr-dump.cpp.o [ 5%] Linking CXX shared library libdganalysis.so [ 5%] Built target dganalysis [ 7%] Building CXX object tools/CMakeFiles/llvm-to-source.dir/llvm-to-source.cpp.o [ 7%] Linking CXX executable llvm-to-source [ 7%] Built target llvm-to-source [ 8%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/Pointer.cpp.o [ 9%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/PointerAnalysis.cpp.o [ 9%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/PointerGraph.cpp.o [ 10%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/PointerGraphOptimizations.cpp.o [ 11%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/PointerGraphValidator.cpp.o /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp: In member function 'bool dg::pta::PointerGraphValidator::checkOperands()': /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'ALLOC' not handled in switch [-Wswitch] 126 | switch (nd->getType()) { | ^ /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'CALL' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'CALL_FUNCPTR' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'CALL_RETURN' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'ENTRY' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'RETURN' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'FORK' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'JOIN' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'INVALIDATE_LOCALS' not handled in switch [-Wswitch] /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/PointerAnalysis/PointerGraphValidator.cpp:126:16: warning: enumeration value 'INVALIDATED' not handled in switch [-Wswitch] [ 11%] Building CXX object lib/CMakeFiles/dgpta.dir/PointerAnalysis/PointsToSet.cpp.o [ 13%] Linking CXX shared library libdgpta.so [ 14%] Linking CXX executable llvm-vr-dump [ 14%] Built target dgpta [ 15%] Building CXX object lib/CMakeFiles/dgdda.dir/ReadWriteGraph/ReadWriteGraph.cpp.o [ 16%] Building CXX object lib/CMakeFiles/dgdda.dir/MemorySSA/MemorySSA.cpp.o [ 16%] Built target llvm-vr-dump [ 17%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/PointerAnalysis.cpp.o [ 17%] Building CXX object lib/CMakeFiles/dgdda.dir/MemorySSA/ModRef.cpp.o [ 19%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/PointerGraph.cpp.o [ 20%] Building CXX object lib/CMakeFiles/dgdda.dir/MemorySSA/Definitions.cpp.o [ 21%] Linking CXX shared library libdgdda.so [ 21%] Built target dgdda [ 22%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/PointerGraphValidator.cpp.o [ 22%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Block.cpp.o [ 23%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Interprocedural.cpp.o [ 25%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Structure.cpp.o [ 25%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Globals.cpp.o [ 26%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Constants.cpp.o [ 27%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Instructions.cpp.o [ 28%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Calls.cpp.o [ 28%] Building CXX object lib/CMakeFiles/dgllvmpta.dir/llvm/PointerAnalysis/Threads.cpp.o [ 29%] Building CXX object lib/CMakeFiles/dgsdg.dir/SystemDependenceGraph/DependenceGraph.cpp.o [ 30%] Linking CXX shared library libdgsdg.so [ 30%] Built target dgsdg [ 32%] Linking CXX shared library libdgllvmpta.so [ 32%] Built target dgllvmpta [ 34%] Building CXX object tools/CMakeFiles/llvm-pta-ben.dir/llvm-pta-ben.cpp.o [ 34%] Building CXX object lib/CMakeFiles/dgllvmforkjoin.dir/llvm/ForkJoin/ForkJoin.cpp.o [ 34%] Linking CXX shared library libdgllvmforkjoin.so [ 34%] Built target dgllvmforkjoin [ 34%] Building CXX object lib/CMakeFiles/dgllvmdda.dir/llvm/ReadWriteGraph/LLVMReadWriteGraphBuilder.cpp.o [ 34%] Linking CXX executable llvm-pta-ben [ 35%] Building CXX object lib/CMakeFiles/dgllvmdda.dir/llvm/ReadWriteGraph/Instructions.cpp.o [ 35%] Built target llvm-pta-ben [ 35%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/Node.cpp.o [ 36%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/GeneralNode.cpp.o [ 38%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/ForkNode.cpp.o [ 38%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/JoinNode.cpp.o [ 39%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/LockNode.cpp.o [ 40%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/UnlockNode.cpp.o [ 41%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/EntryNode.cpp.o [ 41%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/ExitNode.cpp.o [ 42%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/CallNode.cpp.o [ 44%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/CallFuncPtrNode.cpp.o [ 45%] Building CXX object lib/CMakeFiles/dgllvmdda.dir/llvm/ReadWriteGraph/Calls.cpp.o [ 45%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/CallReturnNode.cpp.o [ 46%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/ReturnNode.cpp.o [ 47%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Nodes/NodeIterator.cpp.o [ 48%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Graphs/BlockGraph.cpp.o [ 48%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Graphs/FunctionGraph.cpp.o [ 50%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Graphs/GraphBuilder.cpp.o [ 50%] Building CXX object lib/CMakeFiles/dgllvmdda.dir/llvm/DataDependenceAnalysis/LLVMDataDependenceAnalysis.cpp.o [ 51%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Graphs/ThreadRegionsBuilder.cpp.o [ 51%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Graphs/CriticalSectionsBuilder.cpp.o [ 52%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/Graphs/ControlFlowGraph.cpp.o [ 53%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/ThreadRegion.cpp.o [ 54%] Building CXX object lib/CMakeFiles/dgllvmthreadregions.dir/llvm/ThreadRegions/MayHappenInParallel.cpp.o [ 54%] Linking CXX shared library libdgllvmthreadregions.so [ 55%] Building CXX object lib/CMakeFiles/dgllvmdda.dir/llvm/ForkJoin/ForkJoin.cpp.o [ 55%] Built target dgllvmthreadregions [ 57%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/legacy/Block.cpp.o [ 57%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/legacy/Function.cpp.o [ 58%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/legacy/GraphBuilder.cpp.o [ 59%] Linking CXX shared library libdgllvmdda.so [ 59%] Built target dgllvmdda [ 59%] Building CXX object tools/CMakeFiles/llvm-thread-regions-dump.dir/llvm-thread-regions-dump.cpp.o [ 60%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/legacy/NTSCD.cpp.o [ 60%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/ControlDependence.cpp.o [ 61%] Linking CXX executable llvm-thread-regions-dump [ 61%] Built target llvm-thread-regions-dump [ 63%] Building CXX object lib/CMakeFiles/dgllvmsdg.dir/llvm/SystemDependenceGraph/SystemDependenceGraph.cpp.o /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/llvm/SystemDependenceGraph/SystemDependenceGraph.cpp: In member function 'void dg::llvmdg::SDGBuilder::buildBBlock(dg::sdg::DependenceGraph&, llvm::BasicBlock&)': /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib/llvm/SystemDependenceGraph/SystemDependenceGraph.cpp:70:27: warning: unused variable 'RI' [-Wunused-variable] 70 | if (auto *RI = llvm::dyn_cast(&I)) { | ^~ [ 63%] Building CXX object lib/CMakeFiles/dgllvmsdg.dir/llvm/SystemDependenceGraph/Dependencies.cpp.o [ 64%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/InterproceduralCD.cpp.o [ 65%] Linking CXX shared library libdgllvmsdg.so [ 66%] Building CXX object lib/CMakeFiles/dgllvmcda.dir/llvm/ControlDependence/SCD.cpp.o [ 66%] Built target dgllvmsdg [ 67%] Linking CXX shared library libdgllvmcda.so [ 67%] Built target dgllvmcda [ 67%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/LLVMNode.cpp.o [ 69%] Building CXX object tools/CMakeFiles/llvm-ntscd-dump.dir/llvm-ntscd-dump.cpp.o [ 70%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/LLVMDependenceGraph.cpp.o [ 71%] Linking CXX executable llvm-ntscd-dump [ 71%] Built target llvm-ntscd-dump [ 72%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/LLVMDGVerifier.cpp.o [ 73%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/Dominators/PostDominators.cpp.o [ 73%] Building CXX object lib/CMakeFiles/dgllvmdg.dir/llvm/DefUse/DefUse.cpp.o [ 75%] Linking CXX shared library libdgllvmdg.so [ 75%] Built target dgllvmdg [ 75%] Building CXX object tools/CMakeFiles/llvm-dg-dump.dir/llvm-dg-dump.cpp.o [ 76%] Building CXX object tools/CMakeFiles/dgllvmslicer.dir/llvm-slicer-opts.cpp.o [ 77%] Building CXX object tools/CMakeFiles/dgllvmslicer.dir/llvm-slicer-utils.cpp.o [ 77%] Building CXX object tools/CMakeFiles/dgllvmslicer.dir/llvm-slicer-preprocess.cpp.o [ 78%] Linking CXX executable llvm-dg-dump [ 78%] Built target llvm-dg-dump [ 79%] Building CXX object tools/CMakeFiles/dgllvmslicer.dir/llvm-slicer-crit.cpp.o [ 80%] Linking CXX shared library libdgllvmslicer.so [ 80%] Built target dgllvmslicer [ 80%] Building CXX object tools/CMakeFiles/llvm-sdg-dump.dir/llvm-sdg-dump.cpp.o [ 82%] Building CXX object tools/CMakeFiles/llvm-slicer.dir/llvm-slicer.cpp.o [ 83%] Linking CXX executable llvm-sdg-dump [ 84%] Linking CXX executable llvm-slicer [ 84%] Built target llvm-sdg-dump [ 85%] Building CXX object tools/CMakeFiles/llvm-cg-dump.dir/llvm-cg-dump.cpp.o [ 85%] Built target llvm-slicer [ 86%] Building CXX object tools/CMakeFiles/llvm-cda-dump.dir/llvm-cda-dump.cpp.o [ 86%] Linking CXX executable llvm-cg-dump [ 86%] Built target llvm-cg-dump [ 88%] Building CXX object tools/CMakeFiles/llvm-cda-bench.dir/llvm-cda-bench.cpp.o [ 89%] Building CXX object tools/CMakeFiles/llvm-cda-dump.dir/llvm-slicer-metadata.cpp.o [ 90%] Linking CXX executable llvm-cda-dump [ 90%] Built target llvm-cda-dump [ 90%] Building CXX object tools/CMakeFiles/llvm-cda-stress.dir/llvm-cda-stress.cpp.o [ 90%] Linking CXX executable llvm-cda-bench [ 90%] Built target llvm-cda-bench [ 90%] Building CXX object tools/CMakeFiles/llvm-pta-dump.dir/llvm-pta-dump.cpp.o [ 91%] Linking CXX executable llvm-cda-stress [ 91%] Built target llvm-cda-stress [ 92%] Building CXX object tools/CMakeFiles/llvm-pta-compare.dir/llvm-pta-compare.cpp.o [ 94%] Building CXX object tools/CMakeFiles/llvm-pta-dump.dir/llvm-slicer-metadata.cpp.o [ 95%] Linking CXX executable llvm-pta-dump [ 96%] Linking CXX executable llvm-pta-compare [ 96%] Built target llvm-pta-dump [ 97%] Building CXX object tools/CMakeFiles/llvm-dda-dump.dir/llvm-dda-dump.cpp.o [ 97%] Built target llvm-pta-compare [ 98%] Building CXX object tools/CMakeFiles/llvm-dda-dump.dir/llvm-slicer-metadata.cpp.o [100%] Linking CXX executable llvm-dda-dump [100%] Built target llvm-dda-dump + return 0 + make install Consolidate compiler generated dependencies of target dganalysis [ 3%] Built target dganalysis Consolidate compiler generated dependencies of target dgpta [ 9%] Built target dgpta Consolidate compiler generated dependencies of target dgdda [ 14%] Built target dgdda Consolidate compiler generated dependencies of target dgcda [ 15%] Built target dgcda Consolidate compiler generated dependencies of target dgsdg [ 17%] Built target dgsdg Consolidate compiler generated dependencies of target dgllvmpta [ 28%] Built target dgllvmpta Consolidate compiler generated dependencies of target dgllvmforkjoin [ 29%] Built target dgllvmforkjoin Consolidate compiler generated dependencies of target dgllvmdda [ 34%] Built target dgllvmdda Consolidate compiler generated dependencies of target dgllvmthreadregions [ 52%] Built target dgllvmthreadregions Consolidate compiler generated dependencies of target dgllvmcda [ 59%] Built target dgllvmcda Consolidate compiler generated dependencies of target dgllvmdg [ 64%] Built target dgllvmdg Consolidate compiler generated dependencies of target dgllvmsdg [ 66%] Built target dgllvmsdg Consolidate compiler generated dependencies of target llvm-dg-dump [ 67%] Built target llvm-dg-dump Consolidate compiler generated dependencies of target dgllvmslicer [ 72%] Built target dgllvmslicer Consolidate compiler generated dependencies of target llvm-slicer [ 75%] Built target llvm-slicer Consolidate compiler generated dependencies of target llvm-sdg-dump [ 76%] Built target llvm-sdg-dump Consolidate compiler generated dependencies of target llvm-cg-dump [ 77%] Built target llvm-cg-dump Consolidate compiler generated dependencies of target llvm-cda-dump [ 80%] Built target llvm-cda-dump Consolidate compiler generated dependencies of target llvm-cda-bench [ 82%] Built target llvm-cda-bench Consolidate compiler generated dependencies of target llvm-cda-stress [ 83%] Built target llvm-cda-stress Consolidate compiler generated dependencies of target llvm-pta-dump [ 85%] Built target llvm-pta-dump Consolidate compiler generated dependencies of target llvm-pta-ben [ 86%] Built target llvm-pta-ben Consolidate compiler generated dependencies of target llvm-pta-compare [ 89%] Built target llvm-pta-compare Consolidate compiler generated dependencies of target llvm-dda-dump [ 92%] Built target llvm-dda-dump Consolidate compiler generated dependencies of target llvm-vr-dump [ 95%] Built target llvm-vr-dump Consolidate compiler generated dependencies of target llvm-to-source [ 96%] Built target llvm-to-source Consolidate compiler generated dependencies of target llvm-thread-regions-dump [ 97%] Built target llvm-thread-regions-dump Consolidate compiler generated dependencies of target llvm-ntscd-dump [100%] Built target llvm-ntscd-dump Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ControlDependence -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ControlDependence/ControlDependenceAnalysisOptions.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/BFS.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointerAnalysisFSInv.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/Pointer.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointerAnalysisFI.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointerAnalysis.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/MemoryObject.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSets -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSets/PointerIdPointsToSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSets/SimplePointsToSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSets/OffsetsSetPointsToSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSets/SeparateOffsetsPointsToSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSets/LookupTable.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSets/AlignedSmallOffsetsPointsToSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSets/AlignedPointerIdPointsToSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToSets/SmallOffsetsPointsToSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointerGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PSNode.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointerGraphOptimizations.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointerAnalysisOptions.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointerGraphValidator.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointerAnalysisFS.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/PointerAnalysis/PointsToMapping.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph/DGElement.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph/DGParameters.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph/DGBBlock.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph/SystemDependenceGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph/DGNodeCall.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph/DepDGElement.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph/DependenceGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph/DGArgumentPair.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SystemDependenceGraph/DGNode.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/MemoryState.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/BBlock.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/Offset.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/DFS.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/NodesWalk.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SCC.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SubgraphBase.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/DGParameters.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/BBlocksBuilder.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/util -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/util/debug.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/util/cow_shared_ptr.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/util/iterators.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/NumberSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/STLHashMap.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/TslHopscotchHashMap.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/HashMapImpl.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/Bitvector.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/Bits.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/Map.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/SetQueue.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/DisjunctiveIntervalMap.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/Queue.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/DGContainer.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/IntervalsList.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ADT/HashMap.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/Node.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/LLVMDependenceGraphBuilder.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ControlDependence -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ControlDependence/LLVMControlDependenceAnalysisOptions.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ControlDependence/ControlDependence.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ControlDependence/LLVMControlDependenceAnalysisImpl.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/PointerAnalysis -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/PointerAnalysis/DGPointerAnalysis.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/PointerAnalysis/SVFPointerAnalysis.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/PointerAnalysis/LLVMPointerAnalysisOptions.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/PointerAnalysis/PointerAnalysis.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/PointerAnalysis/LLVMPointsToSet.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/PointerAnalysis/PointerGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/SystemDependenceGraph -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/SystemDependenceGraph/SystemDependenceGraphBuilder.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/SystemDependenceGraph/SystemDependenceGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/SystemDependenceGraph/SDG2Dot.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/LLVMAnalysisOptions.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/LLVMDGAssemblyAnnotationWriter.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/LLVMSlicer.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/LLVMDG2Dot.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/CallGraph -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/CallGraph/CallGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/LLVMNode.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/Dominators -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/Dominators/Dominators.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/DataDependence -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/DataDependence/DataDependence.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/DataDependence/LLVMDataDependenceAnalysisOptions.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ValueRelations -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ValueRelations/RelationsAnalyzer.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ValueRelations/ValueRelations.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ValueRelations/GraphBuilder.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ValueRelations/StructureAnalyzer.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ValueRelations/getValName.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ValueRelations/GraphElements.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ThreadRegions -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ThreadRegions/ControlFlowGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ThreadRegions/ThreadRegion.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/ThreadRegions/MayHappenInParallel.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/llvm/LLVMDependenceGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/AnalysisOptions.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/MemorySSA -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/MemorySSA/DefinitionsMap.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/MemorySSA/ModRef.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/MemorySSA/MemorySSA.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/MemorySSA/Definitions.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/DependenceGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/CallGraph -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/CallGraph/CallGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/BBlockBase.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/DG2Dot.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/legacy -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/legacy/DataFlowAnalysis.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/legacy/BFS.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/legacy/DFS.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/legacy/NodesWalk.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/legacy/Analysis.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/Dominators -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/Dominators/DominanceFrontiers.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/Dominators/PostDominanceFrontiers.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/Slicing.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/DataDependence -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/DataDependence/DataDependence.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/DataDependence/DataDependenceAnalysisImpl.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/DataDependence/DataDependenceAnalysisOptions.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ReadWriteGraph -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ReadWriteGraph/RWBBlock.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ReadWriteGraph/DefSite.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ReadWriteGraph/ReadWriteGraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ReadWriteGraph/RWNode.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/ReadWriteGraph/RWSubgraph.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/SubgraphNode.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdganalysis.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdganalysis.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgcda.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgcda.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgpta.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgpta.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgdda.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgdda.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgsdg.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgsdg.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmdg.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmdg.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmthreadregions.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmthreadregions.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmcda.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmcda.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmpta.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmpta.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmdda.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmdda.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmforkjoin.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmforkjoin.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmsdg.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmsdg.so" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer" to "$ORIGIN/../lib" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmslicer.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmslicer.so" to "$ORIGIN/../lib" -- Up-to-date: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include -- Up-to-date: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/tools -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/tools/llvm-slicer-preprocess.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/tools/llvm-slicer.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/tools/llvm-slicer-opts.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/tools/TimeMeasure.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/dg/tools/llvm-slicer-utils.h + popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320/dg ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + popd ++ pwd + '[' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 '!=' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ']' + PHASE='building sbt-slicer' + '[' 0 -le 1 ']' ++ ls -A ./sbt-slicer + '[' x = x1 -o -z '.git .gitignore CMakeLists.txt LICENSE README.md bootstrap-dg.sh src' ']' ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-slicer ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + pushd ./sbt-slicer + mkdir -p build-13.0.0 + pushd build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-slicer/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-slicer ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + '[' '!' -d CMakeFiles ']' + cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_LIBDIR:PATH=lib -DCMAKE_INSTALL_FULL_DATADIR:PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share -DLLVM_DIR=/usr/lib64/cmake/llvm -DDG_PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg -DLLVM_LINK_DYLIB=on -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0 '-DCMAKE_INSTALL_RPATH=$ORIGIN/../lib' -- The CXX compiler identification is GNU 11.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Build type: Release -- Found ZLIB: /usr/lib64/libz.so (found version "1.2.11") -- Found LLVM 13.0.0 -- Using LLVMConfig.cmake in: /usr/lib64/cmake/llvm -- LLVM definitions: -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -- LLVM include dir: /usr/include -- LLVM libraries dir: /usr/lib64 -- Linker detection: unknown -- LLVM linking: dynamic -- Setting-up paths to an in-source build of dg -- DG include paths: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/include;/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/tools/include -- DG library paths: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/lib;/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/tools -- libdganalysis library found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdganalysis.so -- libdgpta library found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgpta.so -- libdgdda library found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgdda.so -- libdgllvmpta library found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmpta.so -- libdgllvmdda library found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmdda.so -- libdgllvmdg library found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmdg.so -- libdgllvmcda library found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmcda.so -- libdgllvmthreadregions library found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmthreadregions.so -- libdgllvmslicer library found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmslicer.so -- CMAKE_INSTALL_BINDIR: "bin" -- Found Git: /usr/bin/git (found version "2.33.1") -- Configuring done -- Generating done -- Build files have been written to: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-slicer/build-13.0.0 + build + make -j2 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' [ 50%] Building CXX object src/CMakeFiles/sbt-slicer.dir/sbt-slicer.cpp.o [100%] Linking CXX executable sbt-slicer [100%] Built target sbt-slicer + return 0 + make install Consolidate compiler generated dependencies of target sbt-slicer [100%] Built target sbt-slicer Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer" to "$ORIGIN/../lib" + popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-slicer ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + popd ++ pwd + '[' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 '!=' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ']' + PHASE='building KLEE' + '[' 0 -le 4 -a yes = yes ']' + source scripts/build-klee.sh +++ 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 include lib runtime scripts test tools unittests utils' ']' ++ mkdir -p klee/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ pushd klee/build-13.0.0 ++ STP_FLAGS=-DENABLE_SOLVER_STP=OFF ++ Z3_FLAGS= ++ '[' yes = yes -o '' = yes ']' ++ Z3_FLAGS=-DENABLE_SOLVER_Z3=ON ++ '[' -d /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/z3 ']' ++ '[' '!' -d CMakeFiles ']' ++ ZLIB_FLAGS= ++ '[' -d /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/zlib ']' ++ which lit ++ HAVE_LIT=off ++ EXTRA_FLAGS= ++ '[' -d /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/googletest ']' ++ '[' off=yes -a no = yes ']' ++ ENABLE_TESTS=off +++ abspath /usr/bin/llvm-config +++ which realpath +++ realpath /usr/bin/llvm-config ++ cmake .. -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0 -DCMAKE_BUILD_TYPE=Release -DKLEE_RUNTIME_BUILD_TYPE=Release -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 11.2.1 -- The C compiler identification is GNU 11.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- 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: "13.0.0" -- LLVM_VERSION_MAJOR: "13" -- 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-redhat-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 13.0.0 -- "/usr/bin/clang" is compatible -- Testing bitcode compiler /usr/bin/clang++ -- Compile success -- Checking compatibility with LLVM 13.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 -- 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 CMake Warning (dev) at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:438 (message): The package name passed to `find_package_handle_standard_args` (SQLITE3) does not match the name of the calling package (SQLite3). This can lead to problems in calling code that expects `find_package` result variables (e.g., `_FOUND`) to follow a certain pattern. Call Stack (most recent call first): cmake/modules/FindSQLite3.cmake:26 (FIND_PACKAGE_HANDLE_STANDARD_ARGS) CMakeLists.txt:430 (find_package) This warning is for project developers. Use -Wno-dev to suppress it. -- 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 - 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 -- POSIX runtime disabled -- klee-uclibc support disabled -- libc++ support disabled -- CMAKE_CXX_FLAGS: -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -Wall -Wextra -Wno-unused-parameter -- KLEE_GIT_SHA1HASH: 4a35e4cf6f3a89f92b8826348bbd7c9b16d004f0 -- 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-8.0.0.20211109.085320/klee/build-13.0.0 ++ '[' '' = 1 ']' ++ make -C runtime -f Makefile.cmake.bitcode clean make: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libkleeRuntimeIntrinsic.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libklee-libc.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libkleeRuntimeFreeStanding.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' make: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' ++ build ++ make -j2 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' [ 1%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o [ 2%] Building CXX object lib/Basic/CMakeFiles/kleeBasic.dir/KTest.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 [ 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 /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/lib/Support/MemoryUsage.cpp: In function 'size_t klee::util::GetTotalMallocUsage()': /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/lib/Support/MemoryUsage.cpp:99:26: warning: 'mallinfo mallinfo()' is deprecated [-Wdeprecated-declarations] 99 | struct mallinfo mi = ::mallinfo(); | ^~~~~~~~ In file included from /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/lib/Support/MemoryUsage.cpp:19: /usr/include/malloc.h:114:24: note: declared here 114 | extern struct mallinfo mallinfo (void) __THROW __MALLOC_DEPRECATED; | ^~~~~~~~ /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/lib/Support/MemoryUsage.cpp:99:34: warning: 'mallinfo mallinfo()' is deprecated [-Wdeprecated-declarations] 99 | struct mallinfo mi = ::mallinfo(); | ~~~~~~~~~~^~ In file included from /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/lib/Support/MemoryUsage.cpp:19: /usr/include/malloc.h:114:24: note: declared here 114 | extern struct mallinfo mallinfo (void) __THROW __MALLOC_DEPRECATED; | ^~~~~~~~ [ 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/Expr/CMakeFiles/kleaverExpr.dir/Assignment.cpp.o [ 14%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o [ 15%] Linking CXX static library ../libkleeSupport.a [ 15%] Built target kleeSupport [ 16%] Performing RuntimeBuild step for 'BuildKLEERuntimes' [ 17%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o make[3]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/dso_handle.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_choose.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_div_zero_check.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_int.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_overshift_check.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_range.c Creating LLVM archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libkleeRuntimeIntrinsic.bca make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/__cxa_atexit.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/abort.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/atexit.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/atoi.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/bcmp.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/calloc.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/htonl.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/memchr.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/mempcpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/putchar.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/stpcpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strcat.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strchr.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strcmp.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strcoll.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strcpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strlen.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strncmp.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strncpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strrchr.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strtol.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strtoul.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/tolower.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/toupper.c Creating LLVM archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libklee-libc.bca make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/FreeStanding/memcmp.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/FreeStanding/memcpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/FreeStanding/memmove.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/FreeStanding/memset.c Creating LLVM archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libkleeRuntimeFreeStanding.bca make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' make[3]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' [ 18%] Creating directories for 'BuildKLEERuntimes' [ 19%] No download step for 'BuildKLEERuntimes' [ 19%] No update step for 'BuildKLEERuntimes' [ 20%] No patch step for 'BuildKLEERuntimes' [ 21%] Performing configure step for 'BuildKLEERuntimes' [ 22%] Performing build step for 'BuildKLEERuntimes' [ 23%] Performing install step for 'BuildKLEERuntimes' [ 23%] Completed 'BuildKLEERuntimes' [ 23%] Built target BuildKLEERuntimes [ 24%] Building C object runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o [ 25%] Building CXX object runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o [ 26%] Linking CXX shared library ../../lib/libkleeRuntest.so [ 27%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o [ 27%] Built target kleeRuntest [ 28%] Building CXX object tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o [ 29%] Linking CXX executable ../../bin/gen-bout [ 29%] Built target gen-bout [ 30%] Building CXX object tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o [ 31%] Linking CXX executable ../../bin/gen-random-bout [ 31%] Built target gen-random-bout [ 32%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o [ 33%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/tools/klee-replay/file-creator.c: In function 'create_file': /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/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; | ~~~~~~~ In file included from /usr/include/stdio.h:894, from /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/tools/klee-replay/file-creator.c:16: /usr/include/bits/stdio2.h:71:10: note: '__snprintf_chk' output between 5 and 4100 bytes into a destination of size 64 71 | return __builtin___snprintf_chk (__s, __n, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 72 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 73 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ [ 34%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o [ 35%] Building C object tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o [ 36%] Linking CXX executable ../../bin/klee-replay [ 37%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o [ 37%] Built target klee-replay [ 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/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.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 [ 42%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o [ 43%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o [ 44%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o [ 45%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o [ 46%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o [ 47%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o [ 48%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o [ 49%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o [ 50%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o [ 51%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o [ 52%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o [ 52%] Linking CXX static library ../libkleaverExpr.a [ 52%] Built target kleaverExpr [ 53%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o [ 54%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o [ 55%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o [ 56%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.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/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o [ 61%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o [ 61%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o [ 61%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o [ 62%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o [ 63%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o [ 64%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o [ 65%] Building CXX object lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o [ 66%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o [ 67%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.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%] Linking CXX static library ../libkleeModule.a [ 70%] Built target kleeModule [ 71%] Building CXX object lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o [ 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 [ 80%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o [ 81%] Building CXX object tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o [ 82%] Linking CXX executable ../../bin/kleaver [ 83%] Building CXX object lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o [ 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 [ 87%] Built target kleaver [ 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 [ 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 Consolidate compiler generated dependencies of target kleeBasic [ 2%] Built target kleeBasic Consolidate compiler generated dependencies of target kleeSupport [ 11%] Built target kleeSupport Consolidate compiler generated dependencies of target kleaverExpr [ 26%] Built target kleaverExpr Consolidate compiler generated dependencies of target kleaverSolver [ 48%] Built target kleaverSolver Consolidate compiler generated dependencies of target kleeModule [ 60%] Built target kleeModule Consolidate compiler generated dependencies of target kleeCore [ 78%] Built target kleeCore [ 79%] Performing RuntimeBuild step for 'BuildKLEERuntimes' make[3]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' make[4]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' make[4]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' make[3]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' [ 79%] Completed 'BuildKLEERuntimes' [ 85%] Built target BuildKLEERuntimes Consolidate compiler generated dependencies of target kleeRuntest [ 88%] Built target kleeRuntest Consolidate compiler generated dependencies of target gen-bout [ 90%] Built target gen-bout Consolidate compiler generated dependencies of target gen-random-bout [ 92%] Built target gen-random-bout Consolidate compiler generated dependencies of target kleaver [ 94%] Built target kleaver Consolidate compiler generated dependencies of target klee [ 95%] Built target klee Consolidate compiler generated dependencies of target klee-replay [100%] Built target klee-replay Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/include/klee/klee.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib64/klee/runtime/libkleeRuntimeIntrinsic.bca -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib64/klee/runtime/libklee-libc.bca -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib64/klee/runtime/libkleeRuntimeFreeStanding.bca -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib64/libkleeRuntest.so.1.0 -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib64/libkleeRuntest.so -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/gen-bout -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/gen-random-bout -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/kleaver -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/klee -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/klee-replay -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/klee-stats -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/ktest-tool ++ mv /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib64/klee /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/klee ++ rmdir /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib64 rmdir: failed to remove '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib64': Directory not empty ++ true ++ make -C runtime -f Makefile.cmake.bitcode clean make: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libkleeRuntimeIntrinsic.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libklee-libc.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' Removing bitcode files Removing dependency files Removing LLVM bitcode archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libkleeRuntimeFreeStanding.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' make: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' ++ make -C runtime -f Makefile.cmake.bitcode LLVMCC.ExtraFlags=-m32 EXTRA_LLVMCC.Flags=-m32 make: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/dso_handle.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_choose.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_div_zero_check.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_int.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_overshift_check.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/Intrinsic/klee_range.c Creating LLVM archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libkleeRuntimeIntrinsic.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/Intrinsic' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/__cxa_atexit.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/abort.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/atexit.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/atoi.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/bcmp.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/calloc.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/htonl.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/memchr.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/mempcpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/putchar.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/stpcpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strcat.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strchr.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strcmp.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strcoll.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strcpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strlen.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strncmp.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strncpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strrchr.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strtol.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/strtoul.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/tolower.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/klee-libc/toupper.c Creating LLVM archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libklee-libc.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/klee-libc' make[1]: Entering directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/FreeStanding/memcmp.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/FreeStanding/memcpy.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/FreeStanding/memmove.c LLVMCC (Release) /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/runtime/FreeStanding/memset.c Creating LLVM archive /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/Release/lib/libkleeRuntimeFreeStanding.bca make[1]: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime/FreeStanding' make: Leaving directory '/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0/runtime' ++ mkdir -p /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib32/klee/runtime ++ cp Release/lib/libklee-libc.bca Release/lib/libkleeRuntimeFreeStanding.bca Release/lib/libkleeRuntimeIntrinsic.bca /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib32/klee/runtime/ ++ popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ pwd + '[' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 '!=' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ']' + PHASE='building Predator' + '[' -d predator-13.0.0 ']' + '[' 0 -le 6 -a no = yes ']' ++ pwd + '[' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 '!=' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ']' + PHASE='building sbt-instrumentation' + '[' 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 include instrumentations sbt-instr-c src tests' ']' + pushd ./sbt-instrumentation ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-instrumentation ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + mkdir -p build-13.0.0 + pushd build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-instrumentation/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-instrumentation ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + '[' '!' -d CMakeFiles ']' + cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_LIBDIR:PATH=lib -DCMAKE_INSTALL_FULL_DATADIR:PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share -DDG_PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg -DLLVM_DIR=/usr/lib64/cmake/llvm -DLLVM_LINK_DYLIB=on -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0 -- The CXX compiler identification is GNU 11.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Build type: Release -- Found ZLIB: /usr/lib64/libz.so (found version "1.2.11") -- Linker detection: unknown -- Found LLVM 13.0.0 -- Using LLVMConfig.cmake in: /usr/lib64/cmake/llvm -- LLVM definitions: -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -- LLVM include dir: /usr/include -- LLVM libraries dir: /usr/lib64 -- LLVM linking: dynamic -- DG libraries found: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdganalysis.so, /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmpta.so, /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgpta.so -- Found jsoncpp (found version "1.9.5") -- CMAKE_INSTALL_BINDIR: "bin" -- Found Git: /usr/bin/git (found version "2.33.1") -- Configuring done -- Generating done -- Build files have been written to: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-instrumentation/build-13.0.0 + build + make -j2 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' [ 5%] Building CXX object analyses/CMakeFiles/dgPointsToPlugin.dir/dg_points_to_plugin.cpp.o [ 10%] Building CXX object analyses/CMakeFiles/CheckNSWPlugin.dir/check_nsw_plugin.cpp.o [ 15%] Linking CXX shared module libCheckNSWPlugin.so [ 15%] Built target CheckNSWPlugin [ 20%] Building CXX object analyses/CMakeFiles/InfiniteLoopsPlugin.dir/infinite_loops_plugin.cpp.o [ 25%] Linking CXX shared module libInfiniteLoopsPlugin.so [ 25%] Built target InfiniteLoopsPlugin [ 30%] Building CXX object analyses/CMakeFiles/LLVMPointsToPlugin.dir/llvm_points_to_plugin.cpp.o [ 35%] Linking CXX shared module libLLVMPointsToPlugin.so [ 35%] Built target LLVMPointsToPlugin [ 40%] Building CXX object analyses/CMakeFiles/PredatorPlugin.dir/predator_plugin.cpp.o [ 45%] Linking CXX shared module libdgPointsToPlugin.so [ 50%] Linking CXX shared module libPredatorPlugin.so [ 50%] Built target PredatorPlugin [ 55%] Building CXX object analyses/CMakeFiles/RangeAnalysisPlugin.dir/range_analysis_plugin.cpp.o [ 55%] Built target dgPointsToPlugin [ 60%] Building CXX object analyses/CMakeFiles/ValueRelationsPlugin.dir/value_relations_plugin.cpp.o [ 65%] Building CXX object analyses/CMakeFiles/RangeAnalysisPlugin.dir/ra/RangeAnalysis.cpp.o In file included from /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-instrumentation/analyses/value_relations_plugin.cpp:9: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/include/dg/llvm/ValueRelations/RelationsAnalyzer.h: In member function 'void dg::vr::RelationsAnalyzer::processPhi(dg::vr::ValueRelations&, dg::vr::VRAssumeBool*) const': /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/include/dg/llvm/ValueRelations/RelationsAnalyzer.h:705:14: warning: unused variable 'result' [-Wunused-variable] 705 | bool result = newGraph.merge(source->relations); | ^~~~~~ /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/include/dg/llvm/ValueRelations/RelationsAnalyzer.h: In member function 'bool dg::vr::RelationsAnalyzer::mergeRelations(const std::vector&, dg::vr::VRLocation*)': /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/include/dg/llvm/ValueRelations/RelationsAnalyzer.h:814:18: warning: unused variable 'result' [-Wunused-variable] 814 | bool result = newGraph.merge(treePredGraph, true); | ^~~~~~ [ 70%] Linking CXX shared module libRangeAnalysisPlugin.so [ 75%] Linking CXX shared module libValueRelationsPlugin.so [ 75%] Built target RangeAnalysisPlugin [ 80%] Building CXX object src/CMakeFiles/sbt-instr.dir/instr.cpp.o [ 80%] Built target ValueRelationsPlugin [ 85%] Building CXX object src/CMakeFiles/sbt-instr.dir/instr_analyzer.cpp.o [ 90%] Building CXX object src/CMakeFiles/sbt-instr.dir/instr_log.cpp.o [ 95%] Building CXX object src/CMakeFiles/sbt-instr.dir/rewriter.cpp.o [100%] Linking CXX executable sbt-instr [100%] Built target sbt-instr + return 0 + make install Consolidate compiler generated dependencies of target CheckNSWPlugin [ 10%] Built target CheckNSWPlugin Consolidate compiler generated dependencies of target dgPointsToPlugin [ 20%] Built target dgPointsToPlugin Consolidate compiler generated dependencies of target InfiniteLoopsPlugin [ 30%] Built target InfiniteLoopsPlugin Consolidate compiler generated dependencies of target LLVMPointsToPlugin [ 40%] Built target LLVMPointsToPlugin Consolidate compiler generated dependencies of target PredatorPlugin [ 50%] Built target PredatorPlugin Consolidate compiler generated dependencies of target RangeAnalysisPlugin [ 65%] Built target RangeAnalysisPlugin Consolidate compiler generated dependencies of target ValueRelationsPlugin [ 75%] Built target ValueRelationsPlugin Consolidate compiler generated dependencies of target sbt-instr [100%] Built target sbt-instr Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libCheckNSWPlugin.so -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgPointsToPlugin.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgPointsToPlugin.so" to "" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libInfiniteLoopsPlugin.so -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libLLVMPointsToPlugin.so -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libPredatorPlugin.so -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libRangeAnalysisPlugin.so -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libValueRelationsPlugin.so -- Set runtime path of "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libValueRelationsPlugin.so" to "" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/predator_wrapper.py -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-noconst.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-basic.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-basic-lifetimes.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-enhanced.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-enhanced-noconst.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-marker.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-marker-memcleanup.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-marker-predator.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-marker-predator-pta.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-i2-enhanced.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-i2-enhanced-lifetimes.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-lifetimes.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-minmax.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/config-memcleanup.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/memsafety.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/marker.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-basic.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-rc-rt.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-rc.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-i1-rt.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/memsafety/sttt-experiments/config-new-checkbounds.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/null_deref/config.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/null_deref/null_deref.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/termination/config.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/termination/termination.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/int_overflows/config-no-assert.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/int_overflows/config-no-ra.json -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/int_overflows/overflows.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/int_overflows/overflows-no-assert.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-instr ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-instrumentation ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + popd + popd ++ pwd + '[' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 '!=' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ']' + PHASE='building llvm2c' + '[' 0 -le 6 -a yes = yes ']' + source scripts/build-llvm2c.sh +++ ls -A ./llvm2c ++ '[' x = x1 -o -z '.editorconfig .git .gitignore CMakeLists.txt README.md core expr main.cpp parser test type writer' ']' ~/build/BUILD/symbiotic-8.0.0.20211109.085320/llvm2c ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ pushd ./llvm2c ++ mkdir -p build-13.0.0 ++ pushd build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/llvm2c/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/llvm2c ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ '[' '!' -d CMakeFiles ']' ++ cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_LIBDIR:PATH=lib -DCMAKE_INSTALL_FULL_DATADIR:PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share -DLLVM_SRC_PATH= -DLLVM_LINK_DYLIB=on -DLLVM_BUILD_PATH= -DLLVM_DIR=/usr/lib64/cmake/llvm -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0 -- The CXX compiler identification is GNU 11.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Build type: Release -- Found ZLIB: /usr/lib64/libz.so (found version "1.2.11") -- Found LLVM 13.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 -- Linker detection: unknown -- LLVM linking: dynamic -- clang: /usr/bin/clang -- opt: /usr/bin/opt -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: LLVM_BUILD_PATH LLVM_SRC_PATH -- Build files have been written to: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/llvm2c/build-13.0.0 ++ build ++ make -j2 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' [ 2%] Building CXX object CMakeFiles/llvm2c.dir/main.cpp.o [ 4%] Building CXX object CMakeFiles/llvm2c.dir/core/Block.cpp.o [ 6%] Building CXX object CMakeFiles/llvm2c.dir/core/Func.cpp.o [ 8%] Building CXX object CMakeFiles/llvm2c.dir/core/Program.cpp.o [ 11%] Building CXX object CMakeFiles/llvm2c.dir/expr/BinaryExpr.cpp.o [ 13%] Building CXX object CMakeFiles/llvm2c.dir/expr/Expr.cpp.o [ 15%] Building CXX object CMakeFiles/llvm2c.dir/expr/UnaryExpr.cpp.o [ 17%] Building CXX object CMakeFiles/llvm2c.dir/parser/ProgramParser.cpp.o [ 20%] Building CXX object CMakeFiles/llvm2c.dir/parser/SimplifyingExprVisitor.cpp.o [ 22%] Building CXX object CMakeFiles/llvm2c.dir/parser/addSignCasts.cpp.o [ 24%] Building CXX object CMakeFiles/llvm2c.dir/parser/arrowify.cpp.o [ 26%] Building CXX object CMakeFiles/llvm2c.dir/parser/computeGlobalVarsOrder.cpp.o [ 28%] Building CXX object CMakeFiles/llvm2c.dir/parser/constval.cpp.o [ 31%] Building CXX object CMakeFiles/llvm2c.dir/parser/createAllocas.cpp.o [ 33%] Building CXX object CMakeFiles/llvm2c.dir/parser/createBlocks.cpp.o [ 35%] Building CXX object CMakeFiles/llvm2c.dir/parser/createConstants.cpp.o [ 37%] Building CXX object CMakeFiles/llvm2c.dir/parser/createExpressions.cpp.o [ 40%] Building CXX object CMakeFiles/llvm2c.dir/parser/createFunctionParameters.cpp.o [ 42%] Building CXX object CMakeFiles/llvm2c.dir/parser/createFunctions.cpp.o [ 44%] Building CXX object CMakeFiles/llvm2c.dir/parser/deleteRedundantCasts.cpp.o [ 46%] Building CXX object CMakeFiles/llvm2c.dir/parser/deleteUnusedVariables.cpp.o [ 48%] Building CXX object CMakeFiles/llvm2c.dir/parser/determineIncludes.cpp.o [ 51%] Building CXX object CMakeFiles/llvm2c.dir/parser/extractVars.cpp.o [ 53%] Building CXX object CMakeFiles/llvm2c.dir/parser/findDeclaredFunctions.cpp.o [ 55%] Building CXX object CMakeFiles/llvm2c.dir/parser/findMetadataFunctionNames.cpp.o [ 57%] Building CXX object CMakeFiles/llvm2c.dir/parser/findMetadataVariableNames.cpp.o [ 60%] Building CXX object CMakeFiles/llvm2c.dir/parser/fixMainParameters.cpp.o [ 62%] Building CXX object CMakeFiles/llvm2c.dir/parser/identifyInlinableBlocks.cpp.o [ 64%] Building CXX object CMakeFiles/llvm2c.dir/parser/initializeGlobalVars.cpp.o [ 66%] Building CXX object CMakeFiles/llvm2c.dir/parser/inlineBlocks.cpp.o [ 68%] Building CXX object CMakeFiles/llvm2c.dir/parser/memcpyToAssign.cpp.o [ 71%] Building CXX object CMakeFiles/llvm2c.dir/parser/nameFunctions.cpp.o [ 73%] Building CXX object CMakeFiles/llvm2c.dir/parser/parseBreaks.cpp.o [ 75%] Building CXX object CMakeFiles/llvm2c.dir/parser/parseMetadataTypes.cpp.o [ 77%] Building CXX object CMakeFiles/llvm2c.dir/parser/parseStructDeclarations.cpp.o [ 80%] Building CXX object CMakeFiles/llvm2c.dir/parser/parseStructItems.cpp.o [ 82%] Building CXX object CMakeFiles/llvm2c.dir/parser/prepareBitcastUnion.cpp.o [ 84%] Building CXX object CMakeFiles/llvm2c.dir/parser/refDeref.cpp.o [ 86%] Building CXX object CMakeFiles/llvm2c.dir/parser/toinst.cpp.o [ 88%] Building CXX object CMakeFiles/llvm2c.dir/type/Type.cpp.o [ 91%] Building CXX object CMakeFiles/llvm2c.dir/type/TypeHandler.cpp.o [ 93%] Building CXX object CMakeFiles/llvm2c.dir/writer/CWriter.cpp.o [ 95%] Building CXX object CMakeFiles/llvm2c.dir/writer/ExprWriter.cpp.o [ 97%] Building CXX object CMakeFiles/llvm2c.dir/writer/Writer.cpp.o [100%] Linking CXX executable llvm2c [100%] Built target llvm2c ++ return 0 ++ make install Consolidate compiler generated dependencies of target llvm2c [100%] Built target llvm2c Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm2c ++ popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320/llvm2c ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + PHASE='building LLVMsbt.so' + '[' 0 -le 6 ']' + mkdir -p transforms/build-13.0.0 + pushd transforms/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/transforms/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 + '[' '!' -d CMakeFiles ']' + cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install -DCMAKE_INSTALL_LIBDIR:PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib -DLLVM_DIR=/usr/lib64/cmake/llvm -- The CXX compiler identification is GNU 11.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Build type: Release -- Found ZLIB: /usr/lib64/libz.so (found version "1.2.11") -- Found LLVM 13.0.0 -- Using LLVMConfig.cmake in: /usr/lib64/cmake/llvm -- LLVM definitions: -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -- LLVM include dir: /usr/include -- LLVM libraries dir: /usr/lib64 -- Linker detection: unknown -- CMAKE_INSTALL_LIBDIR: "/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib" -- Configuring done -- Generating done -- Build files have been written to: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/transforms/build-13.0.0 + build + make -j2 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' [ 3%] Building CXX object CMakeFiles/LLVMsbt.dir/AInliner.cpp.o [ 6%] Building CXX object CMakeFiles/LLVMsbt.dir/BreakCritLoops.cpp.o [ 9%] Building CXX object CMakeFiles/LLVMsbt.dir/BreakInfiniteLoops.cpp.o [ 12%] Building CXX object CMakeFiles/LLVMsbt.dir/CheckModule.cpp.o [ 15%] Building CXX object CMakeFiles/LLVMsbt.dir/ClassifyInstructions.cpp.o [ 18%] Building CXX object CMakeFiles/LLVMsbt.dir/ClassifyLoops.cpp.o [ 21%] Building CXX object CMakeFiles/LLVMsbt.dir/CloneMetadata.cpp.o [ 24%] Building CXX object CMakeFiles/LLVMsbt.dir/CountInstr.cpp.o [ 27%] Building CXX object CMakeFiles/LLVMsbt.dir/DeleteUndefined.cpp.o [ 30%] Building CXX object CMakeFiles/LLVMsbt.dir/DummyMarker.cpp.o [ 33%] Building CXX object CMakeFiles/LLVMsbt.dir/ExplicitConsdes.cpp.o [ 36%] Building CXX object CMakeFiles/LLVMsbt.dir/FindExits.cpp.o [ 39%] Building CXX object CMakeFiles/LLVMsbt.dir/FlattenLoops.cpp.o [ 42%] Building CXX object CMakeFiles/LLVMsbt.dir/InitializeUninitialized.cpp.o [ 45%] Building CXX object CMakeFiles/LLVMsbt.dir/InstrumentAlloc.cpp.o [ 48%] Building CXX object CMakeFiles/LLVMsbt.dir/InstrumentNontermination.cpp.o [ 51%] Building CXX object CMakeFiles/LLVMsbt.dir/InternalizeGlobals.cpp.o [ 54%] Building CXX object CMakeFiles/LLVMsbt.dir/MakeNondet.cpp.o [ 57%] Building CXX object CMakeFiles/LLVMsbt.dir/MarkVolatile.cpp.o [ 60%] Building CXX object CMakeFiles/LLVMsbt.dir/DeleteCalls.cpp.o [ 63%] Building CXX object CMakeFiles/LLVMsbt.dir/GetTestTargets.cpp.o [ 66%] Building CXX object CMakeFiles/LLVMsbt.dir/PrepareOverflows.cpp.o [ 69%] Building CXX object CMakeFiles/LLVMsbt.dir/RemoveErrorCalls.cpp.o [ 72%] Building CXX object CMakeFiles/LLVMsbt.dir/RemoveConstantExprs.cpp.o [ 75%] Building CXX object CMakeFiles/LLVMsbt.dir/RemoveInfiniteLoops.cpp.o [ 78%] Building CXX object CMakeFiles/LLVMsbt.dir/RemoveReadOnlyAttr.cpp.o [ 81%] Building CXX object CMakeFiles/LLVMsbt.dir/RenameVerifierFuns.cpp.o [ 84%] Building CXX object CMakeFiles/LLVMsbt.dir/ReplaceAsserts.cpp.o [ 87%] Building CXX object CMakeFiles/LLVMsbt.dir/ReplaceLifetimeMarkers.cpp.o [ 90%] Building CXX object CMakeFiles/LLVMsbt.dir/ReplaceUBSan.cpp.o [ 93%] Building CXX object CMakeFiles/LLVMsbt.dir/ReplaceVerifierAtomic.cpp.o [ 96%] Building CXX object CMakeFiles/LLVMsbt.dir/Unrolling.cpp.o [100%] Linking CXX shared module LLVMsbt.so [100%] Built target LLVMsbt + return 0 + make install Consolidate compiler generated dependencies of target LLVMsbt [100%] Built target LLVMsbt Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/LLVMsbt.so + popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ pwd + '[' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 '!=' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ']' + PHASE='installing files and function models' + '[' 0 -le 6 ']' + '[' '!' -d CMakeFiles ']' + cmake . -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install -DCMAKE_INSTALL_LIBDIR:PATH=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.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 11.2.1 -- The CXX compiler identification is GNU 11.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- 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.22) 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-8.0.0.20211109.085320 + build + make -j2 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' + return 0 + make install Install the project... -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/bin/symbiotic -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/bin/gen-c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/bin/kleetester.py -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/unreach-call.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/no-null-deref.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/no-overflow.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/coverage-statements.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/coverage-error-call.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/coverage-conditions.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/def-behavior.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/coverage-branches.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/valid-memsafety.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/valid-memcleanup.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install//properties/termination.prp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__INSTR_fail.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__VERIFIER_exit.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/pthread_getspecific.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/pthread_setspecific.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/__VERIFIER_silent_exit.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/__VERIFIER_assume.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/fgets.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/__VERIFIER_calloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/__VERIFIER_malloc0.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/__VERIFIER_calloc0.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/pthread_key_create.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/__VERIFIER_make_nondet.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee/__VERIFIER_malloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/svcomp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/svcomp/__VERIFIER_silent_exit.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/svcomp/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/svcomp/__VERIFIER_assume.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/svcomp/__VERIFIER_calloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/svcomp/__VERIFIER_malloc0.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/svcomp/__VERIFIER_calloc0.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/svcomp/__VERIFIER_make_nondet.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/svcomp/__VERIFIER_malloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__VERIFIER_assert.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__INSTR_check_assume.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/slowbeast -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/slowbeast/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__VERIFIER_silent_exit.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_short_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_char.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_float.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_float_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_u32.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_size_t.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_int.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_pchar.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_long.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_bool.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_U16.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_uchar_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_u32_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_int_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_unsigned.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_u8.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_size_t_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_short.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_ulong.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_U32.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_ushort.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_pointer_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_loff_t_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_pchar_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_long_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_double_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet__Bool_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_loff_t.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_silent_exit.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_uint.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_double.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_assume.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_calloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_bool_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_malloc0.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet__Bool.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_U8.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_uchar.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_char_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_uint_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_pointer.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_calloc0.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_sector_t_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_u16.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_ulong_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_make_nondet.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_malloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_unsigned_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_sector_t.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/klee-mainstream/__VERIFIER_nondet_ushort_named.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__VERIFIER_calloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__VERIFIER_malloc0.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__VERIFIER_calloc0.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__INSTR_check_nontermination.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/__VERIFIER_malloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/ikos -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/verifier/ikos/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/nidhugg -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/nidhugg/__VERIFIER_atomic_end.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/nidhugg/__VERIFIER_atomic_begin.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/nidhugg/__symbiotic_atomic_end.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/nidhugg/__symbiotic_atomic_begin.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/nidhugg/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/nidhugg/__symbiotic_global_lock.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/svcomp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/svcomp/__VERIFIER_error.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/divine -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/divine/__VERIFIER_atomic_end.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/divine/__VERIFIER_atomic_begin.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/divine/__symbiotic_atomic_end.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/divine/__symbiotic_atomic_begin.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/divine/__symbiotic_global_lock.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/svcomp/__VERIFIER_assume.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strncpy.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/time.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/memchr.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/fgetc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/memcmp.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/getenv.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/__ctype_b_loc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strcspn.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strcpy.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strftime.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/nan.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strlen.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strerror.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strchr.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strtok.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/memrchr.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/__errno_location.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/puts.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strcmp.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/atexit.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strtoull.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/fdim.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strtod.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strncmp.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/atoi.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strrchr.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/fflush.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/localtime.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/strspn.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/memalloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/klee/mktime.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/svcomp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/svcomp/getopt_long.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/svcomp/fgetc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/svcomp/setjmp.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/svcomp/getopt.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/svcomp/strtoull.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/svcomp/strtod.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/svcomp/ferror.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/svcomp/strtoul.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/legacy -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/legacy/memcpy.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/legacy/memmove.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/legacy/strtoull.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/libc/legacy/strtoul.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/posix -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/posix/htonl.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/posix/ntohs.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/posix/ntohl.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/posix/htons.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/posix/strdup.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/posix/svcomp -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/posix/svcomp/getopt_long.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/posix/svcomp/getopt.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/kernel -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/kernel/kzalloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/kernel/kfree.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/kernel/_ctype.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/kernel/__memset.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/kernel/kmalloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/kernel/__memcpy.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/kernel/__kfree.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib/kernel/__kmalloc.c -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/include/symbiotic.h -- Installing: /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/include/symbiotic-size_t.h ++ pwd + '[' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 '!=' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 ']' + '[' 0 -le 7 ']' + PHASE='generating versions.py file' + source scripts/gen-version.sh ~/build/BUILD/symbiotic-8.0.0.20211109.085320/transforms/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ pushd transforms/build-13.0.0 +++ git rev-parse HEAD ++ SYMBIOTIC_VERSION=fe891427c650982f04e99af9655a37c514eedc69 +++ grep 'CMAKE_BUILD_TYPE[:=]' CMakeCache.txt +++ sed 's@.*=\(.*\)@\1@' ++ SYMBIOTIC_BUILD_TYPE=Release ++ popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ pushd dg/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/dg/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 +++ git rev-parse HEAD ++ DG_VERSION=4b374e5dba6e9a1d76191cd76ae8bad42a977171 +++ grep 'CMAKE_BUILD_TYPE[:=]' CMakeCache.txt +++ sed 's@.*=\(.*\)@\1@' ++ DG_BUILD_TYPE=Release ++ popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ pushd sbt-slicer/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-slicer/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 +++ git rev-parse HEAD ++ SBT_SLICER_VERSION=ec203338e77b3ff45b7c34bc84715a24723b9a51 +++ grep 'CMAKE_BUILD_TYPE[:=]' CMakeCache.txt +++ sed 's@.*=\(.*\)@\1@' ++ SBT_SLICER_BUILD_TYPE=Release ++ popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ pushd sbt-instrumentation/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/sbt-instrumentation/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 +++ git rev-parse HEAD ++ INSTRUMENTATION_VERSION=1d3af74b09f3301c4e97793fc9fddf96592d484b +++ grep 'CMAKE_BUILD_TYPE[:=]' CMakeCache.txt +++ sed 's@.*=\(.*\)@\1@' ++ INSTRUMENTATION_BUILD_TYPE=Release ++ popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ '[' '' = yes ']' ++ '[' '' = yes ']' ++ '[' yes = yes ']' ++ pushd klee/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320/klee/build-13.0.0 ~/build/BUILD/symbiotic-8.0.0.20211109.085320 +++ git rev-parse HEAD ++ KLEE_VERSION=4a35e4cf6f3a89f92b8826348bbd7c9b16d004f0 +++ grep 'CMAKE_BUILD_TYPE[:=]' CMakeCache.txt +++ sed 's@.*=\(.*\)@\1@' ++ KLEE_BUILD_TYPE=Release +++ grep '^KLEE_RUNTIME_BUILD_TYPE[^-]' CMakeCache.txt +++ sed 's@.*=\(.*\)@\1@' ++ KLEE_RUNTIME_BUILD_TYPE=Release ++ popd ~/build/BUILD/symbiotic-8.0.0.20211109.085320 ++ 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'\'' : '\''fe891427c650982f04e99af9655a37c514eedc69'\'',' ++ echo -e '\t'\''dg'\'' : '\''4b374e5dba6e9a1d76191cd76ae8bad42a977171'\'',' ++ echo -e '\t'\''sbt-slicer'\'' : '\''ec203338e77b3ff45b7c34bc84715a24723b9a51'\'',' ++ echo -e '\t'\''sbt-instrumentation'\'' : '\''1d3af74b09f3301c4e97793fc9fddf96592d484b'\'',' ++ '[' '' = yes ']' ++ '[' '' = yes ']' ++ echo -e '\t'\''klee'\'' : '\''4a35e4cf6f3a89f92b8826348bbd7c9b16d004f0'\'',' ++ echo -e '}\n' ++ echo -e 'llvm_version = '\''13.0.0'\''\n' ++ echo 'build_types = {' ++ echo -e '\t'\''symbiotic'\'' : '\''Release'\'',' ++ echo -e '\t'\''dg'\'' : '\''Release'\'',' ++ echo -e '\t'\''sbt-slicer'\'' : '\''Release'\'',' ++ echo -e '\t'\''sbt-instrumentation'\'' : '\''Release'\'',' ++ '[' '' = yes ']' ++ echo -e '\t'\''klee'\'' : '\''Release'\'',' ++ echo -e '\t'\''klee-runtime'\'' : '\''Release'\'',' ++ echo -e '}\n' + PHASE='creating distribution' + source scripts/push-to-git.sh ++ cp LICENSE.txt /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/ ++ cp README.md /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/ ++ cp -r ./lib/symbioticpy /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/lib ++ DEPENDENCIES= ++ '[' no = yes ']' ++ cd /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install ++ BINARIES='/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-instr' ++ for B in $LLVM_TOOLS ++ BINARIES='/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/opt /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-instr' ++ for B in $LLVM_TOOLS ++ BINARIES='/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/clang /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/opt /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-instr' ++ for B in $LLVM_TOOLS ++ BINARIES='/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-link /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/clang /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/opt /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-instr' ++ for B in $LLVM_TOOLS ++ BINARIES='/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-dis /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-link /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/clang /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/opt /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-instr' ++ for B in $LLVM_TOOLS ++ BINARIES='/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-nm /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-dis /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-link /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/clang /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/opt /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-instr' ++ '[' yes = yes ']' ++ BINARIES='/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-nm /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-dis /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-link /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/clang /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/opt /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-instr /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/klee' ++ SCRIPTS= ++ '[' no = yes ']' ++ '[' yes = yes ']' ++ BINARIES='/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-nm /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-dis /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-link /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/clang /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/opt /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm-slicer /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/sbt-instr /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/klee /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/bin/llvm2c' ++ LIBRARIES=' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmdg.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmpta.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgdda.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdganalysis.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgpta.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmdda.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgcda.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmcda.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmthreadregions.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmforkjoin.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmpta.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmcda.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgllvmslicer.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/LLVMsbt.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libdgPointsToPlugin.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libPredatorPlugin.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libRangeAnalysisPlugin.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libCheckNSWPlugin.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libInfiniteLoopsPlugin.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libLLVMPointsToPlugin.so /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/libValueRelationsPlugin.so' ++ BCFILES= ++ '[' yes = yes ']' ++ BCFILES=' /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/klee/runtime/*.bc* /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib32/klee/runtime/*.bc* /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib/*.bc* /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/lib32/*.bc*' ++ '[' '' = yes ']' ++ SCRIPTS= ++ '[' no = yes ']' ++ INSTR=/builddir/build/BUILD/symbiotic-8.0.0.20211109.085320/install/llvm-13.0.0/share/sbt-instrumentation/ ++ '[' '' = yes ']' ++ '[' '' = yes ']' ++ exit 0 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.kELg5I + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64 ++ dirname /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64 + cd symbiotic-8.0.0.20211109.085320 + mkdir -p /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic + cp -pr install/LICENSE.txt install/README.md install/bin install/include install/lib install/lib32 install/llvm-13.0.0 install/properties /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic + mkdir -p /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/usr/bin + install -m 755 /builddir/build/SOURCES/symbiotic2cs.py /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/usr/bin/symbiotic2cs + install -m 755 /builddir/build/SOURCES/csexec-symbiotic.sh /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/usr/bin/csexec-symbiotic + ln -sf /opt/symbiotic/bin/symbiotic /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/usr/bin/symbiotic + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 8.0.0.20211109.085320-1.fc36 --unique-debug-suffix -8.0.0.20211109.085320-1.fc36.x86_64 --unique-debug-src-base symbiotic-8.0.0.20211109.085320-1.fc36.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/symbiotic-8.0.0.20211109.085320 extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/bin/gen-random-bout extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/bin/gen-bout extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/bin/kleaver extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/bin/klee extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/bin/klee-replay extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/bin/llvm-slicer extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/bin/llvm2c extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/bin/sbt-instr extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/bin/sbt-slicer extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/LLVMsbt.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libCheckNSWPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libInfiniteLoopsPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libLLVMPointsToPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libPredatorPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libRangeAnalysisPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libValueRelationsPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgPointsToPlugin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdganalysis.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgcda.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgdda.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgllvmcda.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgllvmdda.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgllvmdg.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgllvmforkjoin.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgllvmpta.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgllvmsdg.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgllvmslicer.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgllvmthreadregions.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgpta.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/libdgsdg.so extracting debug info from /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib64/libkleeRuntest.so.1.0 original debug info size: 245412kB, size after compression: 166128kB /usr/bin/sepdebugcrcfix: Updated 31 CRC32s, 0 CRC32s did match. 6719 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip /usr/bin/strip: /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.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-8.0.0.20211109.085320-1.fc36.x86_64/opt/symbiotic/llvm-13.0.0/lib/klee/runtime/libkleeRuntimeIntrinsic.bca(klee_range.bc): Unable to recognise the format of file: file format not recognized + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in /usr/bin/symbiotic2cs from /bin/python3 to #!/usr/bin/python3 mangling shebang in /opt/symbiotic/llvm-13.0.0/bin/predator_wrapper.py from /usr/bin/env python3 to #!/usr/bin/python3 mangling shebang in /opt/symbiotic/llvm-13.0.0/bin/ktest-tool from /usr/bin/env python3 to #!/usr/bin/python3 mangling shebang in /opt/symbiotic/llvm-13.0.0/bin/klee-stats 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 /opt/symbiotic/bin/symbiotic from /usr/bin/env python3 to #!/usr/bin/python3 + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Processing files: symbiotic-8.0.0.20211109.085320-1.fc36.x86_64 warning: absolute symlink: /opt/symbiotic/llvm-13.0.0/bin/clang -> /usr/bin/clang warning: absolute symlink: /opt/symbiotic/llvm-13.0.0/bin/llvm-dis -> /usr/bin/llvm-dis warning: absolute symlink: /opt/symbiotic/llvm-13.0.0/bin/llvm-link -> /usr/bin/llvm-link warning: absolute symlink: /opt/symbiotic/llvm-13.0.0/bin/llvm-nm -> /usr/bin/llvm-nm warning: absolute symlink: /opt/symbiotic/llvm-13.0.0/bin/opt -> /usr/bin/opt warning: absolute symlink: /opt/symbiotic/llvm-13.0.0/lib/clang -> /usr/lib64/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) libdgcda.so()(64bit) libdgdda.so()(64bit) libdgllvmcda.so()(64bit) libdgllvmdda.so()(64bit) libdgllvmdg.so()(64bit) libdgllvmforkjoin.so()(64bit) libdgllvmpta.so()(64bit) libdgllvmsdg.so()(64bit) libdgllvmslicer.so()(64bit) libdgllvmthreadregions.so()(64bit) libdgpta.so()(64bit) libdgsdg.so()(64bit) libkleeRuntest.so.1.0()(64bit) symbiotic = 8.0.0.20211109.085320-1.fc36 symbiotic(x86-64) = 8.0.0.20211109.085320-1.fc36 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/bash /usr/bin/python3 /usr/bin/sh libLLVM-13.so()(64bit) libLLVM-13.so(LLVM_13)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(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.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(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) libdgsdg.so()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libjsoncpp.so.25()(64bit) libkleeRuntest.so.1.0()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.29)(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.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.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) libz.so.1()(64bit) libz3.so.4.8()(64bit) rtld(GNU_HASH) Processing files: symbiotic-debugsource-8.0.0.20211109.085320-1.fc36.x86_64 Provides: symbiotic-debugsource = 8.0.0.20211109.085320-1.fc36 symbiotic-debugsource(x86-64) = 8.0.0.20211109.085320-1.fc36 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: symbiotic-debuginfo-8.0.0.20211109.085320-1.fc36.x86_64 Provides: debuginfo(build-id) = 0bbe653c17789b326e057bdd9cba56a7589f908c debuginfo(build-id) = 0f9427bed48838de919ae86234f149845b01e4aa debuginfo(build-id) = 289359aba3c951d82fb15998ddfe6ddb53ffa1a0 debuginfo(build-id) = 3892ea296c620572b9d3165aacb5d7052d2e2c51 debuginfo(build-id) = 3cf949d1337f132eae6be45f06bd526c0a754cab debuginfo(build-id) = 3f77c0f8fdded7034dcd086a26afcf88f77a7c3b debuginfo(build-id) = 4923d805388a25c35d4a65420e59ce78100898bc debuginfo(build-id) = 594b486571c99b4bee58593d5e5d3c0d77641ff8 debuginfo(build-id) = 5f2606c7950b2c896fda7cb0641816c67a20415a debuginfo(build-id) = 7078d199a8ec7d60c53ee173a22798f068e600cc debuginfo(build-id) = 78717f6afa7ea7274db873cffb1e805c68b5bc27 debuginfo(build-id) = 7925ec808a6a8aa3a5f59985f9304f87b751ccff debuginfo(build-id) = 7f3908b3756be1e103f0f4ea20223a44c1891309 debuginfo(build-id) = a1d3f62e57bfddca721641b564788a0e6c51e9a9 debuginfo(build-id) = a52a39886d9b6fd39c8d47240e03ce8ac8b60592 debuginfo(build-id) = aa387bdaf414d1a88f858d059d1e0f266ed5ce52 debuginfo(build-id) = ae389a936fa06fc85ecd43a24177febbc1254c51 debuginfo(build-id) = b1523a585c20b8fce71f86c5fae046eada67d791 debuginfo(build-id) = bf5ec7787f42b81038f087654fb7e4e4faadb546 debuginfo(build-id) = c426f7896c72204a0130d5cbae7565efba50cec9 debuginfo(build-id) = c5c71ee1d37e6c6acb81f42a4e2c4abd5358b3ab debuginfo(build-id) = c7c71f325d59a3ef96ddadef88edf210e1ccd9e7 debuginfo(build-id) = c9746a4f9498c0544c66709d01c282564ce3ed9e debuginfo(build-id) = d017191d34d6c2d10f9e248a6a6e7cff5e089391 debuginfo(build-id) = d0f5f5ef1421b04a6352829b48e71622cffbe34d debuginfo(build-id) = e8dcd4d2976d8f7af0afa598fcff45a2512b807b debuginfo(build-id) = ec35236a8390fc3d23699a8bba1e5abb14938e87 debuginfo(build-id) = edd7ca36e89f765589e6c0ab67759ab0f169ec16 debuginfo(build-id) = f1d44f0dd5301945759976602b2868cefaa5b297 debuginfo(build-id) = f883b8c0e14b3a0dc67ea661666b86590735834a debuginfo(build-id) = fe863379fa8a4a2f43a2bb204b7a1781965c9bfd libCheckNSWPlugin.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libInfiniteLoopsPlugin.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libLLVMPointsToPlugin.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libPredatorPlugin.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libRangeAnalysisPlugin.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libValueRelationsPlugin.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgPointsToPlugin.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdganalysis.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgcda.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgdda.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgllvmcda.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgllvmdda.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgllvmdg.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgllvmforkjoin.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgllvmpta.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgllvmsdg.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgllvmslicer.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgllvmthreadregions.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgpta.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libdgsdg.so-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) libkleeRuntest.so.1.0-8.0.0.20211109.085320-1.fc36.x86_64.debug()(64bit) symbiotic-debuginfo = 8.0.0.20211109.085320-1.fc36 symbiotic-debuginfo(x86-64) = 8.0.0.20211109.085320-1.fc36 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: symbiotic-debugsource(x86-64) = 8.0.0.20211109.085320-1.fc36 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64 Wrote: /builddir/build/RPMS/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64.rpm Wrote: /builddir/build/RPMS/symbiotic-debugsource-8.0.0.20211109.085320-1.fc36.x86_64.rpm Wrote: /builddir/build/RPMS/symbiotic-debuginfo-8.0.0.20211109.085320-1.fc36.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.DwEL4w + umask 022 + cd /builddir/build/BUILD + cd symbiotic-8.0.0.20211109.085320 + /usr/bin/rm -rf /builddir/build/BUILDROOT/symbiotic-8.0.0.20211109.085320-1.fc36.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0