Mock Version: 3.3 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/lfsc.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1667987860.759797/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.pes46ynf:/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.pes46ynf:/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', '5a9b2508d0834b0898c1a6fa44ddbdf9', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1667987860.759797/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.pes46ynf:/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/lfsc.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', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1658361600 Wrote: /builddir/build/SRPMS/lfsc-0.20210305-4.fc38.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/lfsc.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1667987860.759797/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.pes46ynf:/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.pes46ynf:/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', '524ef883ceee49bd9221bcfd045dc0cf', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1667987860.759797/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.pes46ynf:/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/lfsc.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', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1658361600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.WPuInd + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/lfsc-15f53d6.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/lfsc-map.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + sed -i /Wno-deprecated/d CMakeLists.txt + sed -e s/STATIC/SHARED/ -e '/^[[:blank:]]*OUTPUT_NAME lfscc/i\ VERSION 0.0.0\n SOVERSION 0' -e 's/ARCHIVE DESTINATION/LIBRARY DESTINATION/' -e '/^set_target_properties/iTARGET_LINK_LIBRARIES(liblfscc gmp)' -i src/CMakeLists.txt + '[' lib64 = lib64 ']' + sed -i s,/lib,/lib64, src/CMakeLists.txt + sed -i 's,/usr/bin/env python,/usr/bin/python3,' tests/run_test.py + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.F2sVNA + umask 022 + cd /builddir/build/BUILD + 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 + VALAFLAGS=-g + export VALAFLAGS + 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 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + 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 + VALAFLAGS=-g + export VALAFLAGS + 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 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + /usr/bin/cmake -S . -B redhat-linux-build -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_Fortran_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON -DCMAKE_INSTALL_DO_STRIP:BOOL=OFF -DCMAKE_INSTALL_PREFIX:PATH=/usr -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib64 -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DLIB_SUFFIX=64 -DBUILD_SHARED_LIBS:BOOL=ON CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 2.8.12 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The C compiler identification is GNU 12.2.1 -- The CXX compiler identification is GNU 12.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 -- Found GMP: /usr/include -- Defaulting to release build. -- Configure with flag '-Wall' -- Configure with flag '-std=gnu++11' -- Configured release build. -- Found FLEX: /usr/bin/flex (found version "2.6.4") -- Flex include directories: /usr/include -- Flex executable: /usr/bin/flex -- Flex version: 2.6.4 -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_C_FLAGS_RELEASE CMAKE_Fortran_FLAGS_RELEASE CMAKE_INSTALL_DO_STRIP INCLUDE_INSTALL_DIR LIB_INSTALL_DIR LIB_SUFFIX SHARE_INSTALL_PREFIX SYSCONF_INSTALL_DIR -- Build files have been written to: /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build + /usr/bin/cmake --build redhat-linux-build -j2 --verbose /usr/bin/cmake -S/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d -B/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/CMakeFiles /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build//CMakeFiles/progress.marks /usr/bin/gmake -f CMakeFiles/Makefile2 all gmake[1]: Entering directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' /usr/bin/gmake -f src/CMakeFiles/objlib.dir/build.make src/CMakeFiles/objlib.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' [ 6%] [FLEX][Lexer] Building scanner with flex 2.6.4 cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src && /usr/bin/flex -o/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src/lexer.cpp lexer.flex cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src/CMakeFiles/objlib.dir/DependInfo.cmake --color= gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' /usr/bin/gmake -f src/CMakeFiles/objlib.dir/build.make src/CMakeFiles/objlib.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' [ 13%] Building CXX object src/CMakeFiles/objlib.dir/code.cpp.o [ 20%] Building CXX object src/CMakeFiles/objlib.dir/check.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/code.cpp.o -MF CMakeFiles/objlib.dir/code.cpp.o.d -o CMakeFiles/objlib.dir/code.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/code.cpp cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/check.cpp.o -MF CMakeFiles/objlib.dir/check.cpp.o.d -o CMakeFiles/objlib.dir/check.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp: In function 'Expr* check(bool, Expr*, Expr**, bool*, bool, bool)': /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:193:27: warning: loop variable 'binding' creates a copy from type 'const std::tuple, std::allocator >, Expr*, Expr*>' [-Wrange-loop-construct] 193 | for (const auto binding : decls.old_bindings) | ^~~~~~~ /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:193:27: note: use reference type to prevent copying 193 | for (const auto binding : decls.old_bindings) | ^~~~~~~ | & /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp: In function 'void check_file(std::istream&, const std::string&, args, sccwriter*, libwriter*)': /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:1226:27: warning: loop variable 'binding' creates a copy from type 'const std::tuple, std::allocator >, Expr*, Expr*>' [-Wrange-loop-construct] 1226 | for (const auto binding : decls.old_bindings) | ^~~~~~~ /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:1226:27: note: use reference type to prevent copying 1226 | for (const auto binding : decls.old_bindings) | ^~~~~~~ | & /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:1251:27: warning: loop variable 'binding' creates a copy from type 'const std::tuple, std::allocator >, Expr*, Expr*>' [-Wrange-loop-construct] 1251 | for (const auto binding : decls.old_bindings) | ^~~~~~~ /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:1251:27: note: use reference type to prevent copying 1251 | for (const auto binding : decls.old_bindings) | ^~~~~~~ | & /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:1280:27: warning: loop variable 'binding' creates a copy from type 'const std::tuple, std::allocator >, Expr*, Expr*>' [-Wrange-loop-construct] 1280 | for (const auto binding : decls.old_bindings) | ^~~~~~~ /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:1280:27: note: use reference type to prevent copying 1280 | for (const auto binding : decls.old_bindings) | ^~~~~~~ | & /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:1330:29: warning: loop variable 'binding' creates a copy from type 'const std::tuple, std::allocator >, Expr*, Expr*>' [-Wrange-loop-construct] 1330 | for (const auto binding : decls.old_bindings) | ^~~~~~~ /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/check.cpp:1330:29: note: use reference type to prevent copying 1330 | for (const auto binding : decls.old_bindings) | ^~~~~~~ | & [ 26%] Building CXX object src/CMakeFiles/objlib.dir/expr.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/expr.cpp.o -MF CMakeFiles/objlib.dir/expr.cpp.o.d -o CMakeFiles/objlib.dir/expr.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/expr.cpp [ 33%] Building CXX object src/CMakeFiles/objlib.dir/lfscc.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/lfscc.cpp.o -MF CMakeFiles/objlib.dir/lfscc.cpp.o.d -o CMakeFiles/objlib.dir/lfscc.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/lfscc.cpp [ 40%] Building CXX object src/CMakeFiles/objlib.dir/libwriter.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/libwriter.cpp.o -MF CMakeFiles/objlib.dir/libwriter.cpp.o.d -o CMakeFiles/objlib.dir/libwriter.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/libwriter.cpp [ 46%] Building CXX object src/CMakeFiles/objlib.dir/print_smt2.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/print_smt2.cpp.o -MF CMakeFiles/objlib.dir/print_smt2.cpp.o.d -o CMakeFiles/objlib.dir/print_smt2.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/print_smt2.cpp [ 53%] Building CXX object src/CMakeFiles/objlib.dir/scccode.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/scccode.cpp.o -MF CMakeFiles/objlib.dir/scccode.cpp.o.d -o CMakeFiles/objlib.dir/scccode.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/scccode.cpp [ 60%] Building CXX object src/CMakeFiles/objlib.dir/sccwriter.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/sccwriter.cpp.o -MF CMakeFiles/objlib.dir/sccwriter.cpp.o.d -o CMakeFiles/objlib.dir/sccwriter.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/sccwriter.cpp [ 66%] Building CXX object src/CMakeFiles/objlib.dir/trie.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/trie.cpp.o -MF CMakeFiles/objlib.dir/trie.cpp.o.d -o CMakeFiles/objlib.dir/trie.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.cpp In file included from /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.cpp:1: In member function 'Trie::get(char const*)', inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'unit_test_trie()' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.cpp:21:39: /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:63:13: warning: array subscript 2 is outside array bounds of 'const char[2]' [-Warray-bounds] 63 | if (!s[0] && (!str || !str[0])) return d; | ~~~^ In member function 'Trie::get_next(char const*)', inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'unit_test_trie()' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.cpp:21:39: /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18: warning: array subscript 3 is outside array bounds of 'const char[2]' [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ In member function 'Trie::get(char const*)', inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'unit_test_trie()' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.cpp:22:39: /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:63:13: warning: array subscript 2 is outside array bounds of 'const char[2]' [-Warray-bounds] 63 | if (!s[0] && (!str || !str[0])) return d; | ~~~^ In member function 'Trie::get_next(char const*)', inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'unit_test_trie()' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.cpp:22:39: /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18: warning: array subscript 3 is outside array bounds of 'const char[2]' [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ In member function 'Trie::get_next(char const*)', inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'unit_test_trie()' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.cpp:21:39: /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18: warning: offset '2' outside bounds of constant string [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ In member function 'Trie::get_next(char const*)', inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'Trie::get_next(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:65:36, inlined from 'Trie::get(char const*)' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:61:8, inlined from 'unit_test_trie()' at /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.cpp:22:39: /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/trie.h:44:18: warning: offset '2' outside bounds of constant string [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ [ 73%] Building CXX object src/CMakeFiles/objlib.dir/token.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/token.cpp.o -MF CMakeFiles/objlib.dir/token.cpp.o.d -o CMakeFiles/objlib.dir/token.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/token.cpp [ 80%] Building CXX object src/CMakeFiles/objlib.dir/lexer.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/objlib.dir/lexer.cpp.o -MF CMakeFiles/objlib.dir/lexer.cpp.o.d -o CMakeFiles/objlib.dir/lexer.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src/lexer.cpp gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' [ 80%] Built target objlib /usr/bin/gmake -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.dir/depend /usr/bin/gmake -f src/CMakeFiles/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src/CMakeFiles/lfscc.dir/DependInfo.cmake --color= gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src/CMakeFiles/liblfscc.dir/DependInfo.cmake --color= gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' /usr/bin/gmake -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' /usr/bin/gmake -f src/CMakeFiles/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' [ 86%] Building CXX object src/CMakeFiles/lfscc.dir/main.cpp.o cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src -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 -std=gnu++11 -DNDEBUG -MD -MT src/CMakeFiles/lfscc.dir/main.cpp.o -MF CMakeFiles/lfscc.dir/main.cpp.o.d -o CMakeFiles/lfscc.dir/main.cpp.o -c /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/src/main.cpp [ 93%] Linking CXX shared library liblfscc.so cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/liblfscc.dir/link.txt --verbose=1 /usr/bin/g++ -fPIC -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 -std=gnu++11 -DNDEBUG -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 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -shared -Wl,-soname,liblfscc.so.0 -o liblfscc.so.0.0.0 CMakeFiles/objlib.dir/check.cpp.o CMakeFiles/objlib.dir/code.cpp.o CMakeFiles/objlib.dir/expr.cpp.o CMakeFiles/objlib.dir/lfscc.cpp.o CMakeFiles/objlib.dir/libwriter.cpp.o CMakeFiles/objlib.dir/print_smt2.cpp.o CMakeFiles/objlib.dir/scccode.cpp.o CMakeFiles/objlib.dir/sccwriter.cpp.o CMakeFiles/objlib.dir/trie.cpp.o CMakeFiles/objlib.dir/token.cpp.o CMakeFiles/objlib.dir/lexer.cpp.o -lgmp [100%] Linking CXX executable lfscc cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/lfscc.dir/link.txt --verbose=1 /usr/bin/g++ -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 -std=gnu++11 -DNDEBUG -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 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -rdynamic CMakeFiles/lfscc.dir/main.cpp.o CMakeFiles/objlib.dir/check.cpp.o CMakeFiles/objlib.dir/code.cpp.o CMakeFiles/objlib.dir/expr.cpp.o CMakeFiles/objlib.dir/lfscc.cpp.o CMakeFiles/objlib.dir/libwriter.cpp.o CMakeFiles/objlib.dir/print_smt2.cpp.o CMakeFiles/objlib.dir/scccode.cpp.o CMakeFiles/objlib.dir/sccwriter.cpp.o CMakeFiles/objlib.dir/trie.cpp.o CMakeFiles/objlib.dir/token.cpp.o CMakeFiles/objlib.dir/lexer.cpp.o -o lfscc -lgmp cd /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src && /usr/bin/cmake -E cmake_symlink_library liblfscc.so.0.0.0 liblfscc.so.0 liblfscc.so gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' [100%] Built target liblfscc gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' [100%] Built target lfscc gmake[1]: Leaving directory '/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/CMakeFiles 0 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.cGqW87 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64 ++ dirname /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64 + 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 + VALAFLAGS=-g + export VALAFLAGS + 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 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + DESTDIR=/builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64 + /usr/bin/cmake --install redhat-linux-build -- Install configuration: "Release" -- Installing: /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/bin/lfscc -- Installing: /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/lib64/liblfscc.so.0.0.0 -- Installing: /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/lib64/liblfscc.so.0 -- Installing: /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/lib64/liblfscc.so -- Installing: /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/include/lfscc.h + mkdir -p /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/lfsc + cp -p /builddir/build/SOURCES/euf_interpolation.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/th_base.plf /builddir/build/SOURCES/th_real.plf /builddir/build/SOURCES/th_lra.plf /builddir/build/SOURCES/th_lra-cvc3.plf /builddir/build/SOURCES/color_base.plf /builddir/build/SOURCES/color_euf.plf /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/lfsc + cd redhat-linux-build/src + mkdir -p /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/man/man1 + export LD_LIBRARY_PATH=/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src + LD_LIBRARY_PATH=/builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build/src + help2man -N --version-string=0.20210305 ./lfscc + sed -i 's/\\fB/.TP\n&/;s/\\fR: /\\fR\n/' /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/man/man1/lfscc.1 + cp -p ../../src/lexer.flex . + cd - /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 0.20210305-4.fc38 --unique-debug-suffix -0.20210305-4.fc38.x86_64 --unique-debug-src-base lfsc-0.20210305-4.fc38.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d extracting debug info from /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/bin/lfscc extracting debug info from /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/lib64/liblfscc.so.0.0.0 original debug info size: 8928kB, size after compression: 7016kB /usr/bin/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. 755 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/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.DKdn8C + umask 022 + cd /builddir/build/BUILD + 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 + VALAFLAGS=-g + export VALAFLAGS + 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 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + cd redhat-linux-build + /usr/bin/ctest --output-on-failure --force-new-ctest-process -j2 Test project /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d/redhat-linux-build Start 1: ann_lambda.plf Start 2: bad-char.plf 1/44 Test #1: ann_lambda.plf ......................... Passed 0.03 sec Start 3: bool.plf 2/44 Test #2: bad-char.plf ........................... Passed 0.03 sec Start 4: eq_mpz.plf 3/44 Test #3: bool.plf ............................... Passed 0.03 sec Start 5: issue20.plf 4/44 Test #4: eq_mpz.plf ............................. Passed 0.03 sec Start 6: issue8-mpexp.plf 5/44 Test #5: issue20.plf ............................ Passed 0.03 sec Start 7: formal_type_args.plf 6/44 Test #6: issue8-mpexp.plf ....................... Passed 0.03 sec Start 8: mp_prefix.plf 7/44 Test #7: formal_type_args.plf ................... Passed 0.03 sec Start 9: mp_smaller_test.plf 8/44 Test #8: mp_prefix.plf .......................... Passed 0.03 sec Start 10: mpz_to_mpq.plf 9/44 Test #9: mp_smaller_test.plf .................... Passed 0.03 sec Start 11: mpz_to_mpq_checks.plf 10/44 Test #10: mpz_to_mpq.plf ......................... Passed 0.03 sec Start 12: num.plf 11/44 Test #12: num.plf ................................ Passed 0.03 sec Start 13: redecl.plf 12/44 Test #11: mpz_to_mpq_checks.plf .................. Passed 0.03 sec Start 14: redefn.plf 13/44 Test #13: redecl.plf ............................. Passed 0.03 sec Start 15: reopaque.plf 14/44 Test #14: redefn.plf ............................. Passed 0.03 sec Start 16: sage-app2-bench_201.plf 15/44 Test #15: reopaque.plf ........................... Passed 0.03 sec Start 17: sat.plf 16/44 Test #17: sat.plf ................................ Passed 0.03 sec Start 18: semicolon_after_id.plf 17/44 Test #18: semicolon_after_id.plf ................. Passed 0.03 sec Start 19: skolem1.plf 18/44 Test #19: skolem1.plf ............................ Passed 0.03 sec Start 20: skolem2.plf 19/44 Test #20: skolem2.plf ............................ Passed 0.03 sec Start 21: smt.plf 20/44 Test #21: smt.plf ................................ Passed 0.03 sec Start 22: th_arrays.plf 21/44 Test #22: th_arrays.plf .......................... Passed 0.03 sec Start 23: th_base.plf 22/44 Test #23: th_base.plf ............................ Passed 0.03 sec Start 24: th_bv.plf 23/44 Test #24: th_bv.plf .............................. Passed 0.03 sec Start 25: th_bv_bitblast.plf 24/44 Test #25: th_bv_bitblast.plf ..................... Passed 0.03 sec Start 26: th_int.plf 25/44 Test #26: th_int.plf ............................. Passed 0.03 sec Start 27: th_quant.plf 26/44 Test #27: th_quant.plf ........................... Passed 0.03 sec Start 28: unused_pi_param_rational_in_body.plf 27/44 Test #28: unused_pi_param_rational_in_body.plf ... Passed 0.02 sec Start 29: use-bool.plf 28/44 Test #29: use-bool.plf ........................... Passed 0.03 sec Start 30: use-use-bool.plf 29/44 Test #30: use-use-bool.plf ....................... Passed 0.03 sec Start 31: whr-match.plf 30/44 Test #31: whr-match.plf .......................... Passed 0.02 sec Start 32: sugar_arrow.plf 31/44 Test #32: sugar_arrow.plf ........................ Passed 0.03 sec Start 33: sugar_assuming.plf 32/44 Test #33: sugar_assuming.plf ..................... Passed 0.03 sec Start 34: sugar_declare_rule.plf 33/44 Test #34: sugar_declare_rule.plf ................. Passed 0.02 sec Start 35: sugar_declare_type.plf 34/44 Test #35: sugar_declare_type.plf ................. Passed 0.02 sec Start 36: sugar_forall.plf 35/44 Test #36: sugar_forall.plf ....................... Passed 0.03 sec Start 37: sugar_lam.plf 36/44 Test #37: sugar_lam.plf .......................... Passed 0.02 sec Start 38: sugar_let.plf 37/44 Test #38: sugar_let.plf .......................... Passed 0.03 sec Start 39: sugar_define_const.plf 38/44 Test #39: sugar_define_const.plf ................. Passed 0.02 sec Start 40: sugar_provided.plf 39/44 Test #40: sugar_provided.plf ..................... Passed 0.02 sec Start 41: sugar_skolem.plf 40/44 Test #41: sugar_skolem.plf ....................... Passed 0.02 sec Start 42: code_macro_app.plf 41/44 Test #42: code_macro_app.plf ..................... Passed 0.03 sec Start 43: macro_in_let_in_sc.plf 42/44 Test #43: macro_in_let_in_sc.plf ................. Passed 0.03 sec Start 44: sc_call_in_macro_in_sc.plf 43/44 Test #44: sc_call_in_macro_in_sc.plf ............. Passed 0.02 sec 44/44 Test #16: sage-app2-bench_201.plf ................ Passed 1.39 sec 100% tests passed, 0 tests failed out of 44 Total Test time (real) = 1.58 sec + cd - /builddir/build/BUILD/LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + RPM_EC=0 ++ jobs -p + exit 0 Processing files: lfsc-0.20210305-4.fc38.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.5gQrl7 + umask 022 + cd /builddir/build/BUILD + cd LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + DOCDIR=/builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/doc/lfsc + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/doc/lfsc + cp -pr AUTHORS /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/doc/lfsc + cp -pr README.md /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/doc/lfsc + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.f73LnE + umask 022 + cd /builddir/build/BUILD + cd LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + LICENSEDIR=/builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/licenses/lfsc + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/licenses/lfsc + cp -pr COPYING /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64/usr/share/licenses/lfsc + RPM_EC=0 ++ jobs -p + exit 0 Provides: lfsc = 0.20210305-4.fc38 lfsc(x86-64) = 0.20210305-4.fc38 liblfscc.so.0()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libgmp.so.10()(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.8)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(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.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: lfsc-devel-0.20210305-4.fc38.x86_64 Provides: lfsc-devel = 0.20210305-4.fc38 lfsc-devel(x86-64) = 0.20210305-4.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: liblfscc.so.0()(64bit) Processing files: lfsc-debugsource-0.20210305-4.fc38.x86_64 Provides: lfsc-debugsource = 0.20210305-4.fc38 lfsc-debugsource(x86-64) = 0.20210305-4.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: lfsc-debuginfo-0.20210305-4.fc38.x86_64 Provides: debuginfo(build-id) = 061354c7d798826f3be447380505597942075224 debuginfo(build-id) = 90a78581a4abc69239e5011fb52a015c9f4782d3 lfsc-debuginfo = 0.20210305-4.fc38 lfsc-debuginfo(x86-64) = 0.20210305-4.fc38 liblfscc.so.0.0.0-0.20210305-4.fc38.x86_64.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: lfsc-debugsource(x86-64) = 0.20210305-4.fc38 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64 Wrote: /builddir/build/RPMS/lfsc-0.20210305-4.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/lfsc-debugsource-0.20210305-4.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/lfsc-devel-0.20210305-4.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/lfsc-debuginfo-0.20210305-4.fc38.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.6yr28U + umask 022 + cd /builddir/build/BUILD + cd LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d + /usr/bin/rm -rf /builddir/build/BUILDROOT/lfsc-0.20210305-4.fc38.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.cDLBVZ + umask 022 + cd /builddir/build/BUILD + rm -rf LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d LFSC-15f53d6feb84e4ddb41deaf2b5630f5c1303b06d.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0