Mock Version: 6.1 Mock Version: 6.1 Mock Version: 6.1 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-58909618-6569198/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'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.weqpl8zs:/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']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.weqpl8zs:/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', 'a6b14d77512c4d6f8dfce79bddad34e3', '-D', '/var/lib/mock/f42-build-58909618-6569198/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.weqpl8zs:/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=1737072000 Wrote: /builddir/build/SRPMS/lfsc-0.20230914-3.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-58909618-6569198/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'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.weqpl8zs:/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']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.weqpl8zs:/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', '4c1d71d1d10d4b07b65f344895d445ec', '-D', '/var/lib/mock/f42-build-58909618-6569198/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.weqpl8zs:/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=1737072000 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.5L6373 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.l3HNrA + 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 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.yiVjuz + 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 + 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.Wg8BnL + 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 -DCMAKE_INSTALL_FULL_SBINDIR:PATH=/usr/bin -DCMAKE_INSTALL_SBINDIR:PATH=bin -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 < 3.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. -- The C compiler identification is GNU 15.0.1 -- The CXX compiler identification is GNU 15.0.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.0s) -- 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 CMAKE_INSTALL_FULL_SBINDIR CMAKE_INSTALL_SBINDIR 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' [ 46%] Building CXX object src/CMakeFiles/objlib.dir/lfscc.cpp.o [ 53%] Building CXX object src/CMakeFiles/objlib.dir/trie.cpp.o [ 53%] Building CXX object src/CMakeFiles/objlib.dir/expr.cpp.o [ 61%] Building CXX object src/CMakeFiles/objlib.dir/check.cpp.o [ 53%] Building CXX object src/CMakeFiles/objlib.dir/token.cpp.o [ 69%] Building CXX object src/CMakeFiles/objlib.dir/sccwriter.cpp.o [ 53%] Building CXX object src/CMakeFiles/objlib.dir/code.cpp.o [ 76%] Building CXX object src/CMakeFiles/objlib.dir/lexer.cpp.o [ 69%] Building CXX object src/CMakeFiles/objlib.dir/scccode.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/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/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/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/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/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/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/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/liblfscc.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/lfscc.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/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/build /usr/bin/gmake -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.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%] Building CXX object src/CMakeFiles/lfscc.dir/main.cpp.o [ 92%] Linking CXX shared library liblfscc.so 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 In member function ‘get’, inlined from ‘get_next’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘get’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘get’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘get_next’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘get’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘get’ 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:64:22: warning: ‘strcmp’ reading 1 or more bytes from a region of size 0 [-Wstringop-overread] 64 | if (str && strcmp(str, s) == 0) return d; | ^ In member function ‘get’, inlined from ‘get_next’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘get’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘get’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:61:8, inlined from ‘get_next’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:44:18, inlined from ‘get’ at /builddir/build/BUILD/lfsc-0.20230914-build/LFSC-5a127dbbcf9a0f822768e783dbf892ee90c435d5/src/trie.h:65:36, inlined from ‘get’ 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:64:22: warning: ‘strcmp’ reading 1 or more bytes from a region of size 0 [-Wstringop-overread] 64 | if (str && strcmp(str, s) == 0) return d; | ^ [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++ -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,--dependency-file=CMakeFiles/liblfscc.dir/link.d -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 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 /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 -Wl,--dependency-file=CMakeFiles/lfscc.dir/link.d 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 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.ioGKHC + 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-3.fc42 --unique-debug-suffix -0.20230914-3.fc42.aarch64 --unique-debug-src-base lfsc-0.20230914-3.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-3.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 1 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.t5BabZ + 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 #1: ann_lambda.plf ......................... Passed 0.04 sec Start 13: issue71-2.plf 2/60 Test #2: bad-char.plf ........................... Passed 0.04 sec 3/60 Test #5: error-pr15.plf ......................... Passed 0.04 sec Start 14: issue8-mpexp.plf Start 15: formal_type_args.plf 4/60 Test #4: eq_mpz.plf ............................. Passed 0.04 sec 5/60 Test #3: bool.plf ............................... Passed 0.05 sec 6/60 Test #6: issue20.plf ............................ Passed 0.04 sec Start 16: mp_prefix.plf Start 17: mp_smaller_test.plf Start 18: mpz_to_mpq.plf 7/60 Test #7: issue35.plf ............................ Passed 0.04 sec 8/60 Test #8: issue59.plf ............................ Passed 0.04 sec 9/60 Test #9: issue60.plf ............................ Passed 0.04 sec 10/60 Test #10: issue66.plf ............................ Passed 0.04 sec 11/60 Test #11: issue69-sc.plf ......................... Passed 0.04 sec Start 19: mpz_to_mpq_checks.plf Start 20: num.plf Start 21: redecl.plf Start 22: redefn.plf Start 23: reopaque.plf 12/60 Test #12: issue71.plf ............................ Passed 0.05 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.04 sec Start 26: semicolon_after_id.plf 15/60 Test #15: formal_type_args.plf ................... Passed 0.04 sec 16/60 Test #16: mp_prefix.plf .......................... Passed 0.04 sec Start 27: skolem1.plf Start 28: skolem2.plf 17/60 Test #18: mpz_to_mpq.plf ......................... Passed 0.04 sec Start 29: smt.plf 18/60 Test #17: mp_smaller_test.plf .................... Passed 0.05 sec 19/60 Test #19: mpz_to_mpq_checks.plf .................. Passed 0.04 sec 20/60 Test #20: num.plf ................................ Passed 0.04 sec Start 30: th_arrays.plf 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 #26: semicolon_after_id.plf ................. Passed 0.04 sec Start 36: treesize-27.plf 25/60 Test #25: sat.plf ................................ Passed 0.05 sec 26/60 Test #27: skolem1.plf ............................ Passed 0.04 sec Start 37: treesize-27-let.plf Start 38: unused_pi_param_rational_in_body.plf 27/60 Test #28: skolem2.plf ............................ Passed 0.04 sec Start 39: use-bool.plf 28/60 Test #29: smt.plf ................................ Passed 0.04 sec Start 40: use-use-bool.plf 29/60 Test #30: th_arrays.plf .......................... Passed 0.04 sec Start 41: whr-match.plf 30/60 Test #31: th_base.plf ............................ Passed 0.04 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 #34: th_int.plf ............................. Passed 0.04 sec Start 44: sugar_assuming.plf 33/60 Test #33: th_bv_bitblast.plf ..................... Passed 0.05 sec 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 #36: treesize-27.plf ........................ Passed 0.04 sec Start 47: sugar_forall.plf 36/60 Test #37: treesize-27-let.plf .................... Passed 0.04 sec Start 48: sugar_lam.plf 37/60 Test #38: unused_pi_param_rational_in_body.plf ... Passed 0.04 sec Start 49: sugar_let.plf 38/60 Test #40: use-use-bool.plf ....................... Passed 0.04 sec Start 50: sugar_define_const.plf 39/60 Test #42: subs-27-let.plf ........................ Passed 0.04 sec Start 51: sugar_provided.plf 40/60 Test #41: whr-match.plf .......................... Passed 0.04 sec Start 52: sugar_skolem.plf 41/60 Test #39: use-bool.plf ........................... Passed 0.05 sec Start 53: unbind_ord_dec_type.plf 42/60 Test #44: sugar_assuming.plf ..................... Passed 0.04 sec Start 54: unbind_ord_arrow.plf 43/60 Test #43: sugar_arrow.plf ........................ Passed 0.05 sec 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.04 sec Start 57: unbind_ord_dec_rule.plf 46/60 Test #47: sugar_forall.plf ....................... Passed 0.04 sec Start 58: code_macro_app.plf 47/60 Test #49: sugar_let.plf .......................... Passed 0.04 sec Start 59: macro_in_let_in_sc.plf 48/60 Test #50: sugar_define_const.plf ................. Passed 0.04 sec Start 60: sc_call_in_macro_in_sc.plf 49/60 Test #51: sugar_provided.plf ..................... Passed 0.04 sec 50/60 Test #53: unbind_ord_dec_type.plf ................ Passed 0.04 sec 51/60 Test #48: sugar_lam.plf .......................... Passed 0.06 sec 52/60 Test #54: unbind_ord_arrow.plf ................... Passed 0.04 sec 53/60 Test #52: sugar_skolem.plf ....................... Passed 0.05 sec 54/60 Test #55: unbind_ord_chk_assuming.plf ............ Passed 0.04 sec 55/60 Test #56: unbind_ord_def_const.plf ............... Passed 0.04 sec 56/60 Test #57: unbind_ord_dec_rule.plf ................ Passed 0.04 sec 57/60 Test #58: code_macro_app.plf ..................... Passed 0.04 sec 58/60 Test #59: macro_in_let_in_sc.plf ................. Passed 0.04 sec 59/60 Test #60: sc_call_in_macro_in_sc.plf ............. Passed 0.04 sec 60/60 Test #24: sage-app2-bench_201.plf ................ Passed 1.59 sec 100% tests passed, 0 tests failed out of 60 Total Test time (real) = 1.65 sec + RPM_EC=0 ++ jobs -p + exit 0 Processing files: lfsc-0.20230914-3.fc42.aarch64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.6TOsaq + 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.q0JAkr + 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-3.fc42 lfsc(aarch-64) = 0.20230914-3.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-3.fc42.aarch64 Provides: lfsc-devel = 0.20230914-3.fc42 lfsc-devel(aarch-64) = 0.20230914-3.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-3.fc42.aarch64 Provides: lfsc-debugsource = 0.20230914-3.fc42 lfsc-debugsource(aarch-64) = 0.20230914-3.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-3.fc42.aarch64 Provides: debuginfo(build-id) = 5dd59b03a7fe28d8835b54fdb45594ed1f95ec3a debuginfo(build-id) = 9272e4abc3d911cee1973fc432ae8b8a0c0aca14 lfsc-debuginfo = 0.20230914-3.fc42 lfsc-debuginfo(aarch-64) = 0.20230914-3.fc42 liblfscc.so.0.0.0-0.20230914-3.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-3.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-3.fc42.aarch64.rpm Wrote: /builddir/build/RPMS/lfsc-debugsource-0.20230914-3.fc42.aarch64.rpm Wrote: /builddir/build/RPMS/lfsc-0.20230914-3.fc42.aarch64.rpm Wrote: /builddir/build/RPMS/lfsc-debuginfo-0.20230914-3.fc42.aarch64.rpm Child return code was: 0