Login
[x]
Log in using an account from:
Fedora Account System
Red Hat Associate
Red Hat Customer
Or login using a Red Hat Bugzilla account
Forgot Password
Login:
Hide Forgot
Create an Account
Red Hat Bugzilla – Attachment 1442830 Details for
Bug 1556135
prover9: FTBFS in F28
[?]
New
Simple Search
Advanced Search
My Links
Browse
Requests
Reports
Current State
Search
Tabular reports
Graphical reports
Duplicates
Other Reports
User Changes
Plotly Reports
Bug Status
Bug Severity
Non-Defaults
|
Product Dashboard
Help
Page Help!
Bug Writing Guidelines
What's new
Browser Support Policy
5.0.4.rh83 Release notes
FAQ
Guides index
User guide
Web Services
Contact
Legal
This site requires JavaScript to be enabled to function correctly, please enable it.
build.log
build.log (text/plain), 104.11 KB, created by
Fedora Release Engineering
on 2018-05-28 08:03:18 UTC
(
hide
)
Description:
build.log
Filename:
MIME Type:
Creator:
Fedora Release Engineering
Created:
2018-05-28 08:03:18 UTC
Size:
104.11 KB
patch
obsolete
>Mock Version: 1.3.4 >Mock Version: 1.3.4 >ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/prover9.spec'], chrootPath='/var/lib/mock/f29-build-12553468-917929/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3ff83ffc9e8>timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]printOutput=False) >Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/prover9.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': 'en_US.UTF-8'} and shell False >Building target platforms: s390x >Building for target s390x >Wrote: /builddir/build/SRPMS/prover9-200911a-15.fc29.src.rpm >Child return code was: 0 >ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/prover9.spec'], chrootPath='/var/lib/mock/f29-build-12553468-917929/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': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3ff83ffc9e8>timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]printOutput=False) >Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/prover9.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': 'en_US.UTF-8'} and shell False >Building target platforms: s390x >Building for target s390x >Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.hDJo6S >+ umask 022 >+ cd /builddir/build/BUILD >+ cd /builddir/build/BUILD >+ rm -rf LADR-2009-11A >+ /usr/bin/gzip -dc /builddir/build/SOURCES/LADR-2009-11A.tar.gz >+ /usr/bin/tar -xof - >+ STATUS=0 >+ '[' 0 -ne 0 ']' >+ cd LADR-2009-11A >+ /usr/bin/gzip -dc /builddir/build/SOURCES/prover9-manual-2009-11A.tar.gz >+ /usr/bin/tar -xof - >+ STATUS=0 >+ '[' 0 -ne 0 ']' >+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . >+ echo 'Patch #0 (prover9-no-2.5isms.patch):' >Patch #0 (prover9-no-2.5isms.patch): >+ /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 >patching file utilities/gvizify >+ echo 'Patch #1 (prover9-manpages.patch):' >Patch #1 (prover9-manpages.patch): >+ /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 >patching file manpages/clausefilter.1 >patching file manpages/clausetester.1 >patching file manpages/interpfilter.1 >patching file manpages/interpformat.1 >patching file manpages/isofilter.1 >patching file manpages/mace4.1 >patching file manpages/prooftrans.1 >patching file manpages/prover9.1 >patching file manpages/prover9-apps.1 >patching file manpages/rewriter.1 >+ echo 'Patch #2 (prover9-fedora.patch):' >Patch #2 (prover9-fedora.patch): >+ /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0 >patching file utilities/attack >patching file utilities/looper >patching file utilities/prover9-mace4 >patching file README.first >patching file copyright >+ echo 'Patch #3 (format-fix.patch):' >Patch #3 (format-fix.patch): >+ /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0 >patching file ladr/fastparse.c >patching file mace4.src/print.c >+ exit 0 >Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.SmKYqM >+ umask 022 >+ cd /builddir/build/BUILD >+ cd LADR-2009-11A >+ make all 'CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection' >cd ladr && make lib >make[1]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >make libladr.a >make[2]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o order.o order.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clock.o clock.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o nonport.o nonport.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fatal.o fatal.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ibuffer.o ibuffer.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o memory.o memory.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o hash.o hash.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o string.o string.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o strbuf.o strbuf.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o glist.o glist.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o options.o options.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o symbols.o symbols.c >symbols.c: In function 'declare_base_symbols': >symbols.c:1304:7: warning: variable 'sn' set but not used [-Wunused-but-set-variable] > int sn; > ^~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o avltree.o avltree.c >avltree.c: In function 'p_avl': >avltree.c:658:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] > printf("%4d\n", (int) p->item); > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o term.o term.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o termflag.o termflag.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o listterm.o listterm.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o tlist.o tlist.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o flatterm.o flatterm.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o multiset.o multiset.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o termorder.o termorder.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o parse.o parse.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o accanon.o accanon.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o unify.o unify.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fpalist.o fpalist.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fpa.o fpa.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o discrim.o discrim.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o discrimb.o discrimb.c >discrimb.c:487:7: warning: 'check_flat2' defined but not used [-Wunused-function] > Flat2 check_flat2(Flat2 f) > ^~~~~~~~~~~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o discrimw.o discrimw.c >discrimw.c:146:6: warning: 'check_flat' defined but not used [-Wunused-function] > Flat check_flat(Flat f) > ^~~~~~~~~~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o dioph.o dioph.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o btu.o btu.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o btm.o btm.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o mindex.o mindex.c >mindex.c: In function 'mindex_retrieve_next': >mindex.c:650:11: warning: variable 'tr' set but not used [-Wunused-but-set-variable] > Trail tr; > ^~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o basic.o basic.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o attrib.o attrib.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o formula.o formula.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o definitions.o definitions.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o literals.o literals.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o topform.o topform.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clist.o clist.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clauseid.o clauseid.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clauses.o clauses.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o just.o just.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o cnf.o cnf.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clausify.o clausify.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o parautil.o parautil.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o pindex.o pindex.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o compress.o compress.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o maximal.o maximal.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o lindex.o lindex.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o weight.o weight.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o weight2.o weight2.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o int_code.o int_code.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o features.o features.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o di_tree.o di_tree.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fastparse.o fastparse.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o random.o random.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o subsume.o subsume.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clause_misc.o clause_misc.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clause_eval.o clause_eval.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o complex.o complex.c >complex.c: In function 'complex4_p1': >complex.c:275:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable] > BOOL dummy; > ^~~~~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o dollar.o dollar.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o flatdemod.o flatdemod.c >flatdemod.c: In function 'discrim_flat_retrieve_leaf': >flatdemod.c:122:16: warning: comparison between 'BOOL' {aka 'enum <anonymous>'} and 'enum <anonymous>' [-Wenum-compare] > if (status == BACKTRACK) { > ^~ >flatdemod.c:158:15: warning: variable 'dd' set but not used [-Wunused-but-set-variable] > Discrim dd = NULL; > ^~ >flatdemod.c:167:16: warning: comparison between 'BOOL' {aka 'enum <anonymous>'} and 'enum <anonymous>' [-Wenum-compare] > if (status == GO) { > ^~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o demod.o demod.c >demod.c: In function 'demod1': >demod.c:376:8: warning: variable 'result' set but not used [-Wunused-but-set-variable] > Term result; > ^~~~~~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clash.o clash.c >clash.c: In function 'clash_recurse': >clash.c:283:12: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses] > else if (!p->clashable | p->clashed) > ^~~~~~~~~~~~~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o resolve.o resolve.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o paramod.o paramod.c >paramod.c: In function 'para_into': >paramod.c:347:8: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses] > if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o backdemod.o backdemod.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o hints.o hints.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ac_redun.o ac_redun.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o xproofs.o xproofs.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ivy.o ivy.c >ivy.c: In function 'factor2_instances': >ivy.c:633:14: warning: variable 'l1i' set but not used [-Wunused-but-set-variable] > Literals l1i, l2i, lit; > ^~~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o interp.o interp.c >interp.c: In function 'transpose_binary': >interp.c:358:10: warning: variable 'rc' set but not used [-Wunused-but-set-variable] > int i, rc; > ^~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o std_options.o std_options.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o banner.o banner.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ioutil.o ioutil.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o tptp_trans.o tptp_trans.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o top_input.o top_input.c >ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o >ar: creating libladr.a >make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >make[1]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >cd mace4.src && make all >make[1]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >cd ../ladr && make libladr.a >make[2]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >make[2]: 'libladr.a' is up to date. >make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >make clean >make[2]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >/bin/rm -f *.o >make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >make libmace4.a >make[2]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o estack.o estack.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o util.o util.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o print.o print.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o syms.o syms.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ground.o ground.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o arithmetic.o arithmetic.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o select.o select.c >select.c: In function 'select_concentric_band': >select.c:236:5: warning: type of 'min_id' defaults to 'int' [-Wimplicit-int] > int select_concentric_band(min_id, max_id, max_constrained) > ^~~~~~~~~~~~~~~~~~~~~~ >select.c:236:5: warning: type of 'max_id' defaults to 'int' [-Wimplicit-int] >select.c:236:5: warning: type of 'max_constrained' defaults to 'int' [-Wimplicit-int] >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o propagate.o propagate.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o mstate.o mstate.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o negpropindex.o negpropindex.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o negprop.o negprop.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ordercells.o ordercells.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o commandline.o commandline.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o msearch.o msearch.c >msearch.c: In function 'next_domain_size': >msearch.c:850:5: warning: type of 'n' defaults to 'int' [-Wimplicit-int] > int next_domain_size(n) > ^~~~~~~~~~~~~~~~ >ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o >ar: creating libmace4.a >make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o mace4.o mace4.c >mace4.c: In function 'init_attrs': >mace4.c:36:7: warning: variable 'id' set but not used [-Wunused-but-set-variable] > int id; > ^~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o mace4 mace4.o libmace4.a ../ladr/libladr.a >/bin/mv mace4 ../bin >make[1]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >cd provers.src && make all >make[1]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/provers.src' >cd ../ladr && make libladr >make[2]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >make libladr.a >make[3]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >make[3]: 'libladr.a' is up to date. >make[3]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >make clean >make[2]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/provers.src' >/bin/rm -f *.o >make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/provers.src' >cd ../mace4.src && make libmace4 >make[2]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >make libmace4.a >make[3]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >make[3]: 'libmace4.a' is up to date. >make[3]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/mace4.src' >make clean >make[2]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/provers.src' >/bin/rm -f *.o >make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/provers.src' >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o prover9.o prover9.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o index_lits.o index_lits.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o forward_subsume.o forward_subsume.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o demodulate.o demodulate.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o pred_elim.o pred_elim.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o unfold.o unfold.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o semantics.o semantics.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o giv_select.o giv_select.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o white_black.o white_black.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o actions.o actions.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o search.o search.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o utilities.o utilities.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o provers.o provers.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o foffer.o foffer.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -lm -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o fof-prover9.o fof-prover9.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -lm -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o autosketches4.o autosketches4.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -lm -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o newauto.o newauto.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -lm -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o newsax.o newsax.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -lm -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o ladr_to_tptp.o ladr_to_tptp.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -lm -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o tptp_to_ladr.o tptp_to_ladr.c >tptp_to_ladr.c: In function 'main': >tptp_to_ladr.c:84:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] > int i; > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -lm -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a >/bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin >/bin/rm -f *.o >make[1]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/provers.src' >cd apps.src && make all >make[1]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/apps.src' >cd ../ladr && make libladr.a >make[2]: Entering directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >make[2]: 'libladr.a' is up to date. >make[2]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/ladr' >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o latfilter.o latfilter.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o latfilter latfilter.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o olfilter.o olfilter.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o olfilter olfilter.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clausefilter.o clausefilter.c >clausefilter.c: In function 'main': >clausefilter.c:109:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] > int i; > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o clausefilter clausefilter.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o idfilter.o idfilter.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o idfilter idfilter.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o renamer.o renamer.c >renamer.c: In function 'main': >renamer.c:54:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] > int i; > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o renamer renamer.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o unfast.o unfast.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o unfast unfast.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o clausetester.o clausetester.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o clausetester clausetester.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o rewriter.o rewriter.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o rewriter rewriter.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o isofilter0.o isofilter0.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o isofilter0 isofilter0.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o isofilter.o isofilter.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o isofilter isofilter.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o isofilter2.o isofilter2.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o isofilter2 isofilter2.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o dprofiles.o dprofiles.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o dprofiles dprofiles.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o interpfilter.o interpfilter.c >interpfilter.c: In function 'main': >interpfilter.c:66:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] > int i; > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o interpfilter interpfilter.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o upper-covers.o upper-covers.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o upper-covers upper-covers.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o miniscope.o miniscope.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o miniscope miniscope.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o interpformat.o interpformat.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o interpformat interpformat.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o prooftrans.o prooftrans.c >prooftrans.c: In function 'main': >prooftrans.c:225:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable] > int label_attr, answer_attr, props_attr; > ^~~~~~~~~~ >prooftrans.c:222:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] > int rc, n, number_of_proofs; > ^~ >prooftrans.c:361:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] > fgets(s, BUF_MAX, fin); > ^~~~~~~~~~~~~~~~~~~~~~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o prooftrans prooftrans.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o mirror-flip.o mirror-flip.c >mirror-flip.c: In function 'main': >mirror-flip.c:129:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] > int i; > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o mirror-flip mirror-flip.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o perm3.o perm3.c >perm3.c: In function 'main': >perm3.c:120:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] > int i; > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o perm3 perm3.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o sigtest.o sigtest.c >sigtest.c: In function 'main': >sigtest.c:33:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] > int i; > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o sigtest sigtest.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o directproof.o directproof.c >directproof.c: In function 'main': >directproof.c:645:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable] > int label_attr, answer_attr, props_attr; > ^~~~~~~~~~ >directproof.c:645:7: warning: variable 'label_attr' set but not used [-Wunused-but-set-variable] > int label_attr, answer_attr, props_attr; > ^~~~~~~~~~ >directproof.c:642:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] > int rc, n, number_of_proofs; > ^~ >directproof.c:706:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] > fgets(s, BUF_MAX, fin); > ^~~~~~~~~~~~~~~~~~~~~~ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o directproof directproof.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o test_clause_eval.o test_clause_eval.c >test_clause_eval.c: In function 'main': >test_clause_eval.c:31:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] > int i; > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o test_clause_eval test_clause_eval.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o test_complex.o test_complex.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o test_complex test_complex.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o complex.o complex.c >complex.c: In function 'complex4_p1': >complex.c:79:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable] > BOOL dummy; > ^~~~~ >complex.c: In function 'main': >complex.c:126:12: warning: variable 'd' set but not used [-Wunused-but-set-variable] > double d; > ^ >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o complex complex.o ../ladr/libladr.a >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -c -o gen_trc_defs.o gen_trc_defs.c >gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a >/bin/mv latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs ../bin >/bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs >make[1]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/apps.src' >/bin/cp -p utilities/* bin >**** Now try 'make test1'. **** >+ exit 0 >Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.e7zf57 >+ umask 022 >+ cd /builddir/build/BUILD >+ '[' /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x '!=' / ']' >+ rm -rf /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x >++ dirname /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x >+ mkdir -p /builddir/build/BUILDROOT >+ mkdir /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x >+ cd LADR-2009-11A >+ /usr/bin/rm -rf /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x >+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin >+ for f in bin/* >++ basename bin/attack >+ /usr/bin/install -p -m 0755 bin/attack /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-attack >+ for f in bin/* >++ basename bin/autosketches4 >+ /usr/bin/install -p -m 0755 bin/autosketches4 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-autosketches4 >+ for f in bin/* >++ basename bin/clausefilter >+ /usr/bin/install -p -m 0755 bin/clausefilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-clausefilter >+ for f in bin/* >++ basename bin/clausetester >+ /usr/bin/install -p -m 0755 bin/clausetester /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-clausetester >+ for f in bin/* >++ basename bin/complex >+ /usr/bin/install -p -m 0755 bin/complex /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-complex >+ for f in bin/* >++ basename bin/directproof >+ /usr/bin/install -p -m 0755 bin/directproof /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-directproof >+ for f in bin/* >++ basename bin/dprofiles >+ /usr/bin/install -p -m 0755 bin/dprofiles /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-dprofiles >+ for f in bin/* >++ basename bin/fof-prover9 >+ /usr/bin/install -p -m 0755 bin/fof-prover9 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-fof-prover9 >+ for f in bin/* >++ basename bin/gen_trc_defs >+ /usr/bin/install -p -m 0755 bin/gen_trc_defs /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-gen_trc_defs >+ for f in bin/* >++ basename bin/get_givens >+ /usr/bin/install -p -m 0755 bin/get_givens /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-get_givens >+ for f in bin/* >++ basename bin/get_interps >+ /usr/bin/install -p -m 0755 bin/get_interps /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-get_interps >+ for f in bin/* >++ basename bin/get_kept >+ /usr/bin/install -p -m 0755 bin/get_kept /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-get_kept >+ for f in bin/* >++ basename bin/gvizify >+ /usr/bin/install -p -m 0755 bin/gvizify /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-gvizify >+ for f in bin/* >++ basename bin/idfilter >+ /usr/bin/install -p -m 0755 bin/idfilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-idfilter >+ for f in bin/* >++ basename bin/interpfilter >+ /usr/bin/install -p -m 0755 bin/interpfilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-interpfilter >+ for f in bin/* >++ basename bin/interpformat >+ /usr/bin/install -p -m 0755 bin/interpformat /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-interpformat >+ for f in bin/* >++ basename bin/isofilter >+ /usr/bin/install -p -m 0755 bin/isofilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter >+ for f in bin/* >++ basename bin/isofilter0 >+ /usr/bin/install -p -m 0755 bin/isofilter0 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter0 >+ for f in bin/* >++ basename bin/isofilter2 >+ /usr/bin/install -p -m 0755 bin/isofilter2 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter2 >+ for f in bin/* >++ basename bin/ladr_to_tptp >+ /usr/bin/install -p -m 0755 bin/ladr_to_tptp /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-ladr_to_tptp >+ for f in bin/* >++ basename bin/latfilter >+ /usr/bin/install -p -m 0755 bin/latfilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-latfilter >+ for f in bin/* >++ basename bin/looper >+ /usr/bin/install -p -m 0755 bin/looper /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-looper >+ for f in bin/* >++ basename bin/mace4 >+ /usr/bin/install -p -m 0755 bin/mace4 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-mace4 >+ for f in bin/* >++ basename bin/miniscope >+ /usr/bin/install -p -m 0755 bin/miniscope /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-miniscope >+ for f in bin/* >++ basename bin/mirror-flip >+ /usr/bin/install -p -m 0755 bin/mirror-flip /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-mirror-flip >+ for f in bin/* >++ basename bin/newauto >+ /usr/bin/install -p -m 0755 bin/newauto /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-newauto >+ for f in bin/* >++ basename bin/newsax >+ /usr/bin/install -p -m 0755 bin/newsax /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-newsax >+ for f in bin/* >++ basename bin/olfilter >+ /usr/bin/install -p -m 0755 bin/olfilter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-olfilter >+ for f in bin/* >++ basename bin/perm3 >+ /usr/bin/install -p -m 0755 bin/perm3 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-perm3 >+ for f in bin/* >++ basename bin/proof3fo.xsl >+ /usr/bin/install -p -m 0755 bin/proof3fo.xsl /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-proof3fo.xsl >+ for f in bin/* >++ basename bin/prooftrans >+ /usr/bin/install -p -m 0755 bin/prooftrans /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prooftrans >+ for f in bin/* >++ basename bin/prover9 >+ /usr/bin/install -p -m 0755 bin/prover9 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prover9 >+ for f in bin/* >++ basename bin/prover9-mace4 >+ /usr/bin/install -p -m 0755 bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prover9-mace4 >+ for f in bin/* >++ basename bin/renamer >+ /usr/bin/install -p -m 0755 bin/renamer /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-renamer >+ for f in bin/* >++ basename bin/rewriter >+ /usr/bin/install -p -m 0755 bin/rewriter /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-rewriter >+ for f in bin/* >++ basename bin/sigtest >+ /usr/bin/install -p -m 0755 bin/sigtest /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-sigtest >+ for f in bin/* >++ basename bin/test_clause_eval >+ /usr/bin/install -p -m 0755 bin/test_clause_eval /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-test_clause_eval >+ for f in bin/* >++ basename bin/test_complex >+ /usr/bin/install -p -m 0755 bin/test_complex /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-test_complex >+ for f in bin/* >++ basename bin/tptp_to_ladr >+ /usr/bin/install -p -m 0755 bin/tptp_to_ladr /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-tptp_to_ladr >+ for f in bin/* >++ basename bin/unfast >+ /usr/bin/install -p -m 0755 bin/unfast /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-unfast >+ for f in bin/* >++ basename bin/upper-covers >+ /usr/bin/install -p -m 0755 bin/upper-covers /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-upper-covers >+ /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-proof3fo.xsl >+ /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prover9-mace4 >+ /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-test_clause_eval >+ /usr/bin/mv /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/mace4 >+ /usr/bin/mv /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prover9 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9 >+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1 >+ /usr/bin/install -p -m 0644 manpages/interpformat.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-interpformat.1 >+ /usr/bin/install -p -m 0644 manpages/isofilter.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-isofilter.1 >+ ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-isofilter0.1.gz >+ ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-isofilter2.1.gz >+ /usr/bin/install -p -m 0644 manpages/prooftrans.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-prooftrans.1 >+ /usr/bin/install -p -m 0644 manpages/mace4.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1 >+ /usr/bin/install -p -m 0644 manpages/prover9.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1 >+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/include/ladr >+ /usr/bin/install -p -m 0644 ladr/ac_redun.h ladr/accanon.h ladr/attrib.h ladr/avltree.h ladr/backdemod.h ladr/banner.h ladr/basic.h ladr/btm.h ladr/btu.h ladr/clash.h ladr/clause_eval.h ladr/clause_misc.h ladr/clauseid.h ladr/clauses.h ladr/clausify.h ladr/clist.h ladr/clock.h ladr/cnf.h ladr/complex.h ladr/compress.h ladr/definitions.h ladr/demod.h ladr/di_tree.h ladr/dioph.h ladr/discrim.h ladr/discrimb.h ladr/discrimw.h ladr/dollar.h ladr/fastparse.h ladr/fatal.h ladr/features.h ladr/flatdemod.h ladr/flatterm.h ladr/formula.h ladr/fpa.h ladr/fpalist.h ladr/glist.h ladr/hash.h ladr/header.h ladr/hints.h ladr/ibuffer.h ladr/index.h ladr/int_code.h ladr/interp.h ladr/ioutil.h ladr/ivy.h ladr/just.h ladr/ladr.h ladr/lindex.h ladr/listterm.h ladr/literals.h ladr/maximal.h ladr/memory.h ladr/mindex.h ladr/multiset.h ladr/nonport.h ladr/options.h ladr/order.h ladr/paramod.h ladr/parautil.h ladr/parse.h ladr/pindex.h ladr/random.h ladr/resolve.h ladr/std_options.h ladr/strbuf.h ladr/string.h ladr/subsume.h ladr/symbols.h ladr/term.h ladr/termflag.h ladr/termorder.h ladr/tlist.h ladr/top_input.h ladr/topform.h ladr/tptp_trans.h ladr/unify.h ladr/weight.h ladr/weight2.h ladr/xproofs.h /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/include/ladr >+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/lib64 >+ /usr/bin/install -p -m 0644 ladr/libladr.a /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/lib64 >+ /usr/bin/install -p -m 0644 manpages/clausefilter.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-clausefilter.1 >+ /usr/bin/install -p -m 0644 manpages/clausetester.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-clausetester.1 >+ /usr/bin/install -p -m 0644 manpages/interpfilter.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-interpfilter.1 >+ /usr/bin/install -p -m 0644 manpages/rewriter.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1/prover9-rewriter.1 >+ /usr/bin/install -p -m 0644 manpages/prover9-apps.1 /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/share/man/man1 >+ chmod 0644 apps.examples/run-all >+ /usr/lib/rpm/find-debuginfo.sh -j2 --strict-build-id -m -i --build-id-seed 200911a-15.fc29 --unique-debug-suffix -200911a-15.fc29.s390x --unique-debug-src-base prover9-200911a-15.fc29.s390x --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/LADR-2009-11A >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-autosketches4 >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-clausefilter >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-clausetester >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-complex >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-dprofiles >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-directproof >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-fof-prover9 >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-gen_trc_defs >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-idfilter >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-interpfilter >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-interpformat >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter0 >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-isofilter2 >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-ladr_to_tptp >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-latfilter >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-miniscope >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-mirror-flip >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-newsax >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-newauto >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-olfilter >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-perm3 >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-prooftrans >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-renamer >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-rewriter >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-sigtest >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-test_complex >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-tptp_to_ladr >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-unfast >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9-upper-covers >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/mace4 >extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-15.fc29.s390x/usr/bin/prover9 >/usr/lib/rpm/sepdebugcrcfix: Updated 32 CRC32s, 0 CRC32s did match. >3671 blocks >+ /usr/lib/rpm/check-buildroot >+ /usr/lib/rpm/redhat/brp-ldconfig >/sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory >+ /usr/lib/rpm/brp-compress >+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip >+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 >+ /usr/lib/rpm/brp-python-hardlink >+ /usr/lib/rpm/redhat/brp-mangle-shebangs >*** WARNING: mangling shebang in /usr/bin/prover9-attack from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually! >*** WARNING: mangling shebang in /usr/bin/prover9-gvizify from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually! >*** WARNING: mangling shebang in /usr/bin/prover9-looper from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually! >Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.YK5bIl >+ umask 022 >+ cd /builddir/build/BUILD >+ cd LADR-2009-11A >+ make test1 test2 test3 >bin/prover9 -f prover9.examples/x2.in | bin/prooftrans parents_only >============================== prooftrans ============================ >Prover9 (64) version 2009-11A, November 2009. >Process 63177 was started by mockbuild on buildvm-s390x-07.s390.fedoraproject.org, >Sun May 27 23:35:28 2018 >The command was "bin/prover9 -f prover9.examples/x2.in". >============================== end of head =========================== >============================== end of input ========================== >-------- Proof 1 -------- >THEOREM PROVED >------ process 63177 exit (max_proofs) ------ > >============================== PROOF ================================= >% -------- Comments from original proof -------- >% Proof 1 at 0.00 (+ 0.00) seconds. >% Length of proof is 16. >% Level of proof is 7. >% Maximum clause weight is 11.000. >% Given clauses 12. >1 x * y = y * x # label(non_clause) # label(goal). []. >2 e * x = x. []. >3 x' * x = e. []. >4 (x * y) * z = x * (y * z). []. >5 x * x = e. []. >6 c2 * c1 != c1 * c2. [1]. >7 x' * (x * y) = y. [3,4,2]. >8 x * (x * y) = y. [5,4,2]. >9 x * (y * (x * y)) = e. [5,4]. >11 x'' * e = x. [3,7]. >13 x' * e = x. [5,7]. >15 x' = x. [11,13]. >16 x * e = x. [13,15]. >19 x * (y * x) = y. [9,8,16]. >24 x * y = y * x. [19,8]. >25 $F. [24,6]. >============================== end of proof ========================== >**** If you see a proof, prover9 is probably okay. **** >**** Next try 'make test2'. **** >bin/mace4 -v0 -f mace4.examples/group2.in | bin/interpformat tabular >=== Mace4 starting on domain size 2. === >=== Mace4 starting on domain size 3. === >=== Mace4 starting on domain size 4. === >=== Mace4 starting on domain size 5. === >=== Mace4 starting on domain size 6. === >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >ERROR, model reported, but clause not true! >Fatal error: possible_model, bad model found >RPM build errors: >make: *** [Makefile:25: test2] Error 2 >error: Bad exit status from /var/tmp/rpm-tmp.YK5bIl (%check) > Bad exit status from /var/tmp/rpm-tmp.YK5bIl (%check) >Child return code was: 1 >EXCEPTION: [Error()] >Traceback (most recent call last): > File "/usr/lib/python3.6/site-packages/mockbuild/trace_decorator.py", line 89, in trace > result = func(*args, **kw) > File "/usr/lib/python3.6/site-packages/mockbuild/util.py", line 582, in do > raise exception.Error("Command failed. See logs for output.\n # %s" % (command,), child.returncode) >mockbuild.exception.Error: Command failed. See logs for output. > # bash --login -c /usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/prover9.spec
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 1556135
: 1442830 |
1442831
|
1442832