Mock Version: 5.6 Mock Version: 5.6 Mock Version: 5.6 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target aarch64 --nodeps /builddir/build/SPECS/lfsc.spec'], chrootPath='/var/lib/mock/f42-build-55011735-6531751/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=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.c12qqc0z:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.c12qqc0z:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', '35d7a4b1b60b4ecfa16a904c7165c7c1', '-D', '/var/lib/mock/f42-build-55011735-6531751/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.c12qqc0z:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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 --noclean --target aarch64 --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: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1721260800 Wrote: /builddir/build/SRPMS/lfsc-0.20230914-2.fc42.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/lfsc.spec'], chrootPath='/var/lib/mock/f42-build-55011735-6531751/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=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.c12qqc0z:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.c12qqc0z:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', 'e6cbcc755b5c4aa1a507de2d520f2451', '-D', '/var/lib/mock/f42-build-55011735-6531751/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.c12qqc0z:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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 --noclean --target aarch64 --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: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1721260800 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.aFhxOW + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + test -d /builddir/build/BUILD/lfsc-0.20230914-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/lfsc-0.20230914-build + /usr/bin/rm -rf /builddir/build/BUILD/lfsc-0.20230914-build + /usr/bin/mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build + /usr/bin/mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.kz3S7o + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + cd /builddir/build/BUILD/lfsc-0.20230914-build + rm -rf LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/lfsc-5a127db.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + /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 + '[' -z sP ']' + shebang_flags=-kasP + /usr/bin/python3 -B /usr/lib/rpm/redhat/pathfix.py -pni /usr/bin/python3 -kasP tests/run_test.py tests/run_test.py: updating + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.bJyozd + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -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-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -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 -- The C compiler identification is GNU 14.2.1 -- The CXX compiler identification is GNU 14.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 (1.1s) -- Generating done (0.0s) 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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build + /usr/bin/cmake --build redhat-linux-build -j12 --verbose Change Dir: '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' Run Build Command(s): /usr/bin/cmake -E env VERBOSE=1 /usr/bin/gmake -f Makefile -j12 /usr/bin/cmake -S/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 -B/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/CMakeFiles /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build//CMakeFiles/progress.marks /usr/bin/gmake -f CMakeFiles/Makefile2 all gmake[1]: Entering directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' [ 7%] [FLEX][Lexer] Building scanner with flex 2.6.4 cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src && /usr/bin/flex -o/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src/lexer.cpp lexer.flex cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src/CMakeFiles/objlib.dir/DependInfo.cmake "--color=" gmake[2]: Leaving directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' [ 61%] Building CXX object src/CMakeFiles/objlib.dir/trie.cpp.o [ 61%] Building CXX object src/CMakeFiles/objlib.dir/expr.cpp.o [ 61%] Building CXX object src/CMakeFiles/objlib.dir/code.cpp.o [ 61%] Building CXX object src/CMakeFiles/objlib.dir/lfscc.cpp.o [ 61%] Building CXX object src/CMakeFiles/objlib.dir/scccode.cpp.o [ 61%] Building CXX object src/CMakeFiles/objlib.dir/sccwriter.cpp.o [ 61%] Building CXX object src/CMakeFiles/objlib.dir/check.cpp.o [ 76%] Building CXX object src/CMakeFiles/objlib.dir/token.cpp.o [ 76%] Building CXX object src/CMakeFiles/objlib.dir/lexer.cpp.o cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/code.cpp cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/expr.cpp cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/lfscc.cpp cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/check.cpp cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/scccode.cpp cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/sccwriter.cpp cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/token.cpp cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src/lexer.cpp In file included from /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:1: In member function ‘Trie::get(char const*)’, inlined from ‘Trie::get_next(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Trie::get_next(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:21:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Trie::get_next(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Trie::get_next(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:21:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Trie::get_next(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:22:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Trie::get_next(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Trie::get_next(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:22:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Trie::get_next(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:21:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘Trie::get_next(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘Trie::get(char const*)’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘unit_test_trie()’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.cpp:22:39: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18: warning: offset ‘2’ outside bounds of constant string [-Warray-bounds=] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ gmake[2]: Leaving directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' [ 76%] 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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src/CMakeFiles/lfscc.dir/DependInfo.cmake "--color=" gmake[2]: Entering directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src/CMakeFiles/liblfscc.dir/DependInfo.cmake "--color=" gmake[2]: Leaving directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' gmake[2]: Leaving directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' /usr/bin/gmake -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.dir/build /usr/bin/gmake -f src/CMakeFiles/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' gmake[2]: Entering directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' [ 92%] Linking CXX shared library liblfscc.so [ 92%] Building CXX object src/CMakeFiles/lfscc.dir/main.cpp.o cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src && /usr/bin/g++ -I/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/main.cpp cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -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/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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -Wall -std=gnu++11 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -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 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/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 /usr/lib64/libgmp.so cd /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/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-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' [100%] Built target liblfscc gmake[2]: Leaving directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' [100%] Built target lfscc gmake[1]: Leaving directory '/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/CMakeFiles 0 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.J0B9j4 + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + '[' /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT ++ dirname /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT + mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build + mkdir /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -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-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + DESTDIR=/builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT + /usr/bin/cmake --install redhat-linux-build -- Install configuration: "Release" -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/bin/lfscc -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/lib64/liblfscc.so.0.0.0 -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/lib64/liblfscc.so.0 -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/lib64/liblfscc.so -- Installing: /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/include/lfscc.h + mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/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/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/lfsc + cd redhat-linux-build/src + mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/man/man1 + export LD_LIBRARY_PATH=/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src + LD_LIBRARY_PATH=/builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build/src + help2man -N --version-string=0.20230914 -n 'SMT proof checker' ./lfscc + sed -i 's/\\fB/.TP\n&/;s/\\fR: /\\fR\n/' /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/man/man1/lfscc.1 + cp -p ../../src/lexer.flex . + cd - /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + /usr/bin/find-debuginfo -j12 --strict-build-id -m -i --build-id-seed 0.20230914-2.fc42 --unique-debug-suffix -0.20230914-2.fc42.aarch64 --unique-debug-src-base lfsc-0.20230914-2.fc42.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 find-debuginfo: starting Extracting debug info from 2 files DWARF-compressing 2 files sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/lfsc-0.20230914-2.fc42.aarch64 find-debuginfo: done + /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 + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j12 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j12 /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT Scanned 21 directories and 37 files, processed 0 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/lfsc-0.20230914-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.QjnvgJ + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -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-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + /usr/bin/ctest --test-dir redhat-linux-build --output-on-failure --force-new-ctest-process -j12 Internal ctest changing into directory: /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build Test project /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/redhat-linux-build Start 1: ann_lambda.plf Start 2: bad-char.plf Start 3: bool.plf Start 4: eq_mpz.plf Start 5: error-pr15.plf Start 6: issue20.plf Start 7: issue35.plf Start 8: issue59.plf Start 9: issue60.plf Start 10: issue66.plf Start 11: issue69-sc.plf Start 12: issue71.plf 1/60 Test #2: bad-char.plf ........................... Passed 0.04 sec Start 13: issue71-2.plf 2/60 Test #1: ann_lambda.plf ......................... Passed 0.05 sec 3/60 Test #3: bool.plf ............................... Passed 0.05 sec Start 14: issue8-mpexp.plf Start 15: formal_type_args.plf 4/60 Test #5: error-pr15.plf ......................... Passed 0.05 sec Start 16: mp_prefix.plf 5/60 Test #4: eq_mpz.plf ............................. Passed 0.05 sec 6/60 Test #6: issue20.plf ............................ Passed 0.05 sec 7/60 Test #7: issue35.plf ............................ Passed 0.05 sec Start 17: mp_smaller_test.plf Start 18: mpz_to_mpq.plf Start 19: mpz_to_mpq_checks.plf 8/60 Test #8: issue59.plf ............................ Passed 0.05 sec 9/60 Test #9: issue60.plf ............................ Passed 0.05 sec 10/60 Test #10: issue66.plf ............................ Passed 0.05 sec 11/60 Test #11: issue69-sc.plf ......................... Passed 0.05 sec Start 20: num.plf Start 21: redecl.plf Start 22: redefn.plf Start 23: reopaque.plf 12/60 Test #12: issue71.plf ............................ Passed 0.06 sec Start 24: sage-app2-bench_201.plf 13/60 Test #13: issue71-2.plf .......................... Passed 0.04 sec Start 25: sat.plf 14/60 Test #14: issue8-mpexp.plf ....................... Passed 0.05 sec Start 26: semicolon_after_id.plf 15/60 Test #15: formal_type_args.plf ................... Passed 0.05 sec 16/60 Test #16: mp_prefix.plf .......................... Passed 0.05 sec Start 27: skolem1.plf Start 28: skolem2.plf 17/60 Test #17: mp_smaller_test.plf .................... Passed 0.05 sec 18/60 Test #18: mpz_to_mpq.plf ......................... Passed 0.05 sec Start 29: smt.plf Start 30: th_arrays.plf 19/60 Test #19: mpz_to_mpq_checks.plf .................. Passed 0.05 sec 20/60 Test #20: num.plf ................................ Passed 0.05 sec Start 31: th_base.plf Start 32: th_bv.plf 21/60 Test #21: redecl.plf ............................. Passed 0.05 sec 22/60 Test #22: redefn.plf ............................. Passed 0.05 sec Start 33: th_bv_bitblast.plf Start 34: th_int.plf 23/60 Test #23: reopaque.plf ........................... Passed 0.05 sec Start 35: th_quant.plf 24/60 Test #25: sat.plf ................................ Passed 0.04 sec Start 36: treesize-27.plf 25/60 Test #26: semicolon_after_id.plf ................. Passed 0.04 sec Start 37: treesize-27-let.plf 26/60 Test #27: skolem1.plf ............................ Passed 0.05 sec 27/60 Test #28: skolem2.plf ............................ Passed 0.04 sec Start 38: unused_pi_param_rational_in_body.plf Start 39: use-bool.plf 28/60 Test #29: smt.plf ................................ Passed 0.05 sec Start 40: use-use-bool.plf 29/60 Test #30: th_arrays.plf .......................... Passed 0.05 sec Start 41: whr-match.plf 30/60 Test #31: th_base.plf ............................ Passed 0.05 sec Start 42: subs-27-let.plf 31/60 Test #32: th_bv.plf .............................. Passed 0.05 sec Start 43: sugar_arrow.plf 32/60 Test #33: th_bv_bitblast.plf ..................... Passed 0.05 sec 33/60 Test #34: th_int.plf ............................. Passed 0.05 sec Start 44: sugar_assuming.plf Start 45: sugar_declare_rule.plf 34/60 Test #35: th_quant.plf ........................... Passed 0.05 sec Start 46: sugar_declare_type.plf 35/60 Test #37: treesize-27-let.plf .................... Passed 0.05 sec Start 47: sugar_forall.plf 36/60 Test #38: unused_pi_param_rational_in_body.plf ... Passed 0.05 sec Start 48: sugar_lam.plf 37/60 Test #36: treesize-27.plf ........................ Passed 0.06 sec Start 49: sugar_let.plf 38/60 Test #40: use-use-bool.plf ....................... Passed 0.05 sec Start 50: sugar_define_const.plf 39/60 Test #41: whr-match.plf .......................... Passed 0.05 sec Start 51: sugar_provided.plf 40/60 Test #39: use-bool.plf ........................... Passed 0.06 sec Start 52: sugar_skolem.plf 41/60 Test #42: subs-27-let.plf ........................ Passed 0.05 sec Start 53: unbind_ord_dec_type.plf 42/60 Test #43: sugar_arrow.plf ........................ Passed 0.06 sec 43/60 Test #44: sugar_assuming.plf ..................... Passed 0.05 sec Start 54: unbind_ord_arrow.plf Start 55: unbind_ord_chk_assuming.plf 44/60 Test #45: sugar_declare_rule.plf ................. Passed 0.05 sec Start 56: unbind_ord_def_const.plf 45/60 Test #46: sugar_declare_type.plf ................. Passed 0.05 sec Start 57: unbind_ord_dec_rule.plf 46/60 Test #47: sugar_forall.plf ....................... Passed 0.05 sec Start 58: code_macro_app.plf 47/60 Test #48: sugar_lam.plf .......................... Passed 0.05 sec Start 59: macro_in_let_in_sc.plf 48/60 Test #49: sugar_let.plf .......................... Passed 0.05 sec Start 60: sc_call_in_macro_in_sc.plf 49/60 Test #51: sugar_provided.plf ..................... Passed 0.05 sec 50/60 Test #50: sugar_define_const.plf ................. Passed 0.05 sec 51/60 Test #52: sugar_skolem.plf ....................... Passed 0.05 sec 52/60 Test #53: unbind_ord_dec_type.plf ................ Passed 0.05 sec 53/60 Test #55: unbind_ord_chk_assuming.plf ............ Passed 0.05 sec 54/60 Test #54: unbind_ord_arrow.plf ................... Passed 0.05 sec 55/60 Test #56: unbind_ord_def_const.plf ............... Passed 0.05 sec 56/60 Test #57: unbind_ord_dec_rule.plf ................ Passed 0.05 sec 57/60 Test #58: code_macro_app.plf ..................... Passed 0.04 sec 58/60 Test #60: sc_call_in_macro_in_sc.plf ............. Passed 0.04 sec 59/60 Test #59: macro_in_let_in_sc.plf ................. Passed 0.05 sec 60/60 Test #24: sage-app2-bench_201.plf ................ Passed 1.66 sec 100% tests passed, 0 tests failed out of 60 Total Test time (real) = 1.73 sec + RPM_EC=0 ++ jobs -p + exit 0 Processing files: lfsc-0.20230914-2.fc42.aarch64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.J0HkaI + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + DOCDIR=/builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/doc/lfsc + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/doc/lfsc + cp -pr /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/AUTHORS /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/doc/lfsc + cp -pr /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/README.md /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/doc/lfsc + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.VNL1WM + umask 022 + cd /builddir/build/BUILD/lfsc-0.20230914-build + cd LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5 + LICENSEDIR=/builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/licenses/lfsc + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/licenses/lfsc + cp -pr /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/COPYING /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT/usr/share/licenses/lfsc + RPM_EC=0 ++ jobs -p + exit 0 Provides: lfsc = 0.20230914-2.fc42 lfsc(aarch-64) = 0.20230914-2.fc42 liblfscc.so.0()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(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.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: lfsc-devel-0.20230914-2.fc42.aarch64 Provides: lfsc-devel = 0.20230914-2.fc42 lfsc-devel(aarch-64) = 0.20230914-2.fc42 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.20230914-2.fc42.aarch64 Provides: lfsc-debugsource = 0.20230914-2.fc42 lfsc-debugsource(aarch-64) = 0.20230914-2.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: lfsc-debuginfo-0.20230914-2.fc42.aarch64 Provides: debuginfo(build-id) = 7e6f159f49c7ecbeec2ecda805922b2accef8975 debuginfo(build-id) = 80ac103cd9156af1d03c1929aff37cde1c83d860 lfsc-debuginfo = 0.20230914-2.fc42 lfsc-debuginfo(aarch-64) = 0.20230914-2.fc42 liblfscc.so.0.0.0-0.20230914-2.fc42.aarch64.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: lfsc-debugsource(aarch-64) = 0.20230914-2.fc42 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/lfsc-0.20230914-build/BUILDROOT Wrote: /builddir/build/RPMS/lfsc-devel-0.20230914-2.fc42.aarch64.rpm Wrote: /builddir/build/RPMS/lfsc-debugsource-0.20230914-2.fc42.aarch64.rpm Wrote: /builddir/build/RPMS/lfsc-0.20230914-2.fc42.aarch64.rpm Wrote: /builddir/build/RPMS/lfsc-debuginfo-0.20230914-2.fc42.aarch64.rpm Child return code was: 0