Mock Version: 3.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/drat-trim.spec'], chrootPath='/var/lib/mock/fedora-rawhide-s390x-1671835267.113782/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3ff83e35410>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3q5zw28_:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3q5zw28_:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'ed2b2f598fcb447a81e5b414e9a1ac46', '-D', '/var/lib/mock/fedora-rawhide-s390x-1671835267.113782/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3q5zw28_:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: s390x
Building for target s390x
setting SOURCE_DATE_EPOCH=1669161600
Wrote: /builddir/build/SRPMS/drat-trim-0-0.18.20221019gitcbd2915.fc38.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/drat-trim.spec'], chrootPath='/var/lib/mock/fedora-rawhide-s390x-1671835267.113782/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3ff83e35410>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3q5zw28_:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3q5zw28_:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'b5c17bbb57d7466791eb5112db2d684a', '-D', '/var/lib/mock/fedora-rawhide-s390x-1671835267.113782/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3q5zw28_:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: s390x
Building for target s390x
setting SOURCE_DATE_EPOCH=1669161600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.WN3owo
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ /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
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.RVfWQf
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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:278:10: warning: unused variable 'j' [-Wunused-variable]
278 | int i, j;
| ^
drat-trim.c: In function 'printProof':
drat-trim.c:340:12: warning: unused variable 'lemmas' [-Wunused-variable]
340 | int *lemmas = S->DB + (ad >> INFOBITS);
| ^~~~~~
drat-trim.c:376:9: warning: unused variable 'flag' [-Wunused-variable]
376 | int flag = 0;
| ^~~~
drat-trim.c: In function 'checkRAT':
drat-trim.c:570:11: warning: unused variable 'id' [-Wunused-variable]
570 | int id = watched[ID] >> 1;
| ^~
drat-trim.c: In function 'verify':
drat-trim.c:777:7: warning: unused variable 'top_flag' [-Wunused-variable]
777 | int top_flag = 1;
| ^~~~~~~~
drat-trim.c: In function 'getHash':
drat-trim.c:988:22: warning: suggest parentheses around arithmetic in operand of '^' [-Wparentheses]
988 | return (1023 * sum + prod ^ (31 * xor)) % BIGINIT; }
| ~~~~~~~~~~~^~~~~~
drat-trim.c: In function 'parse':
drat-trim.c:1067:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
1067 | if (tmp > 0 && tmp != EOF) break; tmp = fscanf (S->inputFile, "%*s\n"); } // In case a commment line was found
| ^~
drat-trim.c:1067:39: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
1067 | 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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o drat-trim drat-trim-main.c -L. -ldrat-trim
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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:199:7: warning: variable 'count' set but not used [-Wunused-but-set-variable]
199 | int count = 0, bucket = topTable[index/BUCKET];
| ^~~~~
lrat-check.c: In function 'main':
lrat-check.c:432:7: warning: unused variable 'mode' [-Wunused-variable]
432 | int mode = LRAT;
| ^~~~
lrat-check.c:381:5: warning: ignoring return value of 'fscanf' declared with attribute 'warn_unused_result' [-Wunused-result]
381 | fscanf (cnf, " p cnf %i %i ", &nVar, &nCls);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
lrat-check.c:383:5: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result]
383 | fgets (ignore, sizeof (ignore), cnf);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+ gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o drat-compress compress.c
+ gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -o drat-decompress decompress.c
+ gcc -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -DLONGTYPE -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -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=%{gitdate}' -N -o drat-trim.1 ./drat-trim
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.I5E9Bu
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x
++ dirname /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/lib64
+ cp -a libdrat-trim.so libdrat-trim.so.0 libdrat-trim.so.0.0.0 /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/lib64
+ mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/include
+ cp -p drat-trim.h /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/include
+ mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/bin
+ cp -p drat-compress drat-decompress drat-gapless drat-trim lrat-check /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/share/man/man1
+ cp -p drat-trim.1 /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/share/man/man1
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 0-0.18.20221019gitcbd2915.fc38 --unique-debug-suffix -0-0.18.20221019gitcbd2915.fc38.s390x --unique-debug-src-base drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
extracting debug info from /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/bin/drat-compress
extracting debug info from /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/bin/drat-decompress
extracting debug info from /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/bin/drat-gapless
extracting debug info from /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/bin/drat-trim
extracting debug info from /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/bin/lrat-check
extracting debug info from /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/lib64/libdrat-trim.so.0.0.0
original debug info size: 268kB, size after compression: 264kB
/usr/bin/sepdebugcrcfix: Updated 6 CRC32s, 0 CRC32s did match.
174 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.RSWtRV
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -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,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ sed -i /make/d run-examples
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ LD_LIBRARY_PATH=/builddir/build/BUILD/drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ 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.062 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.057 seconds
c parsing input formula with 100 variables and 429 clauses
c finished parsing
c detected empty clause; start verification via backward checking
c 386 of 429 clauses in core
c 319 of 321 lemmas in core using 9352 resolution steps
c 16 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 386 clauses
c finished parsing
c detected empty clause; start verification via backward checking
c 386 of 386 clauses in core
c 319 of 320 lemmas in core using 9365 resolution steps
c 16 RAT lemmas in core; 0 redundant literals in core lemmas
s VERIFIED
c verification time: 0.069 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 5704 resolution steps
c 13 RAT lemmas in core; 0 redundant literals in core lemmas
s VERIFIED
c verification time: 0.065 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 5706 resolution steps
c 13 RAT lemmas in core; 0 redundant literals in core lemmas
s VERIFIED
c verification time: 0.065 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 11383 resolution steps
c 21 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 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 11384 resolution steps
c 21 RAT lemmas in core; 0 redundant literals in core lemmas
s VERIFIED
c verification time: 0.089 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 8669 resolution steps
c 17 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 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 8667 resolution steps
c 17 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 392 of 429 clauses in core
c 354 of 355 lemmas in core using 9644 resolution steps
c 20 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 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 9630 resolution steps
c 20 RAT lemmas in core; 0 redundant literals in core lemmas
s VERIFIED
c verification time: 0.067 seconds
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.QUeBjy
+ umask 022
+ cd /builddir/build/BUILD
+ cd drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ LICENSEDIR=/builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/share/licenses/drat-trim
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/share/licenses/drat-trim
+ cp -pr LICENSE /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/share/licenses/drat-trim
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: drat-trim = 0-0.18.20221019gitcbd2915.fc38 drat-trim(s390-64) = 0-0.18.20221019gitcbd2915.fc38 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.2)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) rtld(GNU_HASH)
Processing files: drat-trim-devel-0-0.18.20221019gitcbd2915.fc38.s390x
Provides: drat-trim-devel = 0-0.18.20221019gitcbd2915.fc38 drat-trim-devel(s390-64) = 0-0.18.20221019gitcbd2915.fc38
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.18.20221019gitcbd2915.fc38.s390x
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.I2N0hG
+ umask 022
+ cd /builddir/build/BUILD
+ cd drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ DOCDIR=/builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/share/doc/drat-trim-tools
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/share/doc/drat-trim-tools
+ cp -pr README.md /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x/usr/share/doc/drat-trim-tools
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: drat-trim-tools = 0-0.18.20221019gitcbd2915.fc38 drat-trim-tools(s390-64) = 0-0.18.20221019gitcbd2915.fc38
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.2)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libdrat-trim.so.0()(64bit) rtld(GNU_HASH)
Processing files: drat-trim-debugsource-0-0.18.20221019gitcbd2915.fc38.s390x
Provides: drat-trim-debugsource = 0-0.18.20221019gitcbd2915.fc38 drat-trim-debugsource(s390-64) = 0-0.18.20221019gitcbd2915.fc38
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.18.20221019gitcbd2915.fc38.s390x
Provides: debuginfo(build-id) = ab05d7bf6e36ff29898f4a1e2f1940e1c05b2f7d drat-trim-debuginfo = 0-0.18.20221019gitcbd2915.fc38 drat-trim-debuginfo(s390-64) = 0-0.18.20221019gitcbd2915.fc38 libdrat-trim.so.0.0.0-0-0.18.20221019gitcbd2915.fc38.s390x.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(s390-64) = 0-0.18.20221019gitcbd2915.fc38
Processing files: drat-trim-tools-debuginfo-0-0.18.20221019gitcbd2915.fc38.s390x
Provides: debuginfo(build-id) = 2a46f2f8c956659447f3cc8bc27bcf002e1d68eb debuginfo(build-id) = 6037df3b40b043baa487df7c5ccb8c323f7084da debuginfo(build-id) = ae2d1d2212dd5567a018505687be31831baa4514 debuginfo(build-id) = b84d25d45536458d9038379843d7cee776301458 debuginfo(build-id) = d490834356b88d6a597fdebdf3795cc6389a33b0 drat-trim-tools-debuginfo = 0-0.18.20221019gitcbd2915.fc38 drat-trim-tools-debuginfo(s390-64) = 0-0.18.20221019gitcbd2915.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: drat-trim-debugsource(s390-64) = 0-0.18.20221019gitcbd2915.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x
Wrote: /builddir/build/RPMS/drat-trim-debuginfo-0-0.18.20221019gitcbd2915.fc38.s390x.rpm
Wrote: /builddir/build/RPMS/drat-trim-tools-debuginfo-0-0.18.20221019gitcbd2915.fc38.s390x.rpm
Wrote: /builddir/build/RPMS/drat-trim-tools-0-0.18.20221019gitcbd2915.fc38.s390x.rpm
Wrote: /builddir/build/RPMS/drat-trim-debugsource-0-0.18.20221019gitcbd2915.fc38.s390x.rpm
Wrote: /builddir/build/RPMS/drat-trim-devel-0-0.18.20221019gitcbd2915.fc38.s390x.rpm
Wrote: /builddir/build/RPMS/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.cVrvJE
+ umask 022
+ cd /builddir/build/BUILD
+ cd drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/drat-trim-0-0.18.20221019gitcbd2915.fc38.s390x
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.i6rZEC
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23 drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0