<86>Feb 10 04:45:57 userdel[3143292]: delete user 'rooter' <86>Feb 10 04:45:57 userdel[3143292]: removed group 'rooter' owned by 'rooter' <86>Feb 10 04:45:57 userdel[3143292]: removed shadow group 'rooter' owned by 'rooter' <86>Feb 10 04:45:57 groupadd[3143300]: group added to /etc/group: name=rooter, GID=624 <86>Feb 10 04:45:57 groupadd[3143300]: group added to /etc/gshadow: name=rooter <86>Feb 10 04:45:57 groupadd[3143300]: new group: name=rooter, GID=624 <86>Feb 10 04:45:57 useradd[3143307]: new user: name=rooter, UID=624, GID=624, home=/root, shell=/bin/bash <86>Feb 10 04:45:57 userdel[3143323]: delete user 'builder' <86>Feb 10 04:45:57 userdel[3143323]: removed group 'builder' owned by 'builder' <86>Feb 10 04:45:57 userdel[3143323]: removed shadow group 'builder' owned by 'builder' <86>Feb 10 04:45:57 groupadd[3143334]: group added to /etc/group: name=builder, GID=625 <86>Feb 10 04:45:57 groupadd[3143334]: group added to /etc/gshadow: name=builder <86>Feb 10 04:45:57 groupadd[3143334]: new group: name=builder, GID=625 <86>Feb 10 04:45:57 useradd[3143339]: new user: name=builder, UID=625, GID=625, home=/usr/src, shell=/bin/bash <13>Feb 10 04:46:02 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>Feb 10 04:46:07 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+262033.600.7.2 1607340230 installed <13>Feb 10 04:46:07 rpmi: libstdc++10-devel-10.2.1-alt2 sisyphus+263054.100.3.1 1607510507 installed <13>Feb 10 04:46:09 rpmi: gcc10-c++-10.2.1-alt2 sisyphus+263054.100.3.1 1607510507 installed <13>Feb 10 04:46:09 rpmi: gcc-c++-10-alt1 sisyphus+263054.200.3.1 1607517515 installed <13>Feb 10 04:46:09 rpmi: libstdc++-devel-10-alt1 sisyphus+263054.200.3.1 1607517515 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/cudd-2.5.1-alt3.nosrc.rpm (w1.gzdio) Installing cudd-2.5.1-alt3.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.75831 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf cudd-2.5.1 + echo 'Source #0 (cudd-2.5.1.tar):' Source #0 (cudd-2.5.1.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/cudd-2.5.1.tar + cd cudd-2.5.1 + /bin/chmod -c -Rf u+rwX,go-w . + sed -i 's|#@x86_64@||' Makefile + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.62451 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd cudd-2.5.1 + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export FFLAGS + make -j8 build make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1' sh ./setup.sh make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1' Making util ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cpu_stats.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cpu_time.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c texpand.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ptime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c safe_mem.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c strsav.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c prtime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cstringstream.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC In file included from /usr/include/string.h:532, from cstringstream.c:49: In function 'strncpy', inlined from 'appendStringStringStream' at cstringstream.c:141:3: /usr/include/bits/string_fortified.h:91:10: warning: '__builtin_strncpy' output truncated before terminating nul copying as many bytes from a string as its length [-Wstringop-truncation] 91 | return __builtin___strncpy_chk (__dest, __src, __len, __bos (__dest)); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cstringstream.c: In function 'appendStringStringStream': cstringstream.c:138:16: note: length computed here 138 | size_t len = strlen(s); | ^~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c stub.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c pipefork.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c datalimit.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c pathsearch.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' ar rv libutil.a cstringstream.o cpu_time.o cpu_stats.o safe_mem.o strsav.o texpand.o ptime.o prtime.o pipefork.o pathsearch.o stub.o datalimit.o ar: creating libutil.a a - cstringstream.o a - cpu_time.o a - cpu_stats.o a - safe_mem.o a - strsav.o a - texpand.o a - ptime.o a - prtime.o a - pipefork.o a - pathsearch.o a - stub.o a - datalimit.o ranlib libutil.a make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' Making mtr ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c mtrBasic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC mtrBasic.c: In function 'Mtr_PrintTree': mtrBasic.c:432:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 432 | (unsigned) node, (unsigned) node->child, | ^ mtrBasic.c:432:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 432 | (unsigned) node, (unsigned) node->child, | ^ mtrBasic.c:433:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 433 | (unsigned) node->younger, (unsigned) node->elder, | ^ mtrBasic.c:433:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 433 | (unsigned) node->younger, (unsigned) node->elder, | ^ mtrBasic.c:434:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 434 | (unsigned) node->parent, node->flags, node->low, node->size); | ^ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c mtrGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' gcc -shared mtrBasic.o mtrGroup.o -Wl,--whole-archive ../util/libutil.a -Wl,--no-whole-archive \ -Wl,-soname=libmtr.so.0 -o libmtr.so.0 ln -s libmtr.so.0 libmtr.so #ar rv libmtr.so mtrBasic.o mtrGroup.o #ranlib libmtr.so make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' Making st ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c st.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' gcc -shared st.o -Wl,-soname=libst.so.0 -o libst.so.0 ../mtr/libmtr.so ln -s libst.so.0 libst.so #ar rv libst.so st.o #ranlib libst.so make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' Making epd ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c epd.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' gcc -shared epd.o -Wl,-soname=libepd.so.0 -o libepd.so.0 -lm ../mtr/libmtr.so ln -s libepd.so.0 libepd.so #ar rv libepd.so epd.o #ranlib libepd.so make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' Making cudd ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:91: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:91: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddFind.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddNeg.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddWalsh.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddInv.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAnneal.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAndAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddAddIte.c: In function 'cuddAddIteRecur': cuddAddIte.c:529:24: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized] 529 | r = (t == e) ? t : cuddUniqueInter(dd,index,t,e); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddApply.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddBddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAPI.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddBddCorr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddCheck.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddClip.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddApa.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddCompose.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddDecomp.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddDecomp.c: In function 'BuildConjuncts': cuddDecomp.c:1880:10: warning: 'factorsNnv' may be used uninitialized in this function [-Wmaybe-uninitialized] 1880 | g1 = cuddBddIteRecur(dd, topv, factorsNv->g, factorsNnv->g); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddDecomp.c:1844:6: warning: 'factorsNv' may be used uninitialized in this function [-Wmaybe-uninitialized] 1844 | Cudd_RecursiveDeref(dd, factorsNv->g); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddExport.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddBridge.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddGenCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddBddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddBddIte.c: In function 'cuddBddIteRecur': cuddBddIte.c:853:24: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized] 853 | r = (t == e) ? t : cuddUniqueInter(dd,index,t,e); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddHarwell.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddHarwell.c: In function 'Cudd_addHarwell': cuddHarwell.c:143:33: warning: 'lyn' may be used uninitialized in this function [-Wmaybe-uninitialized] 143 | DdNode **lx, **ly, **lxn, **lyn; /* local copies of x, y, xn, yn_ */ | ^~~ cuddHarwell.c:143:20: warning: 'ly' may be used uninitialized in this function [-Wmaybe-uninitialized] 143 | DdNode **lx, **ly, **lxn, **lyn; /* local copies of x, y, xn, yn_ */ | ^~ cuddHarwell.c:143:26: warning: 'lxn' may be used uninitialized in this function [-Wmaybe-uninitialized] 143 | DdNode **lx, **ly, **lxn, **lyn; /* local copies of x, y, xn, yn_ */ | ^~~ cuddHarwell.c:143:14: warning: 'lx' may be used uninitialized in this function [-Wmaybe-uninitialized] 143 | DdNode **lx, **ly, **lxn, **lyn; /* local copies of x, y, xn, yn_ */ | ^~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddApprox.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddInteract.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddInit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddLevelQ.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddLiteral.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddEssent.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddMatMult.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddGenetic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddLCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddRead.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddExact.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddRef.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddGroup.c: In function 'ddGroupMove': cuddGroup.c:1569:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized] 1569 | move->y = swapy; | ~~~~~~~~^~~~~~~ cuddGroup.c:1568:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized] 1568 | move->x = swapx; | ~~~~~~~~^~~~~~~ cuddGroup.c: In function 'ddReorderChildren': cuddGroup.c:1795:2: warning: 'upper' may be used uninitialized in this function [-Wmaybe-uninitialized] 1795 | for (i = low; i < high; i++) | ^~~ cuddGroup.c:459:9: note: 'upper' was declared here 459 | int upper; | ^~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddPriority.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddPriority.c: In function 'Cudd_Inequality': cuddPriority.c:857:36: warning: 'newMap[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] 857 | if (newIndex[1] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[1]); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:855:33: warning: 'map[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] 855 | if (index[1] != invalidIndex) Cudd_IterDerefBdd(dd, map[1]); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:854:33: warning: 'map[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] 854 | if (index[0] != invalidIndex) Cudd_IterDerefBdd(dd, map[0]); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:856:36: warning: 'newMap[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] 856 | if (newIndex[0] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[0]); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c: In function 'Cudd_Disequality': cuddPriority.c:1045:36: warning: 'newMap[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] 1045 | if (newIndex[1] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[1]); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:1043:33: warning: 'map[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] 1043 | if (index[1] != invalidIndex) Cudd_IterDerefBdd(dd, map[1]); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:1042:33: warning: 'map[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] 1042 | if (index[0] != invalidIndex) Cudd_IterDerefBdd(dd, map[0]); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:1044:36: warning: 'newMap[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] 1044 | if (newIndex[0] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[0]); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c: In function 'cuddCProjectionRecur': cuddPriority.c:1477:36: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized] 1477 | res = cuddBddIteRecur(dd, dd->vars[index], res1, res2); | ^ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddLinear.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddLinear.c: In function 'cuddLinearInPlace': cuddLinear.c:369:12: warning: variable 'oldxkeys' set but not used [-Wunused-but-set-variable] 369 | int oldxkeys, oldykeys; | ^~~~~~~~ cuddLinear.c:451:13: warning: 'last' may be used uninitialized in this function [-Wmaybe-uninitialized] 451 | last->next = NULL; | ^ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSign.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSat.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSolve.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSplit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddReorder.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddReorder.c: In function 'cuddSwapping': cuddReorder.c:653:21: warning: 'pivot' may be used uninitialized in this function [-Wmaybe-uninitialized] 653 | modulo = pivot - lower - 1; | ~~~~~~^~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddWindow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddCount.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSymmetry.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddSymmetry.c: In function 'ddSymmGroupMove': cuddSymmetry.c:1538:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized] 1538 | move->y = swapy; | ~~~~~~~~^~~~~~~ cuddSymmetry.c:1537:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized] 1537 | move->x = swapx; | ~~~~~~~~^~~~~~~ cuddSymmetry.c:1539:16: warning: 'size' may be used uninitialized in this function [-Wmaybe-uninitialized] 1539 | move->size = size; | ~~~~~~~~~~~^~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSubsetSP.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddSubsetSP.c: In function 'BuildSubsetBdd.isra': cuddSubsetSP.c:1505:8: warning: 'regNnv' may be used uninitialized in this function [-Wmaybe-uninitialized] 1505 | if (st_insert(info->maxpathTable, regChild, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1506 | NULL) == ST_OUT_OF_MEM) { | ~~~~~ cuddSubsetSP.c:1430:18: warning: 'NnvPathLength' may be used uninitialized in this function [-Wmaybe-uninitialized] 1430 | ((NvPathLength == NnvPathLength) && (tiebreakChild == 1))) { | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ cuddSubsetSP.c:1430:18: warning: 'NvPathLength' may be used uninitialized in this function [-Wmaybe-uninitialized] make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddMisc.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddLin.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddIsop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddPort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddZddGroup.c: In function 'zddGroupMove': cuddZddGroup.c:1154:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized] 1154 | move->y = swapy; | ~~~~~~~~^~~~~~~ cuddZddGroup.c:1153:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized] 1153 | move->x = swapx; | ~~~~~~~~^~~~~~~ cuddZddGroup.c: In function 'zddReorderChildren': cuddZddGroup.c:1321:2: warning: 'upper' may be used uninitialized in this function [-Wmaybe-uninitialized] 1321 | for (i = low; i < high; i++) | ^~~ cuddZddGroup.c:435:9: note: 'upper' was declared here 435 | int upper; | ^~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddReord.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 In file included from cuddZddReord.c:77: cuddZddReord.c: In function 'cuddZddSwapInPlace': cuddInt.h:695:4: warning: 'newf1' may be used uninitialized in this function [-Wmaybe-uninitialized] 695 | ((((unsigned)(ptruint)(f) * DD_P1 + \ | ^ cuddZddReord.c:494:13: note: 'newf1' was declared here 494 | DdNode *newf1, *newf0, *next; | ^~~~~ cuddZddReord.c: In function 'cuddZddSwapping': cuddZddReord.c:785:21: warning: 'pivot' may be used uninitialized in this function [-Wmaybe-uninitialized] 785 | modulo = pivot - lower - 1; | ~~~~~~^~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSubsetHB.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddSetop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddFuncs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddSymm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddZddSymm.c: In function 'cuddZddSymmSiftingBackward': cuddZddSymm.c:1465:26: warning: 'size' may be used uninitialized in this function [-Wmaybe-uninitialized] 1465 | if (i_best == -1 && res == size) | ~~~~^~~~~~~ cuddZddSymm.c: In function 'zdd_group_move': cuddZddSymm.c:1564:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized] 1564 | move->y = swapy; | ~~~~~~~~^~~~~~~ cuddZddSymm.c:1563:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized] 1563 | move->x = swapx; | ~~~~~~~~^~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddTable.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddTable.c: In function 'ddResizeTable': cuddTable.c:2739:13: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized] 2739 | newmap[i] = unique->map[i]; | ~~~~~~~~~~^~~~~~~~~~~~~~~~ cuddTable.c: In function 'cuddInsertSubtables': cuddTable.c:2040:13: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized] 2040 | newmap[i] = unique->map[i]; | ~~~~~~~~~~^~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -shared cuddAPI.o cuddAddAbs.o cuddAddApply.o cuddAddFind.o cuddAddIte.o cuddAddInv.o cuddAddNeg.o cuddAddWalsh.o cuddAndAbs.o cuddAnneal.o cuddApa.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddHarwell.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddMatMult.o cuddPriority.o cuddRead.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o -Wl,-soname=libcudd.so.0 -o libcudd.so.0 ../mtr/libmtr.so \ ../st/libst.so ../epd/libepd.so -lm ln -s libcudd.so.0 libcudd.so #ar rv libcudd.so cuddAPI.o cuddAddAbs.o cuddAddApply.o cuddAddFind.o cuddAddIte.o cuddAddInv.o cuddAddNeg.o cuddAddWalsh.o cuddAndAbs.o cuddAnneal.o cuddApa.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddHarwell.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddMatMult.o cuddPriority.o cuddRead.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o #ranlib libcudd.so make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' Making dddmp ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpNodeAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpNodeBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpUtil.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpBinary.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpStoreBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpConvert.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpDbg.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 dddmpDbg.c: In function 'Dddmp_cuddBddDisplayBinary': dddmpDbg.c:144:3: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 144 | fgets(buf, 999,fp); | ^~~~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpLoad.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 dddmpLoad.c: In function 'DddmpCuddDdArrayLoad': dddmpLoad.c:1112:3: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 1112 | fgets (buf, DDDMP_MAXSTRLEN-1,fp); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dddmpLoad.c: In function 'DddmpBddReadHeader': dddmpLoad.c:1276:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 1276 | fgets(buf,DDDMP_MAXSTRLEN,fp); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dddmpLoad.c:1429:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 1429 | fgets(buf,DDDMP_MAXSTRLEN,fp); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpLoadCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 dddmpLoadCnf.c: In function 'DddmpBddReadHeaderCnf': dddmpLoadCnf.c:557:7: warning: ignoring return value of 'fscanf' declared with attribute 'warn_unused_result' [-Wunused-result] 557 | fscanf (fp, "%*s %d %d", &nv, &nc); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dddmpLoadCnf.c:572:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 572 | fgets (buf, DDDMP_MAXSTRLEN, fp); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dddmpLoadCnf.c: In function 'DddmpReadCnfClauses': dddmpLoadCnf.c:814:7: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 814 | fgets (word, DDDMP_MAX_CNF_ROW_LENGTH-1, fp); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpNodeCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 dddmpNodeCnf.c: In function 'DddmpDdNodesCountEdgesAndNumber': dddmpNodeCnf.c:145:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] 145 | int retValue, i; | ^~~~~~~~ dddmpNodeCnf.c: In function 'DddmpClearVisitedCnfRecur': dddmpNodeCnf.c:448:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] 448 | int retValue; | ^~~~~~~~ dddmpNodeCnf.c: In function 'DddmpDdNodesResetCountRecur': dddmpNodeCnf.c:663:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] 663 | int retValue; | ^~~~~~~~ dddmpNodeCnf.c: In function 'DddmpDdNodesCountEdgesRecur': dddmpNodeCnf.c:701:19: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] 701 | int indexValue, retValue; | ^~~~~~~~ dddmpNodeCnf.c: In function 'DddmpPrintBddAndNextRecur': dddmpNodeCnf.c:896:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] 896 | int retValue; | ^~~~~~~~ At top level: dddmpNodeCnf.c:444:1: warning: 'DddmpClearVisitedCnfRecur' defined but not used [-Wunused-function] 444 | DddmpClearVisitedCnfRecur ( | ^~~~~~~~~~~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpStoreAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 dddmpStoreAdd.c: In function 'NodeStoreRecurAdd': dddmpStoreAdd.c:750:7: warning: variable 'vE' set but not used [-Wunused-but-set-variable] 750 | int vE = (-1); | ^~ dddmpStoreAdd.c:749:7: warning: variable 'vT' set but not used [-Wunused-but-set-variable] 749 | int vT = (-1); | ^~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpStoreMisc.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpStoreCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 dddmpStoreCnf.c: In function 'StoreCnfBestNotSharedRecur': dddmpStoreCnf.c:1341:11: warning: variable 'one' set but not used [-Wunused-but-set-variable] 1341 | DdNode *one; | ^~~ dddmpStoreCnf.c: In function 'StoreCnfBestSharedRecur': dddmpStoreCnf.c:1463:11: warning: variable 'one' set but not used [-Wunused-but-set-variable] 1463 | DdNode *one; | ^~~ dddmpStoreCnf.c:1462:15: warning: variable 'index' set but not used [-Wunused-but-set-variable] 1462 | int i, idf, index; | ^~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' gcc -shared dddmpStoreBdd.o dddmpStoreAdd.o dddmpStoreCnf.o dddmpLoad.o dddmpLoadCnf.o dddmpNodeBdd.o dddmpNodeAdd.o dddmpNodeCnf.o dddmpStoreMisc.o dddmpUtil.o dddmpBinary.o dddmpConvert.o dddmpDbg.o -Wl,-soname=libdddmp.so.0 -o libdddmp.so.0 ../cudd/libcudd.so \ ../mtr/libmtr.so ../st/libst.so ../epd/libepd.so ln -s libdddmp.so.0 libdddmp.so #ar rv libdddmp.so dddmpStoreBdd.o dddmpStoreAdd.o dddmpStoreCnf.o dddmpLoad.o dddmpLoadCnf.o dddmpNodeBdd.o dddmpNodeAdd.o dddmpNodeCnf.o dddmpStoreMisc.o dddmpUtil.o dddmpBinary.o dddmpConvert.o dddmpDbg.o #ranlib libdddmp.so make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' Making nanotrav ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ntrHeap.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ntrZddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c chkMterm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ntrShort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ucbqsort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c main.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c bnet.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC bnet.c: In function 'Bnet_BuildNodeBDD': bnet.c:2030:29: warning: 'phase[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] 2030 | h = Cudd_NotCond(h,phase[1]); | ^ bnet.c:1909:9: note: 'phase[1]' was declared here 1909 | int phase[2]; | ^~~~~ bnet.c:2009:29: warning: 'phase[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] 2009 | g = Cudd_NotCond(g,phase[0]); | ^ bnet.c:1909:9: note: 'phase[0]' was declared here 1909 | int phase[2]; | ^~~~~ bnet.c:2010:40: warning: 'mux[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] 2010 | if (!st_lookup(hash, nd->inputs[mux[1]], &auxnd)) { | ~~~^~~ bnet.c:1908:9: note: 'mux[1]' was declared here 1908 | int mux[2]; | ^~~ bnet.c:1989:40: warning: 'mux[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] 1989 | if (!st_lookup(hash, nd->inputs[mux[0]], &auxnd)) { | ~~~^~~ bnet.c:1908:9: note: 'mux[0]' was declared here 1908 | int mux[2]; | ^~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ntrBddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ntr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC ntr.c: In function 'Ntr_buildTR': ntr.c:404:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 404 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:404:33: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 404 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:455:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 455 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp); | ^~ ntr.c:455:33: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 455 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:480:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 480 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:480:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 480 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:485:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 485 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:485:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 485 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:508:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 508 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:508:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 508 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:513:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 513 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:513:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 513 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c: In function 'Ntr_SCC': ntr.c:1026:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1026 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:1026:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1026 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:1029:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1029 | if (neW == NULL) return(0); Cudd_Ref(neW); | ^~ ntr.c:1029:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1029 | if (neW == NULL) return(0); Cudd_Ref(neW); | ^~~~~~~~ ntr.c:1082:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1082 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:1082:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1082 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:1085:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1085 | if (neW == NULL) return(0); Cudd_Ref(neW); | ^~ ntr.c:1085:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1085 | if (neW == NULL) return(0); Cudd_Ref(neW); | ^~~~~~~~ ntr.c: In function 'ntrImage': ntr.c:1977:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1977 | if (abs == NULL) return(NULL); Cudd_Ref(abs); | ^~ ntr.c:1977:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1977 | if (abs == NULL) return(NULL); Cudd_Ref(abs); | ^~~~~~~~ ntr.c:1983:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1983 | if (positive == NULL) return(NULL); Cudd_Ref(positive); | ^~ ntr.c:1983:39: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1983 | if (positive == NULL) return(NULL); Cudd_Ref(positive); | ^~~~~~~~ ntr.c:1985:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1985 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs); | ^~ ntr.c:1985:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1985 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs); | ^~~~~~~~ ntr.c:1988:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1988 | if (phi == NULL) return(NULL); Cudd_Ref(phi); | ^~ ntr.c:1988:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1988 | if (phi == NULL) return(NULL); Cudd_Ref(phi); | ^~~~~~~~ ntr.c:1992:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1992 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor); | ^~ ntr.c:1992:36: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1992 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor); | ^~~~~~~~ ntr.c:1999:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 1999 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:1999:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 1999 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2024:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2024 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:2024:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2024 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c: In function 'ntrLatchDependencies': ntr.c:2315:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2315 | if (positive == NULL) return(-1); Cudd_Ref(positive); | ^~ ntr.c:2315:40: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2315 | if (positive == NULL) return(-1); Cudd_Ref(positive); | ^~~~~~~~ ntr.c:2317:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2317 | if (abs == NULL) return(-1); Cudd_Ref(abs); | ^~ ntr.c:2317:35: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2317 | if (abs == NULL) return(-1); Cudd_Ref(abs); | ^~~~~~~~ ntr.c:2319:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2319 | if (phi == NULL) return(-1); Cudd_Ref(phi); | ^~ ntr.c:2319:35: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2319 | if (phi == NULL) return(-1); Cudd_Ref(phi); | ^~~~~~~~ ntr.c:2362:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2362 | if (abs == NULL) return(-1); Cudd_Ref(abs); | ^~ ntr.c:2362:35: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2362 | if (abs == NULL) return(-1); Cudd_Ref(abs); | ^~~~~~~~ ntr.c: In function 'ntrEliminateDependencies': ntr.c:2482:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2482 | if (abs == NULL) return(NULL); Cudd_Ref(abs); | ^~ ntr.c:2482:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2482 | if (abs == NULL) return(NULL); Cudd_Ref(abs); | ^~~~~~~~ ntr.c:2484:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2484 | if (positive == NULL) return(NULL); Cudd_Ref(positive); | ^~ ntr.c:2484:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2484 | if (positive == NULL) return(NULL); Cudd_Ref(positive); | ^~~~~~~~ ntr.c:2486:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2486 | if (phi == NULL) return(NULL); Cudd_Ref(phi); | ^~ ntr.c:2486:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2486 | if (phi == NULL) return(NULL); Cudd_Ref(phi); | ^~~~~~~~ ntr.c:2498:7: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~ ntr.c:2498:38: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2523:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2523 | if (*states == NULL) return(NULL); Cudd_Ref(*states); | ^~ ntr.c:2523:40: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2523 | if (*states == NULL) return(NULL); Cudd_Ref(*states); | ^~~~~~~~ ntr.c: In function 'ntrUpdateQuantificationSchedule': ntr.c:2597:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2597 | if (xnor == NULL) return(0); Cudd_Ref(xnor); | ^~ ntr.c:2597:35: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2597 | if (xnor == NULL) return(0); Cudd_Ref(xnor); | ^~~~~~~~ ntr.c:2599:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2599 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:2599:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2599 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2652:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2652 | if (support == NULL) return(0); Cudd_Ref(support); | ^~ ntr.c:2652:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2652 | if (support == NULL) return(0); Cudd_Ref(support); | ^~~~~~~~ ntr.c:2796:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2796 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:2796:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2796 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2801:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2801 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:2801:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2801 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ ntr.c:2811:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 2811 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~ ntr.c:2811:30: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 2811 | if (tmp == NULL) return(0); Cudd_Ref(tmp); | ^~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ntrMflow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -o nanotrav main.o bnet.o ntr.o ntrHeap.o ntrBddTest.o ntrMflow.o ntrZddTest.o ntrShort.o chkMterm.o ucbqsort.o ../dddmp/libdddmp.so ../cudd/libcudd.so ../mtr/libmtr.so ../st/libst.so ../epd/libepd.so -lm make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export FFLAGS + make -j8 nanotrav make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1' sh ./setup.sh make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1' Making util ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: 'libutil.a' is up to date. Making mtr ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' make[1]: 'libmtr.so' is up to date. Making st ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' make[1]: 'libst.so' is up to date. Making epd ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' make[1]: 'libepd.so' is up to date. Making cudd ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:91: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:91: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: 'libcudd.so' is up to date. Making dddmp ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: 'libdddmp.so' is up to date. Making nanotrav ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: 'nanotrav' is up to date. + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export FFLAGS + make -j8 -C mnemosyne make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' cc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -DMALLOC_IS_VOIDSTAR -c -o mnemalyse.o mnemalyse.c mnemalyse.c:70:1: warning: return type defaults to 'int' [-Wimplicit-int] 70 | main() | ^~~~ mnemalyse.c: In function 'main': mnemalyse.c:97:3: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration] 97 | exit(1); | ^~~~ mnemalyse.c:97:3: warning: incompatible implicit declaration of built-in function 'exit' mnemalyse.c:39:1: note: include '' or provide a declaration of 'exit' 38 | #include "mnemconf.h" +++ |+#include 39 | mnemalyse.c:102:3: warning: incompatible implicit declaration of built-in function 'exit' 102 | exit(1); | ^~~~ mnemalyse.c:102:3: note: include '' or provide a declaration of 'exit' mnemalyse.c:113:4: warning: incompatible implicit declaration of built-in function 'exit' 113 | exit(1); | ^~~~ mnemalyse.c:113:4: note: include '' or provide a declaration of 'exit' mnemalyse.c:130:13: warning: implicit declaration of function 'atoi' [-Wimplicit-function-declaration] 130 | sp->map = atoi(cpmap); | ^~~~ mnemalyse.c:142:32: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration] 142 | sp->dat = malloc((unsigned)(strlen(cpfnam) + 1)); | ^~~~~~ mnemalyse.c:142:32: warning: incompatible implicit declaration of built-in function 'strlen' mnemalyse.c:39:1: note: include '' or provide a declaration of 'strlen' 38 | #include "mnemconf.h" +++ |+#include 39 | mnemalyse.c:142:21: warning: 'malloc' argument 1 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch] 142 | sp->dat = malloc((unsigned)(strlen(cpfnam) + 1)); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from mnemalyse.c:38: mnemconf.h:63:15: note: built-in 'malloc' declared here 63 | extern mall_t malloc(); | ^~~~~~ mnemalyse.c:145:5: warning: incompatible implicit declaration of built-in function 'exit' 145 | exit(1); | ^~~~ mnemalyse.c:145:5: note: include '' or provide a declaration of 'exit' mnemalyse.c:147:10: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration] 147 | (void)strcpy(sp->dat,cpfnam); | ^~~~~~ mnemalyse.c:147:10: warning: incompatible implicit declaration of built-in function 'strcpy' mnemalyse.c:147:10: note: include '' or provide a declaration of 'strcpy' mnemalyse.c:176:8: warning: implicit declaration of function 'read'; did you mean 'fread'? [-Wimplicit-function-declaration] 176 | while(read(fd,(char *)&(p.dsk),sizeof(p.dsk)) == sizeof(p.dsk)) { | ^~~~ | fread mnemalyse.c:196:2: warning: incompatible implicit declaration of built-in function 'exit' 196 | exit(0); | ^~~~ mnemalyse.c:196:2: note: include '' or provide a declaration of 'exit' At top level: mnemalyse.c:36:13: warning: 'rcsid' defined but not used [-Wunused-variable] 36 | static char rcsid[] = "/fats/tools/hsv/mnemosyne/mnemalyse.c,v 1.1.1.1 1995/06/06 18:18:28 fabio Exp"; | ^~~~~ make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' cc -L. -o mnemalyse mnemalyse.o make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' cc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -DMALLOC_IS_VOIDSTAR -c -o mnemosyne.o mnemosyne.c mnemosyne.c: In function 'saveptr': mnemosyne.c:188:5: warning: implicit declaration of function 'lseek'; did you mean 'fseek'? [-Wimplicit-function-declaration] 188 | if(lseek(map.fd,(off_t)(p->map * sizeof(p->dsk)),0) != | ^~~~~ | fseek mnemosyne.c:195:5: warning: implicit declaration of function 'write'; did you mean 'fwrite'? [-Wimplicit-function-declaration] 195 | if(write(map.fd,(char *)&(p->dsk),sizeof(p->dsk)) != sizeof(p->dsk)) { | ^~~~~ | fwrite mnemosyne.c: In function 'lookupsymbyname': mnemosyne.c:338:7: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration] 338 | if(!strcmp(s->labl,nam) && s->lineno == lin) | ^~~~~~ mnemosyne.c: In function 'mnem_malloc': mnemosyne.c:520:19: warning: 'malloc' argument 1 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch] 520 | if((ret = malloc(siz)) == (mall_t)0) { | ^~~ In file included from mnemosyne.c:36: mnemconf.h:63:15: note: built-in 'malloc' declared here 63 | extern mall_t malloc(); | ^~~~~~ mnemosyne.c: In function 'mnem_calloc': mnemosyne.c:551:19: warning: 'calloc' argument 1 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch] 551 | if((ret = calloc(cnt,siz)) == (mall_t)0) { | ^~~ In file included from mnemosyne.c:36: mnemconf.h:65:15: note: built-in 'calloc' declared here 65 | extern mall_t calloc(); | ^~~~~~ mnemosyne.c:551:23: warning: 'calloc' argument 2 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch] 551 | if((ret = calloc(cnt,siz)) == (mall_t)0) { | ^~~ In file included from mnemosyne.c:36: mnemconf.h:65:15: note: built-in 'calloc' declared here 65 | extern mall_t calloc(); | ^~~~~~ mnemosyne.c: In function 'mnem_realloc': mnemosyne.c:582:24: warning: 'realloc' argument 2 type is 'unsigned int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch] 582 | if((ret = realloc(ptr,siz)) == (mall_t)0) { | ^~~ In file included from mnemosyne.c:36: mnemconf.h:64:15: note: built-in 'realloc' declared here 64 | extern mall_t realloc(); | ^~~~~~~ mnemosyne.c: In function 'mnem_free': mnemosyne.c:612:4: warning: suggest explicit braces to avoid ambiguous 'else' [-Wdangling-else] 612 | if((rec_state & REC_ON) && !(rec_state & REC_ERR)) | ^ At top level: mnemosyne.c:38:13: warning: 'rcsid' defined but not used [-Wunused-variable] 38 | static char rcsid[] = "/fats/tools/hsv/mnemosyne/mnemosyne.c,v 1.1.1.1 1995/06/06 18:18:28 fabio Exp"; | ^~~~~ make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' gcc -shared mnemosyne.o -Wl,-soname=libmnem.so.0 -o libmnem.so.0 ln -s libmnem.so.0 libmnem.so #ar rcv libmnem.so mnemosyne.o #ranlib libmnem.so make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.3015 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/cudd-buildroot + : + /bin/rm -rf -- /usr/src/tmp/cudd-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games + cd cudd-2.5.1 + install -d /usr/src/tmp/cudd-buildroot/usr/bin /usr/src/tmp/cudd-buildroot/usr/include/cudd /usr/src/tmp/cudd-buildroot/usr/lib64 /usr/src/tmp/cudd-buildroot/usr/share/man/man1 + install -m755 nanotrav/nanotrav /usr/src/tmp/cudd-buildroot/usr/bin/ + install -m755 nanotrav/nanotrav.1 /usr/src/tmp/cudd-buildroot/usr/share/man/man1/ + install -m644 include/cstringstream.h include/cudd.h include/cuddInt.h include/cuddObj.hh include/dddmp.h include/epd.h include/mnemosyne.h include/mtr.h include/st.h include/util.h /usr/src/tmp/cudd-buildroot/usr/include/cudd/ + cp -P cudd/libcudd.so cudd/libcudd.so.0 dddmp/libdddmp.so dddmp/libdddmp.so.0 epd/libepd.so epd/libepd.so.0 mnemosyne/libmnem.so mnemosyne/libmnem.so.0 mtr/libmtr.so mtr/libmtr.so.0 st/libst.so st/libst.so.0 /usr/src/tmp/cudd-buildroot/usr/lib64/ + ln -s cudd/doc cudd.doc + ln -s dddmp/RELEASE_NOTES RELEASE_NOTES.dddmp + ln -s dddmp/doc dddmp.doc + ln -s mnemosyne/README README.mnemosyne + ln -s mtr/doc mtr.doc + ln -s nanotrav/README nanotrav.README + ln -s nanotrav/doc nanotrav.html + ln -s st/doc st.doc + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/cudd-buildroot (auto) mode of './usr/lib64/libst.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libmtr.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libmnem.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libepd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libdddmp.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libcudd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/cudd-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/cudd-buildroot/ (default) Compressing files in /usr/src/tmp/cudd-buildroot (auto) mode of '/usr/src/tmp/cudd-buildroot/usr/share/man/man1/nanotrav.1' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Adjusting library links in /usr/src/tmp/cudd-buildroot ./usr/lib64: (from :0) libcudd.so.0 -> libcudd.so.0 libdddmp.so.0 -> libdddmp.so.0 libepd.so.0 -> libepd.so.0 libmnem.so.0 -> libmnem.so.0 libmtr.so.0 -> libmtr.so.0 libst.so.0 -> libst.so.0 Verifying ELF objects in /usr/src/tmp/cudd-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) Hardlinking identical .pyc and .pyo files Processing files: cudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.99954 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd cudd-2.5.1 + DOCDIR=/usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1 + export DOCDIR + rm -rf /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1 + /bin/mkdir -p /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1 + cp -prL README RELEASE.NOTES nanotrav.README nanotrav.html /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1 + chmod -R go-w /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1 + chmod -R a+rX /usr/src/tmp/cudd-buildroot/usr/share/doc/cudd-2.5.1 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.lPe48d find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.FEMIzc find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: libcudd = 2.5.1-alt3, /lib64/ld-linux-x86-64.so.2, 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.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libcudd.so.0()(64bit) >= set:nfYF8PWV8GG3wjdigRanZKOKZhnb1hcRQ62FHDTdLjaEghZCqowb5E9CDyyE0wIw5ha1BByWuHiaRnX3h37Kc3r4jiQH3zGXZFgD1Imj2bgNNi0ZK3Dg8qRlKZlUhykbKFU8DD1vVrOk12jvYLaPEuu42Qy4GYg2pVPB9uzymOg44CKkxZFeYQy1ShqnpOtmxne1Er4yqHXcaJYKXWdJxE39YmTwXOuSE8rlymcImA059QH861K6M1cwaFaZCVdCLBGk6oZB6fun5sr8LDPC8IBevZlyp2hg8nc51UPbiFBkKREGGCwCBeqw1vOcmUeU9wrMozdUNYgOZp8OIWC8EiIlQSp9hTZgrjLd, libdddmp.so.0()(64bit) >= set:jhqPPQ31, libmtr.so.0()(64bit) >= set:jgzdEwBLRrhsyZ4tCVZg, libst.so.0()(64bit) >= set:ifLGK5z6nZnMJycn, rtld(GNU_HASH) Requires(rpmlib): rpmlib(SetVersions) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.B9piEc Creating cudd-debuginfo package Processing files: libcudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.52909 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd cudd-2.5.1 + DOCDIR=/usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1 + export DOCDIR + rm -rf /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1 + /bin/mkdir -p /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1 + cp -prL dddmp/README.dddmp RELEASE_NOTES.dddmp README.mnemosyne /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1 + chmod -R go-w /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1 + chmod -R a+rX /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-2.5.1 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.r4Qp6b find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libcudd.so.0: 628 symbols, 20 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libdddmp.so.0: 61 symbols, 16 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libepd.so.0: 37 symbols, 16 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libmnem.so.0: 8 symbols, 13 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libmtr.so.0: 52 symbols, 16 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libst.so.0: 22 symbols, 15 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.XhmQlc find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services) Provides: libcudd.so.0()(64bit) = set:ndI1olxJfpmD3ysISV0x7XN2UzAkWbozcXAZFirt3LX0xliKZn8G9hpNgKD8ceRVviPBuod9Jj44rDO3ZIAQ4FKViZCNezXzju24B73JZxw9kpE8Zn2dKIVQVxbiCSwN8ZlcSYJqOJgaQKVDkW3UGPdQcBBiZK6CrpS0oBs6hu7SgaCBvwkSoqGqJCUm9pEuQ7qtJ5J2x8WwrVS8uXHRt0h1rcZoCO2E66QnNl07vAFXSQM0yfQf3RDMpghsXdvOin534vWZE8Jc2HZA9ZmNrE7yitLtbZ9LUttaMdmUFiHkVZzvdOG8Nks6KL65GhYjjBFgeKKeZFHET1PEQoyhtu1bW1771I8APlFcqUWqlQcETGOTzYe0TcaZmFE3eI05YQbojeC4Gxw1GBK9ez4yTcKhnzWoj2wIhL47KTmDhmZ3JNiCwCPSMZ8m4sbXgeK0mEKOZbODUOZFKcEeEbvZ3olAwp0nTcS7fxoCeOtCzqPx2v2xiypojm5UN3a5u1gKOK4dUupTahcdtZCQZiR92fGJaP27iS6O0vkBKAjrLtF8L5QRaZ0gBvcuc0L6BvQ7Cew45N9OZdZwXwlV6t2KQIrYK9uKdZqNUWOx0c2dQtgJeCBzwlB8bDQV0GM1Cxj34rYT3U8VINzNAlvic5h3ua3lR4TDVZEcRZm5RxtZIY9e49xnXcU40H2P0AZCxgZyoynOpWJd47KW9hY1OvR3G9KImI1Job7yYwAFkLyVoTXmlSPHS0IVkIbAb6tRXJ2mvwfDMcd1gZjwNzTiCPtXEGNo7g3gn3Zvu2cwkJz4PgD2B1dWLhtMp6zME09qOqKt8IAf7eBHKrt5OguqIhc0Hrpopntwscl9i3NEKWUaROxDzGEyZcl97M6H485alVgoEGmN9wifjR31gZ250ZEnHPLg20dRmvrtwk7KNRnkcjiSxqIpxu44qogjBXi99JsTZ8M5ZB9Q7RKYKZ5OZw0k7VuAy0RwtV3rlsrkLb4FWj0JFCNyaTO7pZh52ZdFL1VEjuLaXbyj4ecT1DFfFZ4NkGId3csblhgI0ZtyyWrj2Tdjm1Etj53BUpEadxKG0S1YdS73owYBAPpzNbJ6UJp4nY0CwOV2ph3MLIoJSQFU9pKeZ8JwlCiRlE5JFF2yoIoIyO1IYFcdkIxGx0GxXKy4xdugg0tOOL4SelKr9a8oQi0Aaf0g0SxYCETqgOgGvyeNRZH1FRI5YOU8AnNElbtC2P3nOw4NmRRD0wqFkEXhSv9pVN4rfB4PgsEqtJ4IDJGalEzOjUrq6aJ1, libdddmp.so.0()(64bit) = set:jdJIzuAATnsCRobNBFZv1BtnIz1SZEmmLUHu8QDesLS8FkgqXoV29r4qn6kVBiiXHZFOHcSSZvQRmm5MWaZ0QtP7cqYKcVuhNv7PZqxY7fKMOFs0agFOZtxze7, libepd.so.0()(64bit) = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1, libmnem.so.0()(64bit) = set:gcqHJPx3W3nh7gwsX, libmtr.so.0()(64bit) = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6, libst.so.0()(64bit) = set:idlYdDZ37x8IPM939GLcEUA42VkBtkCxZI89k4CjOs016j6 Requires: 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.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libm.so.6(GLIBC_2.29)(64bit), rtld(GNU_HASH) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.nRtMM9 Creating libcudd-debuginfo package Processing files: libcudd-devel-2.5.1-alt3 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DW6MDd find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.VUHi4a find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services) /usr/src/tmp/cudd-buildroot/usr/include/cudd/cuddObj.hh:70:10: fatal error: cstdio: No such file or directory 70 | #include | ^~~~~~~~ compilation terminated. cpp.req: /usr/src/tmp/cudd-buildroot/usr/include/cudd/cuddObj.hh: cpp failed, trying c++ mode Requires: libcudd = 2.5.1-alt3, /usr/lib64/libcudd.so.0, /usr/lib64/libdddmp.so.0, /usr/lib64/libepd.so.0, /usr/lib64/libmnem.so.0, /usr/lib64/libmtr.so.0, /usr/lib64/libst.so.0 Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.n7p3Tb Processing files: libcudd-devel-docs-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.14081 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd cudd-2.5.1 + DOCDIR=/usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1 + export DOCDIR + rm -rf /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1 + /bin/mkdir -p /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1 + cp -prL cudd.doc dddmp.doc mtr.doc st.doc /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1 + chmod -R go-w /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1 + chmod -R a+rX /usr/src/tmp/cudd-buildroot/usr/share/doc/libcudd-devel-docs-2.5.1 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.pLjPyc find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ZSQgH9 find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services) Processing files: cudd-debuginfo-2.5.1-alt3 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.5rzsC9 find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.WML8ud find-requires: running scripts (debuginfo) Requires: cudd = 2.5.1-alt3, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libcudd.so.0), debug64(libdddmp.so.0), debug64(libmtr.so.0), debug64(libst.so.0) Processing files: libcudd-debuginfo-2.5.1-alt3 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.xZDhra find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.BZLowa find-requires: running scripts (debuginfo) Provides: debug64(libcudd.so.0), debug64(libdddmp.so.0), debug64(libepd.so.0), debug64(libmnem.so.0), debug64(libmtr.so.0), debug64(libst.so.0) Requires: libcudd = 2.5.1-alt3, debug64(libc.so.6), debug64(libm.so.6) Adding to cudd-debuginfo a strict dependency on libcudd-debuginfo Removing from cudd-debuginfo 5 sources provided by libcudd-debuginfo Removing 5 extra deps from cudd due to dependency on libcudd Removing 6 extra deps from libcudd-devel due to dependency on libcudd Removing 4 extra deps from cudd-debuginfo due to dependency on libcudd-debuginfo Removing 6 extra deps from cudd due to repentancy on libcudd Removing 1 extra deps from cudd-debuginfo due to repentancy on libcudd-debuginfo Wrote: /usr/src/RPM/RPMS/x86_64/cudd-2.5.1-alt3.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-2.5.1-alt3.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-devel-2.5.1-alt3.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/noarch/libcudd-devel-docs-2.5.1-alt3.noarch.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/cudd-debuginfo-2.5.1-alt3.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-debuginfo-2.5.1-alt3.x86_64.rpm (w2.lzdio) 73.69user 10.28system 1:13.60elapsed 114%CPU (0avgtext+0avgdata 49636maxresident)k 0inputs+0outputs (0major+1616413minor)pagefaults 0swaps 85.87user 17.23system 1:37.80elapsed 105%CPU (0avgtext+0avgdata 108660maxresident)k 0inputs+0outputs (0major+2092466minor)pagefaults 0swaps --- libcudd-2.5.1-alt3.x86_64.rpm.repo 2018-08-12 07:08:19.000000000 +0000 +++ libcudd-2.5.1-alt3.x86_64.rpm.hasher 2021-02-10 04:47:29.427047158 +0000 @@ -15,3 +15,3 @@ Requires: libc.so.6(GLIBC_2.7)(64bit) -Requires: libm.so.6(GLIBC_2.2.5)(64bit) +Requires: libm.so.6(GLIBC_2.29)(64bit) Requires: rtld(GNU_HASH) @@ -21,3 +21,3 @@ Provides: libepd.so.0()(64bit) = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1 -Provides: libmnem.so.0()(64bit) = set:hdgiXaS148oCKteYg95 +Provides: libmnem.so.0()(64bit) = set:gcqHJPx3W3nh7gwsX Provides: libmtr.so.0()(64bit) = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6