Mock Version: 5.5 Mock Version: 5.5 Mock Version: 5.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target ppc64le --nodeps /builddir/build/SPECS/drat-trim.spec'], chrootPath='/var/lib/mock/f41-build-50506898-6046589/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.n_6hg_yx:/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.n_6hg_yx:/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', '1f2795a662d140beba211a3cdb8760d0', '-D', '/var/lib/mock/f41-build-50506898-6046589/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.n_6hg_yx:/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 ppc64le --nodeps /builddir/build/SPECS/drat-trim.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: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1710374400 Wrote: /builddir/build/SRPMS/drat-trim-0-0.24.20240309git89ddbfb.fc41.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target ppc64le --nodeps /builddir/build/SPECS/drat-trim.spec'], chrootPath='/var/lib/mock/f41-build-50506898-6046589/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.n_6hg_yx:/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.n_6hg_yx:/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', '8b488ee18d9b4b9baf0117c58df2fe70', '-D', '/var/lib/mock/f41-build-50506898-6046589/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.n_6hg_yx:/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 ppc64le --nodeps /builddir/build/SPECS/drat-trim.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: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1710374400 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.EQLGdD + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + rm -rf /builddir/build/BUILD/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat-trim-library.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat-trim-silent.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat-trim-uninit.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/drat-trim-overflow.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.0srZsN + umask 022 + cd /builddir/build/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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -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-errors -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 drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + 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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 ' + gcc -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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -fPIC -shared -Wl,-h,libdrat-trim.so.0 -o libdrat-trim.so.0.0.0 drat-trim.c drat-trim.c: In function ‘printClause’: drat-trim.c:93:3: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation] 93 | while (*clause) qprintf ("%i ", *clause++); qprintf ("0\n"); } | ^~~~~ drat-trim.c:93:47: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’ 93 | while (*clause) qprintf ("%i ", *clause++); qprintf ("0\n"); } | ^~~~~~~ drat-trim.c: In function ‘printCore’: drat-trim.c:279:10: warning: unused variable ‘j’ [-Wunused-variable] 279 | int i, j; | ^ drat-trim.c: In function ‘printProof’: drat-trim.c:341:12: warning: unused variable ‘lemmas’ [-Wunused-variable] 341 | int *lemmas = S->DB + (ad >> INFOBITS); | ^~~~~~ drat-trim.c:377:9: warning: unused variable ‘flag’ [-Wunused-variable] 377 | int flag = 0; | ^~~~ drat-trim.c: In function ‘checkRAT’: drat-trim.c:573:11: warning: unused variable ‘id’ [-Wunused-variable] 573 | int id = watched[ID] >> 1; | ^~ drat-trim.c: In function ‘verify’: drat-trim.c:783:7: warning: unused variable ‘top_flag’ [-Wunused-variable] 783 | int top_flag = 1; | ^~~~~~~~ drat-trim.c: In function ‘getHash’: drat-trim.c:994:22: warning: suggest parentheses around arithmetic in operand of ‘^’ [-Wparentheses] 994 | return (1023 * sum + prod ^ (31 * xor)) % BIGINIT; } | ~~~~~~~~~~~^~~~~~ drat-trim.c: In function ‘parse’: drat-trim.c:1073:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 1073 | if (tmp > 0 && tmp != EOF) break; tmp = fscanf (S->inputFile, "%*s\n"); } // In case a commment line was found | ^~ drat-trim.c:1073:39: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 1073 | if (tmp > 0 && tmp != EOF) break; tmp = fscanf (S->inputFile, "%*s\n"); } // In case a commment line was found | ^~~ + ln -s libdrat-trim.so.0.0.0 libdrat-trim.so.0 + ln -s libdrat-trim.so.0 libdrat-trim.so + gcc -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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -o drat-trim drat-trim-main.c -L. -ldrat-trim + export LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + gcc -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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -o lrat-check lrat-check.c lrat-check.c: In function ‘printClause’: lrat-check.c:85:3: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation] 85 | while (*clause) printf ("%i ", *clause++); printf ("0\n"); } | ^~~~~ lrat-check.c:85:46: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’ 85 | while (*clause) printf ("%i ", *clause++); printf ("0\n"); } | ^~~~~~ lrat-check.c: In function ‘addClause’: lrat-check.c:200:7: warning: variable ‘count’ set but not used [-Wunused-but-set-variable] 200 | int count = 0, bucket = topTable[index/BUCKET]; | ^~~~~ lrat-check.c: In function ‘main’: lrat-check.c:446:7: warning: unused variable ‘mode’ [-Wunused-variable] 446 | int mode = LRAT; | ^~~~ lrat-check.c:393:5: warning: ignoring return value of ‘fgets’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 393 | fgets (ignore, sizeof (ignore), cnf); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + gcc -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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -o drat-compress compress.c + gcc -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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -o drat-decompress decompress.c + gcc -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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -o drat-gapless gapless.c gapless.c: In function ‘main’: gapless.c:80:13: warning: unused variable ‘max’ [-Wunused-variable] 80 | long long max = offset; | ^~~ + help2man --version-string=20240309 -N -o drat-trim.1 -n 'Proof checker for DIMACS proofs' ./drat-trim + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.249MGK + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le '!=' / ']' + rm -rf /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le ++ dirname /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le + 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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -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-errors -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 drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/lib64 + cp -a libdrat-trim.so libdrat-trim.so.0 libdrat-trim.so.0.0.0 /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/lib64 + mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/include + cp -p drat-trim.h /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/include + mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/bin + cp -p drat-compress drat-decompress drat-gapless drat-trim lrat-check /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/bin + mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/share/man/man1 + cp -p drat-trim.1 /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/share/man/man1 + /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 0-0.24.20240309git89ddbfb.fc41 --unique-debug-suffix -0-0.24.20240309git89ddbfb.fc41.ppc64le --unique-debug-src-base drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 find-debuginfo: starting Extracting debug info from 6 files DWARF-compressing 6 files sepdebugcrcfix: Updated 6 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le 176 blocks 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 -j8 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.kRtUwf + umask 022 + cd /builddir/build/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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -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-errors -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 drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + sed -i /make/d run-examples + export LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + sh ./run-examples c parsing input formula with 4 variables and 8 clauses c finished parsing c detected empty clause; start verification via backward checking c 8 of 8 clauses in core c 3 of 4 lemmas in core using 15 resolution steps c 1 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.067 seconds c parsing input formula with 5 variables and 8 clauses c finished parsing c detected empty clause; start verification via backward checking c 8 of 8 clauses in core c 7 of 8 lemmas in core using 25 resolution steps c 0 RAT lemmas in core; 5 redundant literals in core lemmas s VERIFIED c verification time: 0.058 seconds c parsing input formula with 100 variables and 429 clauses c finished parsing c detected empty clause; start verification via backward checking c 383 of 429 clauses in core c 319 of 321 lemmas in core using 9349 resolution steps c 16 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.121 seconds c parsing input formula with 100 variables and 383 clauses c finished parsing c detected empty clause; start verification via backward checking c 383 of 383 clauses in core c 319 of 320 lemmas in core using 9354 resolution steps c 16 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.066 seconds c parsing input formula with 100 variables and 429 clauses c finished parsing c detected empty clause; start verification via backward checking c 351 of 429 clauses in core c 201 of 202 lemmas in core using 5728 resolution steps c 13 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.083 seconds c parsing input formula with 100 variables and 351 clauses c finished parsing c detected empty clause; start verification via backward checking c 351 of 351 clauses in core c 201 of 202 lemmas in core using 5730 resolution steps c 13 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.067 seconds c parsing input formula with 100 variables and 429 clauses c finished parsing c detected empty clause; start verification via backward checking c 408 of 429 clauses in core c 414 of 415 lemmas in core using 11405 resolution steps c 21 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.098 seconds c parsing input formula with 100 variables and 408 clauses c finished parsing c detected empty clause; start verification via backward checking c 408 of 408 clauses in core c 414 of 415 lemmas in core using 11409 resolution steps c 21 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.092 seconds c parsing input formula with 100 variables and 429 clauses c finished parsing c detected empty clause; start verification via backward checking c 393 of 429 clauses in core c 328 of 329 lemmas in core using 8644 resolution steps c 17 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.086 seconds c parsing input formula with 100 variables and 393 clauses c finished parsing c detected empty clause; start verification via backward checking c 393 of 393 clauses in core c 328 of 329 lemmas in core using 8653 resolution steps c 17 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.088 seconds c parsing input formula with 100 variables and 429 clauses c finished parsing c detected empty clause; start verification via backward checking c 392 of 429 clauses in core c 354 of 355 lemmas in core using 9648 resolution steps c 20 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.102 seconds c parsing input formula with 100 variables and 392 clauses c finished parsing c detected empty clause; start verification via backward checking c 391 of 392 clauses in core c 354 of 355 lemmas in core using 9647 resolution steps c 20 RAT lemmas in core; 0 redundant literals in core lemmas s VERIFIED c verification time: 0.090 seconds + RPM_EC=0 ++ jobs -p + exit 0 Processing files: drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.6IByEX + umask 022 + cd /builddir/build/BUILD + cd drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + LICENSEDIR=/builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/share/licenses/drat-trim + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/share/licenses/drat-trim + cp -pr /builddir/build/BUILD/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30/LICENSE /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/share/licenses/drat-trim + RPM_EC=0 ++ jobs -p + exit 0 Provides: drat-trim = 0-0.24.20240309git89ddbfb.fc41 drat-trim(ppc-64) = 0-0.24.20240309git89ddbfb.fc41 libdrat-trim.so.0()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) rtld(GNU_HASH) Processing files: drat-trim-devel-0-0.24.20240309git89ddbfb.fc41.ppc64le Provides: drat-trim-devel = 0-0.24.20240309git89ddbfb.fc41 drat-trim-devel(ppc-64) = 0-0.24.20240309git89ddbfb.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libdrat-trim.so.0()(64bit) Processing files: drat-trim-tools-0-0.24.20240309git89ddbfb.fc41.ppc64le Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.r3RVsq + umask 022 + cd /builddir/build/BUILD + cd drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30 + DOCDIR=/builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/share/doc/drat-trim-tools + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/share/doc/drat-trim-tools + cp -pr /builddir/build/BUILD/drat-trim-89ddbfb826f59b817a43d5a622a4a1672c2eab30/README.md /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le/usr/share/doc/drat-trim-tools + RPM_EC=0 ++ jobs -p + exit 0 Provides: drat-trim-tools = 0-0.24.20240309git89ddbfb.fc41 drat-trim-tools(ppc-64) = 0-0.24.20240309git89ddbfb.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libdrat-trim.so.0()(64bit) rtld(GNU_HASH) Processing files: drat-trim-debugsource-0-0.24.20240309git89ddbfb.fc41.ppc64le Provides: drat-trim-debugsource = 0-0.24.20240309git89ddbfb.fc41 drat-trim-debugsource(ppc-64) = 0-0.24.20240309git89ddbfb.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: drat-trim-debuginfo-0-0.24.20240309git89ddbfb.fc41.ppc64le Provides: debuginfo(build-id) = 510903fba821b9fa8c69e2ab07f5b9240ba31585 drat-trim-debuginfo = 0-0.24.20240309git89ddbfb.fc41 drat-trim-debuginfo(ppc-64) = 0-0.24.20240309git89ddbfb.fc41 libdrat-trim.so.0.0.0-0-0.24.20240309git89ddbfb.fc41.ppc64le.debug()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: drat-trim-debugsource(ppc-64) = 0-0.24.20240309git89ddbfb.fc41 Processing files: drat-trim-tools-debuginfo-0-0.24.20240309git89ddbfb.fc41.ppc64le Provides: debuginfo(build-id) = 3512ac9f046a44a59e1415b111a919c6b3bf0197 debuginfo(build-id) = 3f1f230d7650f59e710656c4a0267b8a50d117bd debuginfo(build-id) = 606ebd6ed3f49d5c9a2c262b340d0f5417fbe383 debuginfo(build-id) = 63497b6eafab4d8959daa2fef87bb0ece20dab39 debuginfo(build-id) = d7352b7e58ef1d8425e46268cd39d0e92ece2ec3 drat-trim-tools-debuginfo = 0-0.24.20240309git89ddbfb.fc41 drat-trim-tools-debuginfo(ppc-64) = 0-0.24.20240309git89ddbfb.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: drat-trim-debugsource(ppc-64) = 0-0.24.20240309git89ddbfb.fc41 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le Wrote: /builddir/build/RPMS/drat-trim-devel-0-0.24.20240309git89ddbfb.fc41.ppc64le.rpm Wrote: /builddir/build/RPMS/drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le.rpm Wrote: /builddir/build/RPMS/drat-trim-debugsource-0-0.24.20240309git89ddbfb.fc41.ppc64le.rpm Wrote: /builddir/build/RPMS/drat-trim-tools-debuginfo-0-0.24.20240309git89ddbfb.fc41.ppc64le.rpm Wrote: /builddir/build/RPMS/drat-trim-tools-0-0.24.20240309git89ddbfb.fc41.ppc64le.rpm Wrote: /builddir/build/RPMS/drat-trim-debuginfo-0-0.24.20240309git89ddbfb.fc41.ppc64le.rpm Child return code was: 0