Mock Version: 3.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target x86_64 --nodeps /builddir/build/SPECS/cohomCalg.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1671827568.631163/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7efc80e537d0>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.gsml8bxu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.gsml8bxu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'bce112dc3e1c4167805c261345e90354', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1671827568.631163/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.gsml8bxu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target x86_64 --nodeps /builddir/build/SPECS/cohomCalg.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1669075200
Wrote: /builddir/build/SRPMS/cohomCalg-0.32-12.fc38.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb  --target x86_64 --nodeps /builddir/build/SPECS/cohomCalg.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1671827568.631163/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7efc80e537d0>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.gsml8bxu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.gsml8bxu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '6d850aa86a794c03a3d9a0962a6440d3', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1671827568.631163/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.gsml8bxu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb  --target x86_64 --nodeps /builddir/build/SPECS/cohomCalg.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1669075200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.pdIMpX
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf cohomCalg-0.32
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cohomCalg-0.32.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd cohomCalg-0.32
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cohomCalg-test.tar.xz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/e2c2635.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ rm -f bin/cohomcalg.exe bin/cohomcalg32.exe manual.pdf
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.wIrHMO
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd cohomCalg-0.32
+ /usr/bin/make -O -j2 V=1 VERBOSE=1 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' 'CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/main.cpp -o build/main.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/iohandler.cpp -o build/iohandler.o
source/iohandler.cpp: In member function 'bool CInputFile::ParseInput(const char*)':
source/iohandler.cpp:640:25: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
  640 |         if (nVertexCmds > CCmdLineArguments::GetMaxVertices())     { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxVertices() << " coordinates exceeded."); return false; }
      |             ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/iohandler.cpp:641:29: warning: comparison of integer expressions of different signedness: 'std::vector<std::vector<std::__cxx11::basic_string<char> > >::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
  641 |         if (vSRideal.size() > CCmdLineArguments::GetMaxSRgens())   { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxSRgens() << " SR generators exceeded."); return false; }
      |             ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/iohandler.cpp:642:31: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
  642 |         if (nAmbientCohomCmds > CCmdLineArguments::GetMaxCohoms()) { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxCohoms() << " requested cohomologies exceeded."); return false; }
      |             ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/rationals.cpp -o build/rationals.o
source/rationals.cpp: In function 'void CountRationalFunctionsWorker(void*)':
source/rationals.cpp:529:17: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
  529 |                 if (CCmdLineArguments::GetVerboseLevel() < -5)
      |                 ^~
source/rationals.cpp:530:47: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
  530 |                         crd->bReturn = false; return;
      |                                               ^~~~~~
source/rationals.cpp: In static member function 'static bool CRationals::ComputeCohomology(const CInternalData&, CMonomialsList&, const i32vec64&, std::vector<unsigned int>&, std::vector<std::__cxx11::basic_string<char> >&)':
source/rationals.cpp:693:5: warning: this 'for' clause does not guard... [-Wmisleading-indentation]
  693 |     for (map<uint64_t, AmbiguousContribData>::iterator it = ml.ambiguous_monoms.begin(); it != ml.ambiguous_monoms.end(); it++)
      |     ^~~
source/rationals.cpp:695:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for'
  695 |         if (!WaitForAllWorkersFinish()) return false;
      |         ^~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/tokenizer.cpp -o build/tokenizer.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/secondarycohom.cpp -o build/secondarycohom.o
source/secondarycohom.cpp: In member function 'bool CSecondaryCohomology::TraverseSRpowerset(const CInternalData&)':
source/secondarycohom.cpp:429:17: warning: unused variable 'stat' [-Wunused-variable]
  429 |         thread *stat = new thread(StatusOutputWorker, wstat);
      |                 ^~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/Matop.c -o build/polylib_mod/Matop.o
source/polylib_mod/Matop.c: In function 'void ExchangeColumns(Matrix*, int, int)':
source/polylib_mod/Matop.c:94:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
   94 |   for (i = 0; i < M->NbRows; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'void PutRowLast(Matrix*, int)':
source/polylib_mod/Matop.c:193:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  193 |   if (Rownumber == X->NbRows-1)
      |       ~~~~~~~~~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:197:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  197 |   for (j = 0; j < X->NbColumns; j++) {
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:199:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  199 |     for (i = Rownumber; i < X->NbRows-1; i++)
      |                         ~~^~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'void PutRowFirst(Matrix*, int)':
source/polylib_mod/Matop.c:216:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  216 |   for (j = 0; j < X->NbColumns; j++) {
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'void PutColumnFirst(Matrix*, int)':
source/polylib_mod/Matop.c:236:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  236 |   for (i = 0; i < X->NbRows; i ++) {
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'void PutColumnLast(Matrix*, int)':
source/polylib_mod/Matop.c:255:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  255 |   for (i = 0; i < X->NbRows; i++) {
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:257:30: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  257 |     for (j = Columnnumber; j < X->NbColumns-1; j++)
      |                            ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'Matrix* AddANullRow(Matrix*)':
source/polylib_mod/Matop.c:274:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  274 |   for (i = 0;i < M->NbRows; i++)
      |              ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:275:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  275 |     for (j = 0; j < M->NbColumns ; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:277:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  277 |   for (j = 0; j < M->NbColumns; j++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'Matrix* AddANullColumn(Matrix*)':
source/polylib_mod/Matop.c:292:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  292 |   for (i = 0;i < M->NbRows; i++)
      |              ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:293:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  293 |     for (j = 0; j < M->NbColumns ; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:295:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  295 |   for (i = 0; i < M->NbRows; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'Matrix* RemoveRow(Matrix*, int)':
source/polylib_mod/Matop.c:312:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  312 |   for ( ; i < Result->NbRows; i++)
      |           ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'Matrix* RemoveNColumns(Matrix*, int, int)':
source/polylib_mod/Matop.c:329:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  329 |   for (i = 0; i < Result->NbRows; i++) {
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'Matrix* RemoveColumn(Matrix*, int)':
source/polylib_mod/Matop.c:347:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  347 |   for (i = 0; i < Result->NbRows; i++) {
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function 'int findHermiteBasis(Matrix*, Matrix**)':
source/polylib_mod/Matop.c:377:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  377 |     for (i = 0; i < H->NbRows; i++)
      |                 ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:381:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  381 |     if (i == H->NbRows) {
      |         ~~^~~~~~~~~~~~
source/polylib_mod/Matop.c:394:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  394 |   for (i = 0; i < C->NbRows; i++) {
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:395:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  395 |     for (j = 0; j < C->NbColumns; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:398:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  398 |     if (j == C->NbColumns) {
      |         ~~^~~~~~~~~~~~~~~
source/polylib_mod/Matop.c:415:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  415 |   for (i = 0; i < C->NbColumns; i ++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:418:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  418 |   while((curVect < C->NbRows) && (curDim < dim)) {
      |          ~~~~~~~~^~~~~~~~~~~
source/polylib_mod/Matop.c:421:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  421 |     for (i = 0; i < C->NbColumns; i++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:427:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  427 |     if (rank == temp->NbRows) {
      |         ~~~~~^~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/Lattice.c -o build/polylib_mod/Lattice.o
source/polylib_mod/Lattice.c: In function 'Bool sameAffinepart(Lattice*, Lattice*)':
source/polylib_mod/Lattice.c:85:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
   85 |   for (i = 0; i < A->NbRows; i ++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Bool isEmptyLattice(Lattice*)':
source/polylib_mod/Lattice.c:129:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  129 |   for (i = 0; i < A->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:130:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  130 |     for (j = 0; j < A->NbColumns-1; j ++)
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Bool isLinear(Lattice*)':
source/polylib_mod/Lattice.c:156:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  156 |   for (i = 0; i < A->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'void AffineSmith(Lattice*, Lattice**, Lattice**, Lattice**)':
source/polylib_mod/Lattice.c:261:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  261 |   for (i = 0; i < U[0]->NbRows-1; i ++) {
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:263:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  263 |     for(j = 0; j < U[0]->NbColumns-1; j ++) {
      |                ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:269:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  269 |   for(i = 0; i < U[0]->NbRows-1; i ++)
      |              ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:271:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  271 |   for(i = 0; i < Diag[0]->NbRows-1; i ++) {
      |              ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Bool sameLattice(Lattice*, Lattice*)':
source/polylib_mod/Lattice.c:387:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  387 |   for (i = 0 ; i < A->NbRows; i ++)
      |                ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c:388:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  388 |     for (j =  0; j < A->NbColumns; j ++)
      |                  ~~^~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Lattice* ChangeLatticeDimension(Lattice*, int)':
source/polylib_mod/Lattice.c:415:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  415 |   if(dimension <= A->NbRows) {
      |      ~~~~~~~~~~^~~~~~~~~~~~
source/polylib_mod/Lattice.c:421:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  421 |   for (i = 0; i < A->NbRows; i ++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c:422:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  422 |     for (j = 0; j < A->NbRows; j ++)
      |                 ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Lattice* ExtractLinearPart(Lattice*)':
source/polylib_mod/Lattice.c:444:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  444 |   for (i = 0; i < A->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:445:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  445 |     for (j = 0; j < A->NbColumns-1; j ++)
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Lattice* LatticeIntersection(Lattice*, Lattice*)':
source/polylib_mod/Lattice.c:539:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  539 |   for (i = 0; i < result->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:540:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  540 |     for (j = 0; j < result->NbColumns-1; j ++)
      |                 ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:543:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  543 |   for (i = 0; i < result->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:545:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  545 |   for (i = 0; i < result->NbColumns-1; i ++)
      |               ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Matrix* MakeDioEqforInter(Lattice*, Lattice*)':
source/polylib_mod/Lattice.c:583:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  583 |  for (i = 0; i < Dio->NbRows; i ++)
      |              ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:584:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  584 |    for (j = 0; j < Dio->NbColumns; j ++)
      |                ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:587:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  587 |  for (i = 0; i < A->NbRows-1; i++) {
      |              ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:591:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  591 |  for (i = 0; i < A->NbRows-1 ; i ++)
      |              ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:592:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  592 |    for (j = 0; j < A->NbRows-1; j ++) {
      |                ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:599:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  599 |  for (i = 0; i < A->NbColumns-1; i++) {
      |              ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'LatticeUnion* Lattice2LatticeUnion(Lattice*, Lattice*)':
source/polylib_mod/Lattice.c:714:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  714 |   for (i = 0; i < DiagMatrix->NbRows; i++)
      |               ~~^~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:720:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  720 |   for(i = 0; i < newB1->NbRows - 1;i ++)
      |              ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:680:31: warning: unused variable 'tempHead' [-Wunused-variable]
  680 |   LatticeUnion *Head = NULL, *tempHead = NULL;
      |                               ^~~~~~~~
source/polylib_mod/Lattice.c: In function 'LatticeUnion* LatticeDifference(Lattice*, Lattice*)':
source/polylib_mod/Lattice.c:816:12: warning: unused variable 'Intersection' [-Wunused-variable]
  816 |   Lattice *Intersection = NULL;
      |            ^~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'LatticeUnion* SplitLattice(Lattice*, Lattice*, Matrix*)':
source/polylib_mod/Lattice.c:909:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  909 |   for (i = 0; i < C->NbRows ; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'void AddLattice(LatticeUnion*, Matrix*, Matrix*, int, int)':
source/polylib_mod/Lattice.c:945:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  945 |       for (j = 0; j < B2->NbRows; j++) {
      |                   ~~^~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'int FindHermiteBasisofDomain(Polyhedron*, Matrix**)':
source/polylib_mod/Lattice.c:1021:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1021 |   for (i = 0; i < A->NbRays; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c:1032:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1032 |   for(i = 0; i < A->NbRays; i++) {
      |              ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c:1034:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1034 |       for(j = 1; j < A->Dimension+2; j++)
      |                  ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1040:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1040 |       for (j = 1; j < A->Dimension+1; j++)
      |                   ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1047:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1047 |   for(i = 0; i < vert->NbRows; i ++) {
      |              ~~^~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1049:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1049 |     for (j = 0; j < vert->NbColumns-1; j++)
      |                 ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1059:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1059 |   for (i = 1; i < temp->NbRows; i++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1060:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1060 |     for (j = 0; j < temp->NbColumns ; j++)
      |                 ~~^~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1068:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1068 |   for (i = 0; i < vert->NbRows; i++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1069:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1069 |     for (j = 0 ;j < result->NbColumns ; j++)
      |                 ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1072:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1072 |   for (; i<result->NbRows; i++)
      |          ~^~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1073:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1073 |     for (j = 0; j < result->NbColumns; j++)
      |                 ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1094:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1094 |     for(j = 0; j < Newmat->NbColumns ; j++)
      |                ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1099:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1099 |   for (i = 0; i < Image->NbConstraints; i ++)
      |               ~~^~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1101:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1101 |       for (j = 1; j<Image->Dimension+2; j ++)
      |                   ~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1106:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1106 |   for (i = 0; i < Newmat->NbColumns-1; i++)
      |               ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Lattice* LatticePreimage(Lattice*, Matrix*)':
source/polylib_mod/Lattice.c:1192:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1192 |   for (i = 0; i < G->NbRows-1; i++)
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1193:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1193 |     for (j = 0; j < G->NbColumns-1; j++)
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1196:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1196 |   for (i = 0;i < G->NbRows-1; i++)
      |              ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1197:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1197 |     for (j = 0; j < L->NbColumns-1; j++) {
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1202:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1202 |   for (i = 0; i < Dio->NbRows-1; i++) {
      |               ~~^~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1207:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1207 |   for (i = 0; i < Dio->NbColumns-1; i++)
      |               ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1217:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1217 |     for (i = 0; i < Result->NbRows-1; i++)
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1218:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1218 |       for (j = 0; j < Result->NbColumns-1; j++)
      |                   ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1221:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1221 |     for (i = 0; i < Result->NbRows-1; i ++)
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1225:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1225 |     for (i = 0; i < Result->NbColumns-1; i ++)
      |                 ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Bool IsLattice(Matrix*)':
source/polylib_mod/Lattice.c:1256:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1256 |   for (i = 0; i < m->NbColumns-1; i++)
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Bool isfulldim(Matrix*)':
source/polylib_mod/Lattice.c:1279:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1279 |   for (i = 0; i < h->NbRows; i ++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Bool Simplify(LatticeUnion**, LatticeUnion**, int)':
source/polylib_mod/Lattice.c:1313:27: warning: variable 'num' set but not used [-Wunused-but-set-variable]
 1313 |   Value cnt, aux, k, fac, num, tmp, foobar;
      |                           ^~~
source/polylib_mod/Lattice.c: In function 'int LinearPartCompare(const void*, const void*)':
source/polylib_mod/Lattice.c:1437:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1437 |   for (i = 0;  i < L1[0]->NbRows-1; i++)
      |                ~~^~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'int AffinePartCompare(const void*, const void*)':
source/polylib_mod/Lattice.c:1492:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1492 |   for (i = 0; i < L1[0]->NbRows; i++) {
      |               ~~^~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Bool AlmostSameAffinePart(LatticeUnion*, LatticeUnion*)':
source/polylib_mod/Lattice.c:1537:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1537 |   for (i = 0; i < A->M->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Bool AffinePartSimplify(LatticeUnion*, LatticeUnion**)':
source/polylib_mod/Lattice.c:1567:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1567 |   for (i = 0; i < curlist->M->NbRows - 1; i ++) {
      |               ~~^~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'Bool SameLinearPart(LatticeUnion*, LatticeUnion*)':
source/polylib_mod/Lattice.c:1625:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1625 |   for (i = 0; i < A->M->NbRows-1; i++)
      |               ~~^~~~~~~~~~~~~~~~
In function 'AffinePartSimplify(LatticeUnion*, LatticeUnion**)',
    inlined from 'LatticeSimplify' at source/polylib_mod/Lattice.c:1652:27:
source/polylib_mod/Lattice.c:1614:16: warning: 'nextlist' may be used uninitialized [-Wmaybe-uninitialized]
 1614 |     curr->next = nextlist;
      |     ~~~~~~~~~~~^~~~~~~~~~
source/polylib_mod/Lattice.c: In function 'LatticeSimplify':
source/polylib_mod/Lattice.c:1554:17: note: 'nextlist' was declared here
 1554 |   LatticeUnion *nextlist;
      |                 ^~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/NormalForms.c -o build/polylib_mod/NormalForms.o
source/polylib_mod/NormalForms.c: In function 'Value* ConvertPolMattoDarMat(Matrix*)':
source/polylib_mod/NormalForms.c:586:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  586 |   for(i=0;i<A->NbRows * A->NbColumns;i++)
      |           ~^~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:589:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  589 |   for (i = 0; i < A->NbRows; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/NormalForms.c:590:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  590 |     for (j = 0 ;  j < A->NbColumns; j++)
      |                   ~~^~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c: In function 'void Smith(Matrix*, Matrix**, Matrix**, Matrix**)':
source/polylib_mod/NormalForms.c:629:7: warning: unused variable 'i' [-Wunused-variable]
  629 |   int i;
      |       ^
source/polylib_mod/NormalForms.c: In function 'void Hermite(Matrix*, Matrix**, Matrix**)':
source/polylib_mod/NormalForms.c:681:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  681 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:683:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  683 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:707:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  707 |   for (i=0; i< A->NbRows * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:709:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  709 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:711:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  711 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/SolveDio.c -o build/polylib_mod/SolveDio.o
source/polylib_mod/SolveDio.c: In function 'int SolveDiophantine(Matrix*, Matrix**, Vector**)':
source/polylib_mod/SolveDio.c:104:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  104 |   for (i = 0; i < A->NbRows -1; i++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:105:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  105 |     for (j = 0; j < A->NbColumns-1; j++)
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:164:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  164 |   for (i = rank; i < hermi->NbColumns; i++)
      |                  ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:171:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  171 |   for (i = rank; i < hermi->NbRows; i++) {
      |                  ~~^~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:173:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  173 |     for (j = 0; j < hermi->NbColumns; j++) {
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:194:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  194 |   if (rank == hermi->NbColumns)
      |       ~~~~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:199:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  199 |     for (i = 0; i < U[0]->NbRows; i++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:200:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  200 |       for (j = 0; j < U[0]->NbColumns; j++)
      |                   ~~^~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:204:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  204 |   for (i = 0; i < unimodinv->NbRows; i++) {
      |               ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:208:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  208 |     for (j = 0; j < unimodinv->NbColumns; j++) {
      |                 ~~^~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c: In function 'void RearrangeMatforSolveDio(Matrix*)':
source/polylib_mod/SolveDio.c:259:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  259 |   for (i = 0; i < L->NbRows; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/SolveDio.c:260:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  260 |     for (j = 0; j < L->NbColumns; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:266:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  266 |     for (j = 0; j < L->NbColumns; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:269:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  269 |     if (j == L->NbColumns) {
      |         ~~^~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:282:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  282 |     for (i = 0; i <L->NbColumns; i++)
      |                 ~~^~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:287:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  287 |       for (i = 0;i <A->NbColumns; i++)
      |                  ~~^~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:290:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  290 |       for (i = 0; i < H->NbRows; i++)
      |                   ~~^~~~~~~~~~~
source/polylib_mod/SolveDio.c:293:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  293 |       if (i != H->NbRows) {
      |           ~~^~~~~~~~~~~~
source/polylib_mod/SolveDio.c:306:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  306 |       min = (curend >= L->NbColumns) ? L->NbColumns : curend ;
      |              ~~~~~~~^~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/alpha.c -o build/polylib_mod/alpha.o
source/polylib_mod/alpha.c: In function 'int Polyhedron_Not_Empty(Polyhedron*, Polyhedron*, int)':
source/polylib_mod/alpha.c:119:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  119 |   for (i=0;i<(P->Dimension+2);i++)
      |            ~^~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:132:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  132 |   for (i=0;i<(P->Dimension+2);i++)
      |            ~^~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c: In function 'int PolyhedronLTQ(Polyhedron*, Polyhedron*, int, int, int)':
source/polylib_mod/alpha.c:218:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  218 |     for (i=0; i<Q1->NbConstraints; i++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:227:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  227 |     for (i=0; i<Q2->NbConstraints; i++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:260:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  260 |     for (i=0; i<Q1->NbConstraints; i++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:299:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  299 |       for (j=0; j<Q2->NbConstraints; j++) {
      |                 ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c: In function 'int GaussSimplify(Matrix*, Matrix*)':
source/polylib_mod/alpha.c:467:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  467 |       for (i=0; i<(Mat2->NbRows-1);i++) {   /* all but the last row 0...0 1 */
      |                 ~^~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:389:19: warning: unused variable 't' [-Wunused-variable]
  389 |   int i, j, k, n, t, pivot, Rank;
      |                   ^
source/polylib_mod/alpha.c:389:22: warning: variable 'pivot' set but not used [-Wunused-but-set-variable]
  389 |   int i, j, k, n, t, pivot, Rank;
      |                      ^~~~~
source/polylib_mod/alpha.c: In function 'int PolyhedronTSort(Polyhedron**, unsigned int, unsigned int, unsigned int, int*, int*, unsigned int)':
source/polylib_mod/alpha.c:648:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  648 |       if (time[i]==t) {
      |           ~~~~~~~^~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/Zpolyhedron.c -o build/polylib_mod/Zpolyhedron.o
source/polylib_mod/Zpolyhedron.c: In function 'ZPolyhedron* SplitZpolyhedron(ZPolyhedron*, Lattice*)':
source/polylib_mod/Zpolyhedron.c:973:12: warning: unused variable 'Intersection' [-Wunused-variable]
  973 |   Lattice *Intersection = NULL;
      |            ^~~~~~~~~~~~
source/polylib_mod/Zpolyhedron.c:974:12: warning: unused variable 'B1' [-Wunused-variable]
  974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
      |            ^~
source/polylib_mod/Zpolyhedron.c:974:24: warning: unused variable 'B2' [-Wunused-variable]
  974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
      |                        ^~
source/polylib_mod/Zpolyhedron.c:974:36: warning: unused variable 'newB1' [-Wunused-variable]
  974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
      |                                    ^~~~~
source/polylib_mod/Zpolyhedron.c:974:51: warning: unused variable 'newB2' [-Wunused-variable]
  974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
      |                                                   ^~~~~
source/polylib_mod/Zpolyhedron.c:975:11: warning: unused variable 'U' [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |           ^
source/polylib_mod/Zpolyhedron.c:975:21: warning: unused variable 'M1' [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |                     ^~
source/polylib_mod/Zpolyhedron.c:975:33: warning: unused variable 'M2' [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |                                 ^~
source/polylib_mod/Zpolyhedron.c:975:45: warning: unused variable 'M1Inverse' [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |                                             ^~~~~~~~~
source/polylib_mod/Zpolyhedron.c:975:63: warning: unused variable 'MtProduct' [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |                                                               ^~~~~~~~~
source/polylib_mod/Zpolyhedron.c:976:11: warning: unused variable 'Vinv' [-Wunused-variable]
  976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
      |           ^~~~
source/polylib_mod/Zpolyhedron.c:976:18: warning: unused variable 'V' [-Wunused-variable]
  976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
      |                  ^
source/polylib_mod/Zpolyhedron.c:976:23: warning: unused variable 'temp' [-Wunused-variable]
  976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
      |                       ^~~~
source/polylib_mod/Zpolyhedron.c:976:30: warning: unused variable 'DiagMatrix' [-Wunused-variable]
  976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
      |                              ^~~~~~~~~~
source/polylib_mod/Zpolyhedron.c:980:7: warning: unused variable 'i' [-Wunused-variable]
  980 |   int i;
      |       ^
source/polylib_mod/Zpolyhedron.c:981:9: warning: unused variable 'k' [-Wunused-variable]
  981 |   Value k;
      |         ^
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/compress_parms.c -o build/polylib_mod/compress_parms.o
source/polylib_mod/compress_parms.c: In function 'Matrix* int_ker(Matrix*)':
source/polylib_mod/compress_parms.c:73:20: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
   73 |   if (M->NbColumns <= rk) {
      |       ~~~~~~~~~~~~~^~~~~
source/polylib_mod/compress_parms.c:58:7: warning: unused variable 'i' [-Wunused-variable]
   58 |   int i, j, rk;
      |       ^
source/polylib_mod/compress_parms.c:58:10: warning: unused variable 'j' [-Wunused-variable]
   58 |   int i, j, rk;
      |          ^
In file included from source/polylib_mod/polylib/matrix_addon.h:29,
                 from source/polylib_mod/polylib/polylib.h:45,
                 from source/polylib_mod/compress_parms.c:33:
source/polylib_mod/compress_parms.c: In function 'void linearInter(Matrix*, Matrix*, Matrix**, Matrix**)':
source/polylib_mod/compress_parms.c:128:19: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  128 |   assert(B->NbRows==rk);
      |          ~~~~~~~~~^~~~
source/polylib_mod/compress_parms.c:124:9: warning: unused variable 'j' [-Wunused-variable]
  124 |   int i,j, z=0;
      |         ^
source/polylib_mod/compress_parms.c: In function 'void Equalities_integerSolution(Matrix*, Matrix**)':
source/polylib_mod/compress_parms.c:226:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  226 |   for (i=0; i< rk; i++) {
      |             ~^~~~
source/polylib_mod/compress_parms.c:243:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  243 |   for (i=rk; i< Eqs->NbColumns-2; i++) {
      |              ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c: In function 'void Equalities_intModBasis(Matrix*, Matrix*, Matrix*, Matrix**)':
source/polylib_mod/compress_parms.c:601:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  601 |   for (i=0; i< nbEqs; i++) {
      |             ~^~~~~~~
source/polylib_mod/compress_parms.c: In function 'Matrix* Constraints_Remove_parm_eqs(Matrix**, Matrix**, int, unsigned int**)':
source/polylib_mod/compress_parms.c:662:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  662 |   for (i=0; i< M->NbRows; i++) {
      |             ~^~~~~~~~~~~
source/polylib_mod/compress_parms.c:675:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  675 |   for (i=0; i< Ctxt->NbRows; i++) {
      |             ~^~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:704:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  704 |   for (i=0; i< Ctxt->NbRows; i++) {
      |             ~^~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:713:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  713 |   for (i=0; i< M->NbRows; i++) {
      |             ~^~~~~~~~~~~
source/polylib_mod/compress_parms.c:735:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  735 |   for (i=0; i< Eqs->NbRows; i++) {
      |             ~^~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:741:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  741 |       if (k==Eqs->NbColumns-1) {
      |           ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:766:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  766 |         for (j=0; j< Eqs->NbRows; j++) {
      |                   ~^~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:772:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  772 |         for (j=0; j< Ctxt->NbRows; j++) {
      |                   ~^~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:777:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  777 |         for (j=0; j< M->NbRows; j++) {
      |                   ~^~~~~~~~~~~
source/polylib_mod/compress_parms.c:802:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  802 |   for (i=0; i< M->NbRows; i++) {
      |             ~^~~~~~~~~~~
source/polylib_mod/compress_parms.c:813:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  813 |   for (i=0; i< Ctxt->NbRows; i++) {
      |             ~^~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:825:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  825 |     for (i=0; i<Eqs->NbRows; i++) {
      |               ~^~~~~~~~~~~~
source/polylib_mod/compress_parms.c:835:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  835 |     for (i=0; i<Eqs->NbRows; i++) {
      |               ~^~~~~~~~~~~~
source/polylib_mod/compress_parms.c: In function 'Matrix* full_dimensionize(const Matrix*, int, Matrix**)':
source/polylib_mod/compress_parms.c:998:16: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  998 |     for (j=0; j< nbParms; j++)
      |               ~^~~~~~~~~
source/polylib_mod/compress_parms.c:1011:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
 1011 |   for (i=0; i< nbParms; i++) {
      |             ~^~~~~~~~~
source/polylib_mod/compress_parms.c:1012:16: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
 1012 |     for (j=0; j< nbParms; j++)
      |               ~^~~~~~~~~
source/polylib_mod/compress_parms.c:1018:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
 1018 |   for (j=0; j< nbParms; j++)
      |             ~^~~~~~~~~
source/polylib_mod/compress_parms.c:912:33: warning: unused variable 'permutationInv' [-Wunused-variable]
  912 |   unsigned int * permutation, * permutationInv;
      |                                 ^~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/errormsg.c -o build/polylib_mod/errormsg.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/errors.c -o build/polylib_mod/errors.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/eval_ehrhart.c -o build/polylib_mod/eval_ehrhart.o
source/polylib_mod/eval_ehrhart.c: In function 'int in_domain(Polyhedron*, Value*)':
source/polylib_mod/eval_ehrhart.c:57:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
   57 |   for(row=0;row<P->NbConstraints;row++) {
      |             ~~~^~~~~~~~~~~~~~~~~
source/polylib_mod/eval_ehrhart.c:59:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
   59 |     for(col=1;col<P->Dimension+1;col++) {
      |               ~~~^~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/ehrhart.c -o build/polylib_mod/ehrhart.o
source/polylib_mod/ehrhart.c: In function 'void addeliminatedparams_evalue(evalue*, Matrix*)':
source/polylib_mod/ehrhart.c:602:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  602 |     for(i=0;i<CT->NbRows-1;i++)
      |             ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:603:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  603 |         for(j=0;j<CT->NbColumns;j++)
      |                 ~^~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function 'int cherche_min(Value*, Polyhedron*, int)':
source/polylib_mod/ehrhart.c:644:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  644 |     if(pos > D->Dimension)
      |        ~~~~^~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function 'Polyhedron* Polyhedron_Preprocess(Polyhedron*, Value*, unsigned int)':
source/polylib_mod/ehrhart.c:758:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  758 |     for(i=0;i<D->NbConstraints;i++)
      |             ~^~~~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:771:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  771 |     for(i=0;i<D->NbConstraints;i++) {
      |             ~^~~~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function 'Polyhedron* Polyhedron_Preprocess2(Polyhedron*, Value*, Value*, unsigned int)':
source/polylib_mod/ehrhart.c:928:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  928 |     for(i=0;i<D->Dimension;i++) {
      |             ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:932:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  932 |         for(j=0;j<D->Dimension;j++)
      |                 ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:935:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  935 |         for(r=1;r<D->NbRays;r++) {
      |                 ~^~~~~~~~~~
source/polylib_mod/ehrhart.c:948:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  948 |         for(j=0;j<D->Dimension;j++)
      |                 ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:955:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  955 |         for(r=1;r<D->NbRays;r++) {
      |                 ~^~~~~~~~~~
source/polylib_mod/ehrhart.c:1029:9: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1029 |     if(i!=D->Dimension) {
      |        ~^~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:1035:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1035 |     for(i=0;i<D->Dimension;i++) {
      |             ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function 'void Scan_Vertices(Param_Polyhedron*, Param_Domain*, Matrix*, Value*, int, const char**)':
source/polylib_mod/ehrhart.c:1694:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1694 |       for(j=0;j<V->Vertex->NbRows;j++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:1696:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1696 |         for( l=0 ; l<V->Vertex->NbColumns-1 ; l++ )
      |                    ~^~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function 'Enumeration* Enumerate_NoParameters(Polyhedron*, Polyhedron*, Matrix*, Polyhedron*, unsigned int, const char**)':
source/polylib_mod/ehrhart.c:1784:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1784 |     for(r=0;r<P->NbRays;++r) {
      |             ~^~~~~~~~~~
source/polylib_mod/ehrhart.c:1790:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1790 |         for(i=1;i<P->Dimension;i++) {
      |                 ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function 'Enumeration* Polyhedron_Enumerate(Polyhedron*, Polyhedron*, unsigned int, const char**)':
source/polylib_mod/ehrhart.c:2052:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2052 |       for(r=0;r<CQ->NbRays;r++) {
      |               ~^~~~~~~~~~~
source/polylib_mod/ehrhart.c:2057:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2057 |       if(r==CQ->NbRays) {
      |          ~^~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function 'Enumeration* Ehrhart_Quick_Apx_Full_Dim(Polyhedron*, Polyhedron*, unsigned int, const char**)':
source/polylib_mod/ehrhart.c:2486:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2486 |       for(r=0;r<CQ->NbRays;r++) {
      |               ~^~~~~~~~~~~
source/polylib_mod/ehrhart.c:2491:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2491 |       if(r==CQ->NbRays) {
      |          ~^~~~~~~~~~~~
source/polylib_mod/ehrhart.c:2288:9: warning: unused variable 'j' [-Wunused-variable]
 2288 |   int i,j,hdim, dim, nb_param, np;
      |         ^
source/polylib_mod/ehrhart.c:2296:20: warning: unused variable 'V_tmp' [-Wunused-variable]
 2296 |   Param_Vertices * V_tmp;
      |                    ^~~~~
source/polylib_mod/ehrhart.c: In function 'const char** parmsWithoutElim(const char**, const unsigned int*, unsigned int)':
source/polylib_mod/ehrhart.c:2742:14: warning: comparison of integer expressions of different signedness: 'int' and 'const unsigned int' [-Wsign-compare]
 2742 |   for (k=1; k<= elimParms[0]; k++) {
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:2743:13: warning: comparison of integer expressions of different signedness: 'int' and 'const unsigned int' [-Wsign-compare]
 2743 |     while (i!=elimParms[k]) {
      |            ~^~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:2739:12: warning: unused variable 'j' [-Wunused-variable]
 2739 |   int i=0, j=0,k;
      |            ^
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/homogenization.c -o build/polylib_mod/homogenization.o
source/polylib_mod/homogenization.c: In function 'void dehomogenize_enode(enode*, int)':
source/polylib_mod/homogenization.c:78:11: warning: unused variable 'temp' [-Wunused-variable]
   78 |   evalue *temp;
      |           ^~~~
source/polylib_mod/homogenization.c: In function 'evalue* dehomogenize_polynomial(enode*)':
source/polylib_mod/homogenization.c:106:10: warning: variable 'som' set but not used [-Wunused-but-set-variable]
  106 |   double som;
      |          ^~~
source/polylib_mod/homogenization.c: In function 'Polyhedron* dehomogenize_polyhedron(Polyhedron*, int)':
source/polylib_mod/homogenization.c:161:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  161 |   for (i = 0; i < constr->NbRows; i++){
      |               ~~^~~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/ext_ehrhart.c -o build/polylib_mod/ext_ehrhart.o
source/polylib_mod/ext_ehrhart.c: In function 'Matrix* CalcBase(Matrix*)':
source/polylib_mod/ext_ehrhart.c:58:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
   58 |         for( l=0 ; l<R->NbRows ; ++l )
      |                    ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:66:39: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
   66 |                         for( j=l+1 ; j<R->NbRows ; ++j )
      |                                      ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:81:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
   81 |         for( l=0 ; l<R->NbRows ; ++l )
      |                    ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:117:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  117 |                 for( i=0 ; i<R->NbRows ; ++i )
      |                            ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:121:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  121 |                 for( i=0 ; i<R->NbRows && value_zero_p(B->p[u][i]); ++i )
      |                            ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:123:22: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  123 |                 if( i<R->NbRows )
      |                     ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:127:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  127 |                 for( i=0 ; i<R->NbRows ; ++i )
      |                            ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function 'int existepivot(Matrix*, int)':
source/polylib_mod/ext_ehrhart.c:222:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  222 |         for( j=l ; j<R->NbRows ; ++j )
      |                    ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function 'void swap_line(Matrix*, int, int)':
source/polylib_mod/ext_ehrhart.c:247:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  247 |                 for(i = 0;i < R->NbColumns;i ++)
      |                           ~~^~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function 'void Soustraire_ligne(Matrix*, int, int, int)':
source/polylib_mod/ext_ehrhart.c:299:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  299 |         for(i = piv + 1;i < R->NbColumns;i ++)
      |                         ~~^~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:307:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  307 |         for( i=piv+1 ; i<R->NbColumns && p!=0 ; i++ )
      |                        ~^~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function 'Matrix* Reduce_Matrix(Matrix*)':
source/polylib_mod/ext_ehrhart.c:518:22: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  518 |            for (i=0;i<Mat->NbColumns; i++)  {
      |                     ~^~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:521:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  521 |            for (i=0; i<Mat->NbRows-1; i++)  {
      |                      ~^~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function 'void Scalar_product(Value*, Value*, unsigned int, Value*)':
source/polylib_mod/ext_ehrhart.c:540:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  540 |                for (i=0;i<length;i++) {
      |                         ~^~~~~~~
source/polylib_mod/ext_ehrhart.c: In function 'Matrix* Orthogonal_Base(Matrix*)':
source/polylib_mod/ext_ehrhart.c:567:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  567 |   for(k=0; k<length; k++)  {
      |            ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:573:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  573 |   for(i=1; i<Mat->NbRows; i++)  {
      |            ~^~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:574:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  574 |     for(k=0;k<length;k++)  {
      |             ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:580:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  580 |       for(k=0;k<length;k++)  {
      |               ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:589:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  589 |       for(k=0;k<length;k++) {
      |               ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:598:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  598 |         for(k=0;k<length;k++) {
      |                 ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:605:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  605 |       for(k=0;k<length;k++) {
      |               ~^~~~~~~
source/polylib_mod/ext_ehrhart.c: In function 'Enumeration* Domain_Enumerate(Polyhedron*, Polyhedron*, unsigned int, const char**)':
source/polylib_mod/ext_ehrhart.c:707:23: warning: unused variable 'pr' [-Wunused-variable]
  707 |       Enumeration *e,*pr,*en,*en1, *en2,*tmp, *res, *sen;
      |                       ^~
source/polylib_mod/ext_ehrhart.c: In function 'Enumeration* Polyhedron_Image_Enumerate(Polyhedron*, Polyhedron*, Matrix*, unsigned int, const char**)':
source/polylib_mod/ext_ehrhart.c:879:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  879 |                for (i=0;i<Tred->NbRows;i++) {
      |                         ~^~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:880:32: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  880 |                     for (j=0; j<Tred->NbColumns;j++) {
      |                               ~^~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:884:36: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  884 |                for(i=Tred->NbRows;i<Tred->NbColumns;i++) {
      |                                   ~^~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:885:32: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  885 |                      for (j=0;j<Tred->NbColumns;j++) {
      |                               ~^~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:930:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  930 |             for (k=0;k<d1->NbRows;k++) {
      |                      ~^~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:936:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  936 |           for (j=0;j<D->NbConstraints;j++)  {
      |                    ~^~~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:937:28: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  937 |                  for (k=0;k<=D->Dimension-1;k++) {
      |                           ~^~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:951:34: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  951 |                        for (k=1;k<=D->Dimension;k++) {
      |                                 ~^~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/matrix_addon.c -o build/polylib_mod/matrix_addon.o
source/polylib_mod/matrix_addon.c: In function 'void Matrix_identity(unsigned int, Matrix**)':
source/polylib_mod/matrix_addon.c:106:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  106 |     for (i=0; i< dim; i++) {
      |               ~^~~~~
source/polylib_mod/matrix_addon.c:107:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  107 |       for (j=0; j< dim; j++) {
      |                 ~^~~~~
In file included from source/polylib_mod/polylib/matrix_addon.h:29,
                 from source/polylib_mod/polylib/polylib.h:45,
                 from source/polylib_mod/matrix_addon.c:28:
source/polylib_mod/matrix_addon.c: In function 'Matrix* mtransformation_expand_left_to_dim(Matrix*, int)':
source/polylib_mod/matrix_addon.c:160:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  160 |   assert(new_dim>=M->NbColumns);
      |          ~~~~~~~^~~~~~~~~~~~~~
source/polylib_mod/matrix_addon.c: In function 'void mpolyhedron_simplify(Matrix*)':
source/polylib_mod/matrix_addon.c:176:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  176 |   for (i=0; i< polyh->NbRows; i++) {
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/matrix_addon.c:173:10: warning: unused variable 'j' [-Wunused-variable]
  173 |   int i, j;
      |          ^
source/polylib_mod/matrix_addon.c: In function 'void eliminate_var_with_constr(Matrix*, unsigned int, Matrix*, unsigned int, unsigned int)':
source/polylib_mod/matrix_addon.c:272:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  272 |     for (k=1; k<Victim->NbColumns; k++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/matrix_addon.c: In function 'void Matrix_copySubMatrix(Matrix*, unsigned int, unsigned int, unsigned int, unsigned int, Matrix*, unsigned int, unsigned int)':
source/polylib_mod/matrix_addon.c:400:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  400 |   for (i=0; i< nbR; i++) {
      |             ~^~~~~
source/polylib_mod/matrix_addon.c: In function 'void Matrix_oppose(Matrix*)':
source/polylib_mod/matrix_addon.c:411:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  411 |   for (i=0; i<M->NbRows; i++) {
      |             ~^~~~~~~~~~
source/polylib_mod/matrix_addon.c:412:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  412 |     for (j=0; j< M->NbColumns; j++) {
      |               ~^~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/matrix_permutations.c -o build/polylib_mod/matrix_permutations.o
source/polylib_mod/matrix_permutations.c: In function 'unsigned int* permutation_inverse(unsigned int*, unsigned int)':
source/polylib_mod/matrix_permutations.c:54:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
   54 |   for (i=0; i< nb_elems; i++) inv_perm[perm[i]] = i;
      |             ~^~~~~~~~~~
source/polylib_mod/matrix_permutations.c: In function 'long long unsigned int eliminable_vars(Matrix*, unsigned int, unsigned int)':
source/polylib_mod/matrix_permutations.c:138:12: warning: unused variable 'M' [-Wunused-variable]
  138 |   Matrix * M, * H, * Q, *U;
      |            ^
source/polylib_mod/matrix_permutations.c: In function 'unsigned int* find_a_permutation(Matrix*, unsigned int)':
source/polylib_mod/matrix_permutations.c:229:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  229 |   for (i=0; i< nb_vars; i++) {
      |             ~^~~~~~~~~
source/polylib_mod/matrix_permutations.c:214:19: warning: unused variable 'j' [-Wunused-variable]
  214 |   unsigned int i, j, k;
      |                   ^
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/param.c -o build/polylib_mod/param.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/matrix.c -o build/polylib_mod/matrix.o
source/polylib_mod/matrix.c:153:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
  153 |         value_print(Dst," "P_VALUE_FMT" ",*p++);
      |                         ^
source/polylib_mod/matrix.c:915:41: warning: "/*" within comment [-Wcomment]
  915 |     /* value_set_si(MatInv->p[i][k],1); /* denum */
      |                                          
source/polylib_mod/matrix.c: In function 'Matrix* Matrix_Alloc(unsigned int, unsigned int)':
source/polylib_mod/matrix.c:78:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
   78 |       for (i=0;i<NbRows;i++) {
      |                ~^~~~~~~
source/polylib_mod/matrix.c:49:9: warning: unused variable 'j' [-Wunused-variable]
   49 |   int i,j;
      |         ^
source/polylib_mod/matrix.c: In function 'void Matrix_Extend(Matrix*, unsigned int)':
source/polylib_mod/matrix.c:114:24: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  114 |   if (Mat->p_Init_size < NbRows * Mat->NbColumns) {
      |       ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/matrix.c:123:34: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  123 |     for (i = Mat->p_Init_size; i < Mat->NbColumns*NbRows; ++i)
      |                                ~~^~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/matrix.c:129:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  129 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/matrix.c:106:9: warning: unused variable 'j' [-Wunused-variable]
  106 |   int i,j;
      |         ^
source/polylib_mod/matrix.c: In function 'void Matrix_Print(FILE*, const char*, Matrix*)':
source/polylib_mod/matrix.c:149:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  149 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/matrix.c:151:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  151 |     for (j=0;j<NbColumns;j++) {
      |              ~^~~~~~~~~~
source/polylib_mod/matrix.c: In function 'void Matrix_Read_Input(Matrix*)':
source/polylib_mod/matrix.c:173:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  173 |   for (i=0;i<Mat->NbRows;i++) {
      |            ~^~~~~~~~~~~~
source/polylib_mod/matrix.c:184:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  184 |     for (j=0;j<Mat->NbColumns;j++) {
      |              ~^~~~~~~~~~~~~~~
source/polylib_mod/matrix.c: In function 'void right_hermite(Matrix*, Matrix**, Matrix**, Matrix**)':
source/polylib_mod/matrix.c:438:21: warning: variable 'rank' set but not used [-Wunused-but-set-variable]
  438 |   int i, j, nr, nc, rank;
      |                     ^~~~
source/polylib_mod/matrix.c: In function 'void left_hermite(Matrix*, Matrix**, Matrix**, Matrix**)':
source/polylib_mod/matrix.c:508:21: warning: variable 'rank' set but not used [-Wunused-but-set-variable]
  508 |   int i, j, nc, nr, rank;
      |                     ^~~~
source/polylib_mod/matrix.c: In function 'void rat_prodmat(Matrix*, Matrix*, Matrix*)':
source/polylib_mod/matrix.c:733:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  733 |   for(k=1;k<P->NbRows;++k) {
      |           ~^~~~~~~~~~
source/polylib_mod/matrix.c:742:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  742 |   for(i=0;i<X->NbRows;++i)
      |           ~^~~~~~~~~~
source/polylib_mod/matrix.c:743:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  743 |     for(j=0;j<P->NbColumns-1;++j) {
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/matrix.c:747:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  747 |       for(k=0;k<P->NbRows;++k) {
      |               ~^~~~~~~~~~
source/polylib_mod/matrix.c:766:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  766 |   for(i=0;i<S->NbRows;++i) {
      |           ~^~~~~~~~~~
source/polylib_mod/matrix.c:723:14: warning: variable 'old_lcm' set but not used [-Wunused-but-set-variable]
  723 |   Value lcm, old_lcm,gcd,last_column_entry,s1;
      |              ^~~~~~~
source/polylib_mod/matrix.c: In function 'void Matrix_Product(Matrix*, Matrix*, Matrix*)':
source/polylib_mod/matrix.c:855:18: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  855 |   if(Mat2->NbRows!=Size||Mat3->NbRows!=NbRows||Mat3->NbColumns!=NbColumns) {
      |      ~~~~~~~~~~~~^~~~~~
source/polylib_mod/matrix.c:865:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  865 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/matrix.c:866:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  866 |     for (j=0;j<NbColumns;j++) {
      |              ~^~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/polyparam.c -o build/polylib_mod/polyparam.o
source/polylib_mod/polyparam.c: In function 'Polyhedron* PDomainDifference(Polyhedron*, Polyhedron*, unsigned int)':
source/polylib_mod/polyparam.c:124:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  124 |       for (i=0; i<p2->NbConstraints; i++) {
      |                 ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'int TestRank(Matrix*)':
source/polylib_mod/polyparam.c:160:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  160 |   for(k=0;k<Mat->NbColumns;++k) {
      |           ~^~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:165:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  165 |       for(j=k+1;j<Mat->NbRows;++j) {
      |                 ~^~~~~~~~~~~~
source/polylib_mod/polyparam.c:171:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  171 |           for(i=k;i<Mat->NbColumns;++i) {
      |                   ~^~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:182:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  182 |       if(j>=Mat->NbRows) {
      |          ~^~~~~~~~~~~~~
source/polylib_mod/polyparam.c:192:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  192 |     for(j=k+1;j<Mat->NbRows;++j) {
      |               ~^~~~~~~~~~~~
source/polylib_mod/polyparam.c:196:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  196 |       for(i=k+1;i<Mat->NbColumns;++i) {
      |                 ~^~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'void SMPrint(SatMatrix*)':
source/polylib_mod/polyparam.c:259:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  259 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyparam.c:261:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  261 |     for (j=0;j<NbColumns;j++)
      |              ~^~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'void traite_m_face(Polyhedron*, unsigned int*, unsigned int*)':
source/polylib_mod/polyparam.c:378:28: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  378 |   for(k=0,c=0,kx=0,bx=MSB;k<D->NbRays;++k) {
      |                           ~^~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'int count_sat(unsigned int*)':
source/polylib_mod/polyparam.c:544:25: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
  544 |   register unsigned int i, tmp, cnt=0;
      |                         ^
source/polylib_mod/polyparam.c:544:28: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
  544 |   register unsigned int i, tmp, cnt=0;
      |                            ^~~
source/polylib_mod/polyparam.c:544:33: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
  544 |   register unsigned int i, tmp, cnt=0;
      |                                 ^~~
source/polylib_mod/polyparam.c:546:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  546 |   for (i=0; i<nr; i++) {
      |             ~^~~
source/polylib_mod/polyparam.c: In function 'void scan_m_face(int, int, Polyhedron*, unsigned int*)':
source/polylib_mod/polyparam.c:663:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  663 |     for (i = pos; i < D->NbConstraints; ++i) {
      |                   ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:670:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  670 |     for (i = pos; i < D->NbConstraints; ++i)
      |                   ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:676:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  676 |   if((pos+nb_un)>D->NbConstraints) return;
      |      ~~~~~~~~~~~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:716:42: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  716 |                     for (i = 0, c = 0; i < D->NbConstraints; ++i) {
      |                                        ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:717:59: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  717 |                         if (egalite[i] == 0 || egalite[i] == -1)
      |                                                ~~~~~~~~~~~^~~~~
source/polylib_mod/polyparam.c:719:39: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  719 |                         for (j = 0; j < D->Dimension+1; ++j)
      |                                     ~~^~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:746:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  746 |  if ((pos+nb_un)>=D->NbConstraints) return;
      |      ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'SatMatrix* Poly2Sat(Polyhedron*, unsigned int**)':
source/polylib_mod/polyparam.c:778:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  778 |   for (k=0; k<NbRay; k++) {
      |             ~^~~~~~
source/polylib_mod/polyparam.c:779:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  779 |     for (i=0; i<NbCon; i++) {
      |               ~^~~~~~
source/polylib_mod/polyparam.c:783:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  783 |       for (j=0;j<Dimension;j++) {
      |                ~^~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'Matrix* PreElim_Columns(Polyhedron*, int*, int*, int)':
source/polylib_mod/polyparam.c:899:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  899 |   for(l=0;l<E->NbEq;++l) {
      |           ~^~~~~~~~
source/polylib_mod/polyparam.c:906:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  906 |       if(i==E->Dimension+1) {
      |          ~^~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:920:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  920 |   for(i=0;i<E->Dimension+2-E->NbEq;++i) {
      |           ~^~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:922:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  922 |     for(j=0;j<E->NbEq;++j)
      |             ~^~~~~~~~
source/polylib_mod/polyparam.c:933:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  933 |   for(i=0;i<T->NbColumns;i++)
      |           ~^~~~~~~~~~~~~
source/polylib_mod/polyparam.c:934:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  934 |     for(j=0;j<T->NbRows;j++)
      |             ~^~~~~~~~~~
source/polylib_mod/polyparam.c:935:34: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  935 |       if(ref[E->Dimension-m+j+1] == E->Dimension-m+i+1)
      |          ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'Polyhedron* Elim_Columns(Polyhedron*, Polyhedron*, int*, int*)':
source/polylib_mod/polyparam.c:973:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  973 |   for(l=0;l<E->NbEq;++l) {
      |           ~^~~~~~~~
source/polylib_mod/polyparam.c:974:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  974 |     for(c=0;c<M->NbRows;++c) {
      |             ~^~~~~~~~~~
source/polylib_mod/polyparam.c:978:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  978 |         for(i=1;i<M->NbColumns;++i) {
      |                 ~^~~~~~~~~~~~~
source/polylib_mod/polyparam.c:995:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  995 |   for(l=0;l<C->NbRows;++l)
      |           ~^~~~~~~~~~
source/polylib_mod/polyparam.c:996:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  996 |     for(c=0;c<C->NbColumns;++c) {
      |             ~^~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'Polyhedron* Recession_Cone(Polyhedron*, unsigned int, unsigned int)':
source/polylib_mod/polyparam.c:1019:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1019 |     for (i = 0; i < P->NbConstraints; ++i)
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'int ComputeNPLinesRays(int, Polyhedron*, Matrix**)':
source/polylib_mod/polyparam.c:1042:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1042 |   for (i = 0; i < RC->NbRays ;i++)
      |               ~~^~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'Param_Polyhedron* Find_m_faces(Polyhedron**, Polyhedron*, int, int, Polyhedron**, Matrix**)':
source/polylib_mod/polyparam.c:1157:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1157 |       for(j=0,i=0;i<C1->NbEq;++i,++j) {
      |                   ~^~~~~~~~~
source/polylib_mod/polyparam.c:1185:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1185 |     for(i=0;i<C1->NbConstraints;++i) {
      |             ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:1287:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1287 |   for (i=0; i<D1->NbEq; i++)
      |             ~^~~~~~~~~
source/polylib_mod/polyparam.c:1310:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1310 |   if (m_dim < D1->NbBid)
      |       ~~~~~~^~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'void Print_Vertex(FILE*, Matrix*, const char**)':
source/polylib_mod/polyparam.c:1603:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1603 |   for(l=0;l<V->NbRows;++l){
      |           ~^~~~~~~~~~
source/polylib_mod/polyparam.c:1608:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1608 |     for(v=0;v < V->NbColumns-2;++v) {
      |             ~~^~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:1639:7: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
 1639 |       if(value_posz_p(V->p[l][v]) && !first)
      |       ^~
In file included from source/polylib_mod/polylib/polylib.h:25,
                 from source/polylib_mod/polyparam.c:51:
source/polylib_mod/polylib/arithmetique.h:532:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
  532 | #define value_gcd(ref,val1,val2)        Gcd((val1),(val2),&(ref))
      |                                         ^~~
source/polylib_mod/polyparam.c:1641:9: note: in expansion of macro 'value_gcd'
 1641 |         value_gcd(gcd, V->p[l][v], V->p[l][V->NbColumns-1]);
      |         ^~~~~~~~~
source/polylib_mod/polyparam.c:1651:10: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1651 |     if (l<V->NbRows-1)
      |         ~^~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'Matrix* VertexCT(Matrix*, Matrix*)':
source/polylib_mod/polyparam.c:1672:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1672 |     for(i=0;i<V->NbRows;++i) {
      |             ~^~~~~~~~~~
source/polylib_mod/polyparam.c:1674:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1674 |       for(j=0;j<CT->NbColumns;j++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:1675:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1675 |         for(k=0;k<CT->NbRows;k++)
      |                 ~^~~~~~~~~~~
source/polylib_mod/polyparam.c:1678:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1678 |         if(k<CT->NbRows)
      |            ~^~~~~~~~~~~
source/polylib_mod/polyparam.c: In function 'void Print_Domain(FILE*, Polyhedron*, const char**)':
source/polylib_mod/polyparam.c:1701:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1701 |   for(l=0;l<D->NbConstraints;++l) {
      |           ~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:1704:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1704 |     for(v=1;v<=D->Dimension;++v) {
      |             ~^~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: At global scope:
source/polylib_mod/polyparam.c:252:13: warning: 'void SMPrint(SatMatrix*)' defined but not used [-Wunused-function]
  252 | static void SMPrint (SatMatrix *matrix) {
      |             ^~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/ranking.c -o build/polylib_mod/ranking.o
source/polylib_mod/ranking.c: In function 'Polyhedron* LexSmaller(Polyhedron*, Polyhedron*, unsigned int, Polyhedron*, unsigned int)':
source/polylib_mod/ranking.c:54:15: warning: unused variable 'j' [-Wunused-variable]
   54 |   unsigned i, j, k, r;
      |               ^
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/vector.c -o build/polylib_mod/vector.o
source/polylib_mod/vector.c: In function 'int First_Non_Zero(Value*, unsigned int)':
source/polylib_mod/vector.c:143:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  143 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c:148:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  148 |   return((i==length) ? -1 : i );
      |           ~^~~~~~~~
source/polylib_mod/vector.c: In function 'Vector* Vector_Alloc(unsigned int)':
source/polylib_mod/vector.c:171:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  171 |   for(i=0;i<length;i++)
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Free(Vector*)':
source/polylib_mod/vector.c:184:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  184 |   for(i=0;i<vector->Size;i++)
      |           ~^~~~~~~~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Print(FILE*, const char*, Vector*)':
source/polylib_mod/vector.c:201:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  201 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function 'Vector* Vector_Read()':
source/polylib_mod/vector.c:230:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  230 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Set(Value*, int, unsigned int)':
source/polylib_mod/vector.c:246:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  246 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Exchange(Value*, Value*, unsigned int)':
source/polylib_mod/vector.c:260:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  260 |   for(i=0;i<length;i++) {
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Copy(Value*, Value*, unsigned int)':
source/polylib_mod/vector.c:277:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  277 |   for(i=0;i<length;i++)
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Add(Value*, Value*, Value*, unsigned int)':
source/polylib_mod/vector.c:294:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  294 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Sub(Value*, Value*, Value*, unsigned int)':
source/polylib_mod/vector.c:313:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  313 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Or(Value*, Value*, Value*, unsigned int)':
source/polylib_mod/vector.c:332:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  332 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Scale(Value*, Value*, Value, unsigned int)':
source/polylib_mod/vector.c:350:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  350 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_AntiScale(Value*, Value*, Value, unsigned int)':
source/polylib_mod/vector.c:366:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  366 |   for (i = 0; i < length; i++)
      |               ~~^~~~~~~~
source/polylib_mod/vector.c: In function 'void Inner_Product(Value*, Value*, unsigned int, Value*)':
source/polylib_mod/vector.c:392:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  392 |   for(i = 1; i < length; i++)
      |              ~~^~~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Max(Value*, unsigned int, Value*)':
source/polylib_mod/vector.c:407:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  407 |   for (i=1;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Min(Value*, unsigned int, Value*)':
source/polylib_mod/vector.c:424:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  424 |   for (i=1;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Combine(Value*, Value*, Value*, Value, Value, unsigned int)':
source/polylib_mod/vector.c:441:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  441 |   for (i = 0; i < length; i++) {
      |               ~~^~~~~~~~
source/polylib_mod/vector.c: In function 'int Vector_Equal(Value*, Value*, unsigned int)':
source/polylib_mod/vector.c:457:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  457 |   for (i = 0; i < n; ++i)
      |               ~~^~~
source/polylib_mod/vector.c: In function 'void Vector_Min_Not_Zero(Value*, unsigned int, int*, Value*)':
source/polylib_mod/vector.c:483:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  483 |   for (i = i+1; i < length; i++) {
      |                 ~~^~~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Gcd(Value*, unsigned int, Value*)':
source/polylib_mod/vector.c:506:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  506 |   for(i=0;i<length;i++)
      |           ~^~~~~~~
source/polylib_mod/vector.c:512:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  512 |   for (cq = q,i=0;i<length;i++) {
      |                   ~^~~~~~~
source/polylib_mod/vector.c:525:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  525 |       for (i=0;i<length;i++,cq++)
      |                ~^~~~~~~
source/polylib_mod/vector.c:538:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  538 |   for(i=0;i<length;i++)
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Map(Value*, Value*, Value*, unsigned int, Value* (*)(Value, Value))':
source/polylib_mod/vector.c:556:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  556 |   for(i=0;i<length;i++) {
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Normalize(Value*, unsigned int)':
source/polylib_mod/vector.c:571:7: warning: unused variable 'i' [-Wunused-variable]
  571 |   int i;
      |       ^
source/polylib_mod/vector.c: In function 'void Vector_Normalize_Positive(Value*, int, int)':
source/polylib_mod/vector.c:590:7: warning: unused variable 'i' [-Wunused-variable]
  590 |   int i;
      |       ^
source/polylib_mod/vector.c: In function 'void Vector_Reduce(Value*, unsigned int, void (*)(Value, Value*), Value*)':
source/polylib_mod/vector.c:611:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  611 |   for(i=1;i<length;i++) {
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function 'void Vector_Sort(Value*, unsigned int)':
source/polylib_mod/vector.c:636:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  636 |     while (j<=(n-1)/2) {
      |            ~^~~~~~~~~
source/polylib_mod/vector.c:641:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  641 |       if ((j<<1)+2>=n) {
      |           ~~~~~~~~^~~
source/polylib_mod/vector.c: In function 'Vector* Vector_Read()':
source/polylib_mod/vector.c:223:8: warning: ignoring return value of 'int scanf(const char*, ...)' declared with attribute 'warn_unused_result' [-Wunused-result]
  223 |   scanf("%d", &length);
      |   ~~~~~^~~~~~~~~~~~~~~
source/polylib_mod/vector.c:231:10: warning: ignoring return value of 'int scanf(const char*, ...)' declared with attribute 'warn_unused_result' [-Wunused-result]
  231 |     scanf("%s",str);
      |     ~~~~~^~~~~~~~~~
source/polylib_mod/vector.c: In function 'value_alloc':
source/polylib_mod/vector.c:788:26: warning: 'best' may be used uninitialized [-Wmaybe-uninitialized]
  788 |       *got = cache[best].size;
      |              ~~~~~~~~~~~~^~~~
source/polylib_mod/vector.c:771:11: note: 'best' was declared here
  771 |       int best;
      |           ^~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -c source/polylib_mod/polyhedron.c -o build/polylib_mod/polyhedron.o
source/polylib_mod/polyhedron.c: In function 'void SMPrint(SatMatrix*)':
source/polylib_mod/polyhedron.c:169:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  169 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyhedron.c:171:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  171 |     for (j=0;j<NbColumns;j++)
      |              ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'void SatVector_OR(int*, int*, int*, unsigned int)':
source/polylib_mod/polyhedron.c:188:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  188 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyhedron.c: In function 'SatMatrix* TransformSat(Matrix*, Matrix*, SatMatrix*)':
source/polylib_mod/polyhedron.c:280:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  280 |   for(i=0,jx1=0,bx1=MSB; i<Ray->NbRows; i++) {
      |                          ~^~~~~~~~~~~~
source/polylib_mod/polyhedron.c:281:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  281 |     for(j=0,jx2=0,bx2=MSB; j<Mat->NbRows; j++) {
      |                            ~^~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'void SatMatrix_Extend(SatMatrix*, Matrix*, unsigned int)':
source/polylib_mod/polyhedron.c:370:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  370 |   for (i = 0; i < rows; ++i)
      |               ~~^~~~~~
source/polylib_mod/polyhedron.c: In function 'int Chernikova(Matrix*, Matrix*, SatMatrix*, unsigned int, unsigned int, unsigned int, unsigned int)':
source/polylib_mod/polyhedron.c:430:30: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  430 |     for (k=FirstConstraint; k<NbConstraints; k++) {
      |                             ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:438:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  438 |       for (i=0; i<NbRay; i++) {
      |                 ~^~~~~~
source/polylib_mod/polyhedron.c:446:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  446 |         for (j=1; j<Dimension; j++) {
      |                   ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:466:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  466 |       if (index_non_zero<NbBid) {
      |           ~~~~~~~~~~~~~~^~~~~~
source/polylib_mod/polyhedron.c:470:18: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  470 |         if (NbBid!=index_non_zero)
      |             ~~~~~^~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:486:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  486 |         for (i=0; i<NbBid; i++)
      |                   ~^~~~~~
source/polylib_mod/polyhedron.c:495:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  495 |           for (j=0;j<Dimension+1; j++) {
      |                    ~^~~~~~~~~~~~
source/polylib_mod/polyhedron.c:514:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  514 |         for (i=NbBid+1; i<NbRay; i++)
      |                         ~^~~~~~
source/polylib_mod/polyhedron.c:520:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  520 |           for (j=0;j<sat_nbcolumns;j++) {
      |                    ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:580:24: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  580 |             for (l=0; l<jx; l++) {
      |                       ~^~~
source/polylib_mod/polyhedron.c:603:30: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  603 |               for (m=NbBid; m<bound; m++)
      |                             ~^~~~~~
source/polylib_mod/polyhedron.c:604:23: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  604 |                 if ((m!=i)&&(m!=j)) {
      |                      ~^~~
source/polylib_mod/polyhedron.c:604:31: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  604 |                 if ((m!=i)&&(m!=j)) {
      |                              ~^~~
source/polylib_mod/polyhedron.c:618:30: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  618 |                   for (l=0; l<=jx; l++,ip2++,ip1++)
      |                             ~^~~~
source/polylib_mod/polyhedron.c:621:24: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  621 |                   if (l>jx) {
      |                       ~^~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* Remove_Redundants(Matrix*, Matrix*, SatMatrix*, unsigned int*)':
source/polylib_mod/polyhedron.c:918:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  918 |     for (j=0; j<NbConstraints; j++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:933:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  933 |     for (i=0; i<NbRay; i++) {
      |               ~^~~~~~
source/polylib_mod/polyhedron.c:969:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  969 |     for (j=0; j<NbConstraints; j++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:996:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
  996 |         for (i=0; i<NbRay; i++)
      |                   ~^~~~~~
source/polylib_mod/polyhedron.c:1011:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1011 |         if (j==NbConstraints) continue;
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1020:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1020 |       for (i=0; i<NbRay; i++)
      |                 ~^~~~~~
source/polylib_mod/polyhedron.c:1037:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1037 |     for (i=0; i<NbRay; i++) {
      |               ~^~~~~~
source/polylib_mod/polyhedron.c:1068:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1068 |     for (i=0; i<NbEq; i++) {
      |               ~^~~~~
source/polylib_mod/polyhedron.c:1074:65: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1074 |         for (k=i+1; value_cmp_si(Mat->p[k][0], NbRay) != 0 && k < NbConstraints; k++)
      |                                                               ~~^~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1076:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1076 |         if (k==NbConstraints) /* If none found then error */ break;
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1102:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1102 |       for (i = 0; i < NbEq; i++) {
      |                   ~~^~~~~~
source/polylib_mod/polyhedron.c:1110:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1110 |       for (i=0; i<NbEq; i++) {
      |                 ~^~~~~
source/polylib_mod/polyhedron.c:1114:22: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1114 |         for (j=i+1; j<NbEq; j++) {
      |                     ~^~~~~
source/polylib_mod/polyhedron.c:1167:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1167 |     for (i=0, k=NbRay; i<NbBid && k>i; i++) {
      |                        ~^~~~~~
source/polylib_mod/polyhedron.c:1228:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1228 |     for (j=0; j<NbConstraints; j++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1275:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1275 |     for (j=0; j<NbRay; j++) {
      |               ~^~~~~~
source/polylib_mod/polyhedron.c:1356:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1356 |     for (j=NbEq; j<NbConstraints; j++) {
      |                  ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1360:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1360 |         for (k=0; k<sat_nbcolumns; k++) Trace[k]=0;  /* init Trace */
      |                   ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1364:24: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1364 |         for (i=NbBid; i<NbRay; i++)
      |                       ~^~~~~~
source/polylib_mod/polyhedron.c:1369:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1369 |               for (k=0; k<sat_nbcolumns; k++) Trace[k] |= Sat->p[i][k];
      |                         ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1376:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1376 |         for (i=NbEq; i<NbConstraints; i++) {
      |                      ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1439:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1439 |     for (i=NbBid; i<NbRay; i++) {
      |                   ~^~~~~~
source/polylib_mod/polyhedron.c:1446:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1446 |           for (k=NbBid; k<NbRay; k++) Trace[k]=0;         /* init Trace */
      |                         ~^~~~~~
source/polylib_mod/polyhedron.c:1452:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1452 |           for (k=NbBid; k<NbRay; k++)
      |                         ~^~~~~~
source/polylib_mod/polyhedron.c:1459:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1459 |         for (j=NbEq; j<NbConstraints; j++)
      |                      ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1464:30: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1464 |               for (k=NbBid; k<NbRay; k++) Trace[k] |= Sat->p[k][jx[j]]&bx[j];
      |                             ~^~~~~~
source/polylib_mod/polyhedron.c:1476:24: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1476 |         for (j=NbBid; j<NbRay; j++) {
      |                       ~^~~~~~
source/polylib_mod/polyhedron.c:1498:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1498 |     if (aux>=Dim_RaySpace) {
      |         ~~~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* Polyhedron_Alloc(unsigned int, unsigned int, unsigned int)':
source/polylib_mod/polyhedron.c:1593:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1593 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyhedron.c:1560:9: warning: unused variable 'j' [-Wunused-variable]
 1560 |   int i,j;
      |         ^
source/polylib_mod/polyhedron.c: In function 'void Polyhedron_Print(FILE*, const char*, const Polyhedron*)':
source/polylib_mod/polyhedron.c:1649:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1649 |   for (i=0;i<NbConstraints;i++) {
      |            ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1658:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1658 |     for (j=1;j<Dimension;j++) {
      |              ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:1665:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1665 |   for (i=0;i<NbRays;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyhedron.c:1682:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1682 |     for (j=1; j < Dimension-1; j++) {
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* Empty_Polyhedron(unsigned int)':
source/polylib_mod/polyhedron.c:1726:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1726 |   for (i=0; i<=Dimension; i++) {
      |             ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* Universe_Polyhedron(unsigned int)':
source/polylib_mod/polyhedron.c:1766:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1766 |   for (i=0;i<=Dimension;i++) {
      |            ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'void SortConstraints(Matrix*, unsigned int)':
source/polylib_mod/polyhedron.c:1789:22: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1789 |     for (i = NbEq; i < Constraints->NbRows; ++i) {
      |                    ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1791:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1791 |         for (k = i+1; k < Constraints->NbRows; ++k) {
      |                       ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1792:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1792 |             for (j = 1; j < Constraints->NbColumns-1; ++j) {
      |                         ~~^~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1809:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1809 |             if (j == Constraints->NbColumns-1) {
      |                 ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1815:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1815 |                 if (k < Constraints->NbRows)
      |                     ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'int ImplicitEqualities(Matrix*, unsigned int)':
source/polylib_mod/polyhedron.c:1840:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1840 |     for (row = NbEq; row < Constraints->NbRows; ++row) {
      |                      ~~~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1852:33: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1852 |         for (nrow = row+1; nrow < Constraints->NbRows; ++nrow) {
      |                            ~~~~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1857:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1857 |             for (k = d; k < Constraints->NbColumns-1; ++k) {
      |                         ~~^~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1866:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1866 |             if (k == Constraints->NbColumns-1) {
      |                 ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1872:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1872 |             if (k != Constraints->NbColumns-2)
      |                 ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* Constraints2Polyhedron(Matrix*, unsigned int)':
source/polylib_mod/polyhedron.c:1936:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1936 |       for (i = 0; i < Constraints->NbRows; ++i)
      |                   ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1951:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1951 |           if (i != NbEq)
      |               ~~^~~~~~~
source/polylib_mod/polyhedron.c:1957:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1957 |         for (i = NbEq; i < Constraints->NbRows; ++i)
      |                        ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1997:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 1997 |   for (i=0; i<Dimension; i++) {
      |             ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* Rays2Polyhedron(Matrix*, unsigned int)':
source/polylib_mod/polyhedron.c:2119:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2119 |   for (i=0; i<Dimension; i++) {
      |             ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'SatMatrix* BuildSat(Matrix*, Matrix*, unsigned int, unsigned int)':
source/polylib_mod/polyhedron.c:2259:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2259 |     for (k=0; k<NbConstraints; k++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:2260:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2260 |       for (i=0; i<NbRay; i++) {
      |                 ~^~~~~~
source/polylib_mod/polyhedron.c:2268:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2268 |         for (j=0; j<Dimension; j++) {
      |                   ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:2273:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2273 |       for (j=0; j<NbRay; j++) {
      |                 ~^~~~~~
source/polylib_mod/polyhedron.c: In function 'int PolyhedronIncludes(Polyhedron*, Polyhedron*)':
source/polylib_mod/polyhedron.c:2400:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2400 |   for (k=0; k<Pol1->NbConstraints; k++) {
      |             ~^~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:2401:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2401 |     for (i=0;i<Pol2->NbRays;i++) {
      |              ~^~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* SubConstraint(Value*, Polyhedron*, unsigned int, int)':
source/polylib_mod/polyhedron.c:2530:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2530 |     for (i=1; i<Dimension; i++)
      |               ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:2532:10: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2532 |     if (i==Dimension) {
      |         ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c:2562:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2562 |       for(i=1; i<Dimension; i++)
      |                ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:2565:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2565 |       for(i=1; i<Dimension; i++)
      |                ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'void FindSimple(Polyhedron*, Polyhedron*, unsigned int*, unsigned int)':
source/polylib_mod/polyhedron.c:2946:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2946 |     for (k=0; k<P1->NbConstraints; k++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:2989:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2989 |       for(i=0;i<NbRays;i++)
      |               ~^~~~~~~
source/polylib_mod/polyhedron.c:2998:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 2998 |         for(i=0;i<NbRays;i++)
      |                 ~^~~~~~~
source/polylib_mod/polyhedron.c:3003:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3003 |       for(i=0;i<NbConstraints;i++)
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3015:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3015 |       for (k=0; k<NbConstraints; k++) {
      |                 ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3019:22: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3019 |           for (i=0; i<NbRays; i++) {
      |                     ~^~~~~~~
source/polylib_mod/polyhedron.c:3023:24: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3023 |             for (j=0; j<Dimension; j++) {
      |                       ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:3039:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3039 |         for(i=0; i<NbRays; i++)
      |                  ~^~~~~~~
source/polylib_mod/polyhedron.c:3046:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3046 |               for(k=0; k<NbConstraints; k++) {
      |                        ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3077:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3077 |         for(k=0; k<NbConstraints; k++)
      |                  ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3104:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3104 |   for(i=0;i<NbRays;i++)
      |           ~^~~~~~~
source/polylib_mod/polyhedron.c:3106:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3106 |   for(i=0;i<NbRays;i++)
      |           ~^~~~~~~
source/polylib_mod/polyhedron.c: In function 'void SimplifyEqualities(Polyhedron*, Polyhedron*, unsigned int*)':
source/polylib_mod/polyhedron.c:3236:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3236 |   for (i=NbEqn2; i<NbEqn; i++) {
      |                  ~^~~~~~
source/polylib_mod/polyhedron.c:3237:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3237 |     for (j=1; j<Dimension; j++) {
      |               ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* DomainDifference(Polyhedron*, Polyhedron*, unsigned int)':
source/polylib_mod/polyhedron.c:3628:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3628 |       for (i=0; i<p2->NbConstraints; i++) {
      |                 ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* align_context(Polyhedron*, int, int)':
source/polylib_mod/polyhedron.c:3679:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3679 |     if (align_dimension < Pol->Dimension) {
      |         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3684:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3684 |     if (align_dimension == Pol->Dimension) {
      |         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3709:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3709 |         for (i = 0; i < NbCons; ++i) {
      |                     ~~^~~~~~~~
source/polylib_mod/polyhedron.c:3719:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3719 |         for (i = 0; i < Pol->NbRays; ++i) {
      |                     ~~^~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3667:10: warning: unused variable 'j' [-Wunused-variable]
 3667 |   int i, j, k;
      |          ^
source/polylib_mod/polyhedron.c: In function 'int lower_upper_bounds(int, Polyhedron*, Value*, Value*, Value*)':
source/polylib_mod/polyhedron.c:3823:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3823 |   for (i=0; i<P->NbConstraints; i++) {
      |             ~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'void Rays_Mult(Value**, Matrix*, Value**, unsigned int)':
source/polylib_mod/polyhedron.c:3936:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3936 |     for (i=0; i<NbRays; i++) {
      |               ~^~~~~~~
source/polylib_mod/polyhedron.c:3938:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3938 |       for (j=0; j<Dimension2; j++) {
      |                 ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c:3940:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3940 |         for (k=0; k<Dimension1; k++) {
      |                   ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'void Rays_Mult_Transpose(Value**, Matrix*, Value**, unsigned int)':
source/polylib_mod/polyhedron.c:3976:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3976 |     for (i=0; i<NbRays; i++) {
      |               ~^~~~~~~
source/polylib_mod/polyhedron.c:3978:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3978 |       for (j=0; j<Dimension2; j++) {
      |                 ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c:3980:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 3980 |         for (k=0; k<Dimension1; k++) {
      |                   ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* Disjoint_Domain(Polyhedron*, int, unsigned int)':
source/polylib_mod/polyhedron.c:4462:44: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 4462 |                                 for (i=0; i<P->NbConstraints && pi ; i++)
      |                                           ~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:4509:52: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 4509 |                                         for (i=0; i<p2->NbConstraints && pi ; i++)
      |                                                   ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'void Polyhedron_PrintConstraints(FILE*, const char*, Polyhedron*)':
source/polylib_mod/polyhedron.c:4628:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 4628 |         for( i=0 ; i<Pol->NbConstraints ; i++ )
      |                    ~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:4630:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 4630 |                 for( j=0 ; j<Pol->Dimension+2 ; j++ )
      |                            ~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function 'Polyhedron* p_simplify_constraints(Polyhedron*, Vector*, Value*, unsigned int)':
source/polylib_mod/polyhedron.c:4656:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
 4656 |     for (r = 0; r < R->NbConstraints; ++r) {
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: At global scope:
source/polylib_mod/polyhedron.c:162:13: warning: 'void SMPrint(SatMatrix*)' defined but not used [-Wunused-function]
  162 | static void SMPrint (SatMatrix *matrix) {
      |             ^~~~~~~
g++ build/iohandler.o build/main.o build/rationals.o build/secondarycohom.o build/tokenizer.o build/polylib_mod/Lattice.o build/polylib_mod/Matop.o build/polylib_mod/NormalForms.o build/polylib_mod/SolveDio.o build/polylib_mod/Zpolyhedron.o build/polylib_mod/alpha.o build/polylib_mod/compress_parms.o build/polylib_mod/ehrhart.o build/polylib_mod/errormsg.o build/polylib_mod/errors.o build/polylib_mod/eval_ehrhart.o build/polylib_mod/ext_ehrhart.o build/polylib_mod/homogenization.o build/polylib_mod/matrix.o build/polylib_mod/matrix_addon.o build/polylib_mod/matrix_permutations.o build/polylib_mod/param.o build/polylib_mod/polyhedron.o build/polylib_mod/polyparam.o build/polylib_mod/ranking.o build/polylib_mod/vector.o -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -lpthread -o bin/cohomcalg
source/polylib_mod/polyhedron.c:104:3: warning: type 'struct SatMatrix' violates the C++ One Definition Rule [-Wodr]
  104 | } SatMatrix;
      |   ^
source/polylib_mod/polyparam.c:227:3: note: a different type is defined in another translation unit
  227 | } SatMatrix;
      |   ^
source/polylib_mod/polyhedron.c:102:9: note: the first difference of corresponding definitions is field 'p'
  102 |   int **p;
      |         ^
source/polylib_mod/polyparam.c:225:18: note: a field of same name but different type is defined in another translation unit
  225 |   unsigned int **p;
      |                  ^
+ cd manual/latex_source
+ pdflatex -interaction=batchmode manual
This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex)
 restricted \write18 enabled.
kpathsea: Running mktexfmt pdflatex.fmt
mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order):
mktexfmt:   /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes:
mktexfmt:   /builddir/.texlive2021/texmf-config/web2c/fmtutil.cnf
mktexfmt [INFO]: writing formats under /builddir/.texlive2021/texmf-var/web2c
mktexfmt [INFO]: --- remaking pdflatex with pdftex
mktexfmt: running `pdftex -ini   -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ...
This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (INITEX)
 restricted \write18 enabled.
 (/usr/share/texlive/texmf-dist/web2c/cp227.tcx)
entering extended mode
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini
(/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex)
(/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx
(/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg)
./texsys.aux found
\@currdir set to: ./.
Assuming \openin and \input 
have the same search path.
Defining UNIX/DOS style filename parser.
catcodes, registers, parameters,
LaTeX2e <2020-10-01> patch level 4
(/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.ltx
(/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3-code.tex
(/usr/share/texlive/texmf-dist/tex/latex/l3kernel/l3deprecation.def)))
(/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.ltx
(/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse-generic.tex))
 hacks, control, par, spacing, files, font encodings, lengths,
====================================
Local config file fonttext.cfg used
====================================
(/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg
(/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx
=== Don't modify this file, use a .cfg file instead ===
(/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd)))
====================================
Local config file fontmath.cfg used
====================================
(/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg
(/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx
=== Don't modify this file, use a .cfg file instead ===
(/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd)
(/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd)
(/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd)
(/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd)))
====================================
Local config file preload.cfg used
=====================================
(/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg
(/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref,
environments, center, verbatim, math definitions, boxes, title, sectioning,
contents, floats, footnotes, index, bibliography, output,
===========================================
Local configuration file hyphen.cfg used
===========================================
(/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg
(/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex)
(/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex)
(/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex))
(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu))
(/usr/share/texlive/texmf-dist/tex/latex/firstaid/latex2e-first-aid-for-externa
l-files.ltx)
 ) )
Beginning to dump on file pdflatex.fmt
 (preloaded format=pdflatex 2022.12.23)
19194 strings of total length 344850
280641 memory locations dumped; current usage is 165&279285
17486 multiletter control sequences
\font\nullfont=nullfont
\font\c__fp_exp_intarray=cmr10 at 0.00002pt
\font\c__fp_trig_intarray=cmr10 at 0.00003pt
\font\c_initex_cctab=cmr10 at 0.00005pt
\font\c_other_cctab=cmr10 at 0.00006pt
\font\c_str_cctab=cmr10 at 0.00008pt
\font\g__regex_state_active_intarray=cmr10 at 0.00009pt
\font\g__regex_thread_info_intarray=cmr10 at 0.0001pt
\font\g__regex_submatch_prev_intarray=cmr10 at 0.00012pt
\font\g__regex_submatch_begin_intarray=cmr10 at 0.00014pt
\font\g__regex_submatch_end_intarray=cmr10 at 0.00015pt
\font\g__regex_balance_intarray=cmr10 at 0.00017pt
\font\OMX/cmex/m/n/10=cmex10
\font\tenln=line10
\font\tenlnw=linew10
\font\tencirc=lcircle10
\font\tencircw=lcirclew10
\font\OT1/cmr/m/n/5=cmr5
\font\OT1/cmr/m/n/7=cmr7
\font\OT1/cmr/m/n/10=cmr10
\font\OML/cmm/m/it/5=cmmi5
\font\OML/cmm/m/it/7=cmmi7
\font\OML/cmm/m/it/10=cmmi10
\font\OMS/cmsy/m/n/5=cmsy5
\font\OMS/cmsy/m/n/7=cmsy7
\font\OMS/cmsy/m/n/10=cmsy10
\font\c_code_cctab=cmr10 at 0.00018pt
\font\c_document_cctab=cmr10 at 0.0002pt
403423 words of font info for 27 preloaded fonts
14 hyphenation exceptions
Hyphenation trie of length 6081 has 183 ops out of 35111
  2 for language 1
  181 for language 0
0 words of pdfTeX memory
0 indirect objects
No pages of output.
Transcript written on pdflatex.log.
mktexfmt [INFO]: log file copied to: /builddir/.texlive2021/texmf-var/web2c/pdftex/pdflatex.log
mktexfmt [INFO]: /builddir/.texlive2021/texmf-var/web2c/pdftex/pdflatex.fmt installed.
mktexfmt [INFO]: successfully rebuilt formats: 1
mktexfmt [INFO]: not selected formats: 19
mktexfmt [INFO]: total formats: 20
mktexfmt [INFO]: exiting with status 0
entering extended mode
+ bibtex manual
This is BibTeX, Version 0.99d (TeX Live 2021)
The top-level auxiliary file: manual.aux
The style file: utphys.bst
Database file #1: manual.bib
+ pdflatex -interaction=batchmode manual
This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
+ pdflatex -interaction=batchmode manual
This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.gSjMyu
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64
++ dirname /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd cohomCalg-0.32
+ mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/bin
+ cp -p bin/cohomcalg /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/bin
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 0.32-12.fc38 --unique-debug-suffix -0.32-12.fc38.x86_64 --unique-debug-src-base cohomCalg-0.32-12.fc38.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/cohomCalg-0.32
extracting debug info from /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/bin/cohomcalg
original debug info size: 3376kB, size after compression: 3120kB
/usr/bin/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
1717 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.j9vJlD
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd cohomCalg-0.32
+ pushd bin
~/build/BUILD/cohomCalg-0.32/bin ~/build/BUILD/cohomCalg-0.32
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ diff -q out/CP2.out -
+ ./cohomcalg --integrated CP2.in
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ ./cohomcalg --integrated P31SU7.in
+ diff -q out/P31SU7.out -
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ ./cohomcalg --integrated Quintic.in
+ diff -q out/Quintic.out -
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ diff -q out/WCP11114.out -
+ ./cohomcalg --integrated WCP11114.in
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ diff -q out/dP1.out -
+ ./cohomcalg --integrated dP1.in
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ diff -q out/dP3.out -
+ ./cohomcalg --integrated dP3.in
+ popd
~/build/BUILD/cohomCalg-0.32
+ RPM_EC=0
++ jobs -p
Processing files: cohomCalg-0.32-12.fc38.x86_64
+ exit 0
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.iw4RjQ
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ DOCDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/share/doc/cohomCalg
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/share/doc/cohomCalg
+ cp -pr README.md /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/share/doc/cohomCalg
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.Dy0Dsg
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ LICENSEDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/share/licenses/cohomCalg
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/share/licenses/cohomCalg
+ cp -pr LICENSE /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/share/licenses/cohomCalg
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cohomCalg = 0.32-12.fc38 cohomCalg(x86-64) = 0.32-12.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.17)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.22)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: cohomCalg-doc-0.32-12.fc38.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.7gqa3F
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ DOCDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/share/doc/cohomCalg-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/share/doc/cohomCalg-doc
+ cp -pr manual/latex_source/manual.pdf /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64/usr/share/doc/cohomCalg-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cohomCalg-doc = 0.32-12.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cohomCalg-debugsource-0.32-12.fc38.x86_64
Provides: cohomCalg-debugsource = 0.32-12.fc38 cohomCalg-debugsource(x86-64) = 0.32-12.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cohomCalg-debuginfo-0.32-12.fc38.x86_64
Provides: cohomCalg-debuginfo = 0.32-12.fc38 cohomCalg-debuginfo(x86-64) = 0.32-12.fc38 debuginfo(build-id) = 2d2b71e8e2dffd768f346b55ea4e136d7de17011
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cohomCalg-debugsource(x86-64) = 0.32-12.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64
Wrote: /builddir/build/RPMS/cohomCalg-doc-0.32-12.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/cohomCalg-debugsource-0.32-12.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/cohomCalg-0.32-12.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/cohomCalg-debuginfo-0.32-12.fc38.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.cPJrFn
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cohomCalg-0.32-12.fc38.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.JegMsz
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf cohomCalg-0.32 cohomCalg-0.32.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0