<86>May 22 01:25:06 userdel[1705272]: delete user 'rooter' <86>May 22 01:25:06 userdel[1705272]: removed group 'rooter' owned by 'rooter' <86>May 22 01:25:06 userdel[1705272]: removed shadow group 'rooter' owned by 'rooter' <86>May 22 01:25:06 groupadd[1705285]: group added to /etc/group: name=rooter, GID=942 <86>May 22 01:25:06 groupadd[1705285]: group added to /etc/gshadow: name=rooter <86>May 22 01:25:06 groupadd[1705285]: new group: name=rooter, GID=942 <86>May 22 01:25:06 useradd[1705291]: new user: name=rooter, UID=942, GID=942, home=/root, shell=/bin/bash <86>May 22 01:25:06 userdel[1705303]: delete user 'builder' <86>May 22 01:25:06 userdel[1705303]: removed group 'builder' owned by 'builder' <86>May 22 01:25:06 userdel[1705303]: removed shadow group 'builder' owned by 'builder' <86>May 22 01:25:06 groupadd[1705313]: group added to /etc/group: name=builder, GID=943 <86>May 22 01:25:06 groupadd[1705313]: group added to /etc/gshadow: name=builder <86>May 22 01:25:06 groupadd[1705313]: new group: name=builder, GID=943 <86>May 22 01:25:06 useradd[1705321]: new user: name=builder, UID=943, GID=943, home=/usr/src, shell=/bin/bash <13>May 22 01:25:07 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>May 22 01:25:08 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+278099.1300.1.1 1626028636 installed <13>May 22 01:25:08 rpmi: libstdc++10-devel-10.3.1-alt2 sisyphus+277353.100.2.1 1625525890 installed <13>May 22 01:25:08 rpmi: gcc10-c++-10.3.1-alt2 sisyphus+277353.100.2.1 1625525890 installed <13>May 22 01:25:08 rpmi: gcc-c++-10-alt1 sisyphus+263054.200.3.1 1607517515 installed <13>May 22 01:25:08 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.68460 + 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.68460 + 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 -j16 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 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 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 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 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 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 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 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 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 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 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' 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' 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 -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 -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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 -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 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 -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 -j16 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 -j16 -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.10059 + 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) Processing files: cudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.47330 + 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.2EQDTM find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.03F2BN find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,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.GozxEL Creating cudd-debuginfo package Processing files: libcudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.87954 + 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.j0e32M find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,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.5wBTuO find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,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.R5wQ7P 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.u7cZRL find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.q2CqKM find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,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.EA7hSM Processing files: libcudd-devel-docs-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.61813 + 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.xv7kuP find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ACTpCP find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,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.SW683L find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.9GFvqO 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.xAVSeP find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.PPwRgM 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) 20.80user 4.25system 0:19.45elapsed 128%CPU (0avgtext+0avgdata 49508maxresident)k 0inputs+0outputs (0major+1457521minor)pagefaults 0swaps 24.39user 7.10system 0:25.07elapsed 125%CPU (0avgtext+0avgdata 112496maxresident)k 0inputs+0outputs (47888major+1862093minor)pagefaults 0swaps --- cudd-2.5.1-alt3.x86_64.rpm.repo 2018-08-12 07:08:19.000000000 +0000 +++ cudd-2.5.1-alt3.x86_64.rpm.hasher 2022-05-22 01:25:29.886166981 +0000 @@ -19,3 +19,3 @@ Provides: cudd = 2.5.1-alt3 -File: /usr/bin/nanotrav 100755 root:root d9a48efc66154101374ed1baaf892447 +File: /usr/bin/nanotrav 100755 root:root 85a9dfeb1ab20ae29d60e8be92f039f8 File: /usr/share/doc/cudd-2.5.1 40755 root:root @@ -34,2 +34,2 @@ File: /usr/share/man/man1/nanotrav.1.xz 100644 root:root 2d9d5609fb3580693560d6a94ee432c3 -RPMIdentity: 3571dbd1ecf2daa56533803b2c5a54c7f09512f9dc2e1e7a508a31404a32d134cc6713fb2e8aa1395a250426dc7d60686d927afff80084ab3f89d6434cf10066 +RPMIdentity: b504d1d59267eded63b853d3bf22fcfcc31e8a01348c8d054800d96ac6607a9384fb15b9c0e89a1b4e35513f063b2ae87dc6a48d89c373e45ebf00dbb578c407 --- cudd-debuginfo-2.5.1-alt3.x86_64.rpm.repo 2018-08-12 07:08:19.000000000 +0000 +++ cudd-debuginfo-2.5.1-alt3.x86_64.rpm.hasher 2022-05-22 01:25:29.935167781 +0000 @@ -1,4 +1,4 @@ -/usr/lib/debug/.build-id/ca 40755 root:root -/usr/lib/debug/.build-id/ca/63db930fd7c9379555b2ac581d6d94d8b2ee9a 120777 root:root ../../../../bin/nanotrav -/usr/lib/debug/.build-id/ca/63db930fd7c9379555b2ac581d6d94d8b2ee9a.debug 120777 root:root ../../usr/bin/nanotrav.debug +/usr/lib/debug/.build-id/4d 40755 root:root +/usr/lib/debug/.build-id/4d/311ef688cd6c9a4284331edae560f1bcf84027 120777 root:root ../../../../bin/nanotrav +/usr/lib/debug/.build-id/4d/311ef688cd6c9a4284331edae560f1bcf84027.debug 120777 root:root ../../usr/bin/nanotrav.debug /usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root @@ -25,6 +25,6 @@ Provides: cudd-debuginfo = 2.5.1-alt3 -File: /usr/lib/debug/.build-id/ca 40755 root:root -File: /usr/lib/debug/.build-id/ca/63db930fd7c9379555b2ac581d6d94d8b2ee9a 120777 root:root ../../../../bin/nanotrav -File: /usr/lib/debug/.build-id/ca/63db930fd7c9379555b2ac581d6d94d8b2ee9a.debug 120777 root:root ../../usr/bin/nanotrav.debug -File: /usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root 8a7e56c649ee5be8d9965f33daed8c05 +File: /usr/lib/debug/.build-id/4d 40755 root:root +File: /usr/lib/debug/.build-id/4d/311ef688cd6c9a4284331edae560f1bcf84027 120777 root:root ../../../../bin/nanotrav +File: /usr/lib/debug/.build-id/4d/311ef688cd6c9a4284331edae560f1bcf84027.debug 120777 root:root ../../usr/bin/nanotrav.debug +File: /usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root 4b203655d4f6fd18f5b905739aeb9e4d File: /usr/src/debug/cudd-2.5.1 40755 root:root @@ -45,2 +45,2 @@ File: /usr/src/debug/cudd-2.5.1/nanotrav/ucbqsort.c 100644 root:root c5123157ce8a9232a63ac86ac5874d3a -RPMIdentity: 60a86af4e89fbf818f23e247673d805b301748ac045c5e1c20a97f1bd9bc0c64d77320c65751e7edd7f026d60341fa3f336fe5807d978363abac08bbb924af19 +RPMIdentity: a55fa49752eb82fa1dc29aa8c86211e0af5a3ed32f6c3d3df18cf5b666ec120ab58c0bfa271dcda941f4dfefc334515f67fc3e2164f5f673b973d5bc1bce779a --- 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 2022-05-22 01:25:29.978168483 +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 @@ -25,8 +25,8 @@ Provides: libcudd = 2.5.1-alt3 -File: /usr/lib64/libcudd.so.0 100644 root:root 7d1f9562cec3b3577c0444db6e95d1ff -File: /usr/lib64/libdddmp.so.0 100644 root:root e9e8845680c95e42a3a8432200310a55 -File: /usr/lib64/libepd.so.0 100644 root:root 5e394193c0ea65441abd950b089736a6 -File: /usr/lib64/libmnem.so.0 100644 root:root ab01f38fdbed27d0b3ce00bfab3b9fca -File: /usr/lib64/libmtr.so.0 100644 root:root 968d2342dbf41886b9e5125e7e04eb6d -File: /usr/lib64/libst.so.0 100644 root:root 0fa7e13a030b2b575622eab1862adf0b +File: /usr/lib64/libcudd.so.0 100644 root:root 94a0ab5e367745ea25c7304202306514 +File: /usr/lib64/libdddmp.so.0 100644 root:root 81cdbcceffa1b9abe3862da1b75691fa +File: /usr/lib64/libepd.so.0 100644 root:root 03eb8ba39177dae0352c933321b5e4c3 +File: /usr/lib64/libmnem.so.0 100644 root:root 7f61231b7639780df93f281e193c1fff +File: /usr/lib64/libmtr.so.0 100644 root:root 3027d3c350af2d5b3d1087fdd0507138 +File: /usr/lib64/libst.so.0 100644 root:root 7bada8be2bccad00900359067ef32701 File: /usr/share/doc/libcudd-2.5.1 40755 root:root @@ -35,2 +35,2 @@ File: /usr/share/doc/libcudd-2.5.1/RELEASE_NOTES.dddmp 100644 root:root 198407f7f5098a6eba3de09fdc23e652 -RPMIdentity: 689e2635110ddbb82fe8846a9646b89e2983b67a7089c4dcbf6abadc6cf9e8ee95d502683fd4a0ed0d90bb5ecef2ee5153c01d111d5fcd3f585774497363d0cc +RPMIdentity: d2957ca5b71088a7d926b222de25f21862c61946e7ebc27f04700f8129ac32879b7ef437ac5b83386462199dcd5b3800654bd89b05092b61641fa20c566e1de8 --- libcudd-debuginfo-2.5.1-alt3.x86_64.rpm.repo 2018-08-12 07:08:19.000000000 +0000 +++ libcudd-debuginfo-2.5.1-alt3.x86_64.rpm.hasher 2022-05-22 01:25:30.044169562 +0000 @@ -1,19 +1,19 @@ -/usr/lib/debug/.build-id/05 40755 root:root -/usr/lib/debug/.build-id/05/f3de95f121051756f7e564b7fed1a05e415d60 120777 root:root ../../../../lib64/libcudd.so.0 -/usr/lib/debug/.build-id/05/f3de95f121051756f7e564b7fed1a05e415d60.debug 120777 root:root ../../usr/lib64/libcudd.so.0.debug -/usr/lib/debug/.build-id/36 40755 root:root -/usr/lib/debug/.build-id/36/8ab0aface304c56221f8af0a1835a51f393b79 120777 root:root ../../../../lib64/libmtr.so.0 -/usr/lib/debug/.build-id/36/8ab0aface304c56221f8af0a1835a51f393b79.debug 120777 root:root ../../usr/lib64/libmtr.so.0.debug -/usr/lib/debug/.build-id/3b 40755 root:root -/usr/lib/debug/.build-id/3b/8f09d7dcfed63298561821ac2c9a9c9a733257 120777 root:root ../../../../lib64/libst.so.0 -/usr/lib/debug/.build-id/3b/8f09d7dcfed63298561821ac2c9a9c9a733257.debug 120777 root:root ../../usr/lib64/libst.so.0.debug +/usr/lib/debug/.build-id/0e 40755 root:root +/usr/lib/debug/.build-id/0e/85eafbc2f2860c2e7883360bb85c279e03a799 120777 root:root ../../../../lib64/libcudd.so.0 +/usr/lib/debug/.build-id/0e/85eafbc2f2860c2e7883360bb85c279e03a799.debug 120777 root:root ../../usr/lib64/libcudd.so.0.debug +/usr/lib/debug/.build-id/2d 40755 root:root +/usr/lib/debug/.build-id/2d/782002cf0a09fce0628106bc1b4cbb806efb7c 120777 root:root ../../../../lib64/libmnem.so.0 +/usr/lib/debug/.build-id/2d/782002cf0a09fce0628106bc1b4cbb806efb7c.debug 120777 root:root ../../usr/lib64/libmnem.so.0.debug /usr/lib/debug/.build-id/70 40755 root:root -/usr/lib/debug/.build-id/70/7caa3d969e679838b7c40e7def911d8bbc6137 120777 root:root ../../../../lib64/libdddmp.so.0 -/usr/lib/debug/.build-id/70/7caa3d969e679838b7c40e7def911d8bbc6137.debug 120777 root:root ../../usr/lib64/libdddmp.so.0.debug -/usr/lib/debug/.build-id/af 40755 root:root -/usr/lib/debug/.build-id/af/5b519c0dbafc2bcef710afd0ce97079c115bce 120777 root:root ../../../../lib64/libepd.so.0 -/usr/lib/debug/.build-id/af/5b519c0dbafc2bcef710afd0ce97079c115bce.debug 120777 root:root ../../usr/lib64/libepd.so.0.debug -/usr/lib/debug/.build-id/eb 40755 root:root -/usr/lib/debug/.build-id/eb/61daa92b850f9d8ea7b44e6a8d3ee6077f7a76 120777 root:root ../../../../lib64/libmnem.so.0 -/usr/lib/debug/.build-id/eb/61daa92b850f9d8ea7b44e6a8d3ee6077f7a76.debug 120777 root:root ../../usr/lib64/libmnem.so.0.debug +/usr/lib/debug/.build-id/70/2863abbfd1c771fa9c43ac138658c2142b33d9 120777 root:root ../../../../lib64/libdddmp.so.0 +/usr/lib/debug/.build-id/70/2863abbfd1c771fa9c43ac138658c2142b33d9.debug 120777 root:root ../../usr/lib64/libdddmp.so.0.debug +/usr/lib/debug/.build-id/76 40755 root:root +/usr/lib/debug/.build-id/76/8705c49ddc487696de42742920c3813af348da 120777 root:root ../../../../lib64/libst.so.0 +/usr/lib/debug/.build-id/76/8705c49ddc487696de42742920c3813af348da.debug 120777 root:root ../../usr/lib64/libst.so.0.debug +/usr/lib/debug/.build-id/91 40755 root:root +/usr/lib/debug/.build-id/91/50ad92c68aafaff17391366c5551c2878913c2 120777 root:root ../../../../lib64/libmtr.so.0 +/usr/lib/debug/.build-id/91/50ad92c68aafaff17391366c5551c2878913c2.debug 120777 root:root ../../usr/lib64/libmtr.so.0.debug +/usr/lib/debug/.build-id/b3 40755 root:root +/usr/lib/debug/.build-id/b3/44124e6401191709afac68e2394328b6ce4a44 120777 root:root ../../../../lib64/libepd.so.0 +/usr/lib/debug/.build-id/b3/44124e6401191709afac68e2394328b6ce4a44.debug 120777 root:root ../../usr/lib64/libepd.so.0.debug /usr/lib/debug/usr/lib64/libcudd.so.0.debug 100644 root:root @@ -152,26 +152,26 @@ Provides: libcudd-debuginfo = 2.5.1-alt3 -File: /usr/lib/debug/.build-id/05 40755 root:root -File: /usr/lib/debug/.build-id/05/f3de95f121051756f7e564b7fed1a05e415d60 120777 root:root ../../../../lib64/libcudd.so.0 -File: /usr/lib/debug/.build-id/05/f3de95f121051756f7e564b7fed1a05e415d60.debug 120777 root:root ../../usr/lib64/libcudd.so.0.debug -File: /usr/lib/debug/.build-id/36 40755 root:root -File: /usr/lib/debug/.build-id/36/8ab0aface304c56221f8af0a1835a51f393b79 120777 root:root ../../../../lib64/libmtr.so.0 -File: /usr/lib/debug/.build-id/36/8ab0aface304c56221f8af0a1835a51f393b79.debug 120777 root:root ../../usr/lib64/libmtr.so.0.debug -File: /usr/lib/debug/.build-id/3b 40755 root:root -File: /usr/lib/debug/.build-id/3b/8f09d7dcfed63298561821ac2c9a9c9a733257 120777 root:root ../../../../lib64/libst.so.0 -File: /usr/lib/debug/.build-id/3b/8f09d7dcfed63298561821ac2c9a9c9a733257.debug 120777 root:root ../../usr/lib64/libst.so.0.debug +File: /usr/lib/debug/.build-id/0e 40755 root:root +File: /usr/lib/debug/.build-id/0e/85eafbc2f2860c2e7883360bb85c279e03a799 120777 root:root ../../../../lib64/libcudd.so.0 +File: /usr/lib/debug/.build-id/0e/85eafbc2f2860c2e7883360bb85c279e03a799.debug 120777 root:root ../../usr/lib64/libcudd.so.0.debug +File: /usr/lib/debug/.build-id/2d 40755 root:root +File: /usr/lib/debug/.build-id/2d/782002cf0a09fce0628106bc1b4cbb806efb7c 120777 root:root ../../../../lib64/libmnem.so.0 +File: /usr/lib/debug/.build-id/2d/782002cf0a09fce0628106bc1b4cbb806efb7c.debug 120777 root:root ../../usr/lib64/libmnem.so.0.debug File: /usr/lib/debug/.build-id/70 40755 root:root -File: /usr/lib/debug/.build-id/70/7caa3d969e679838b7c40e7def911d8bbc6137 120777 root:root ../../../../lib64/libdddmp.so.0 -File: /usr/lib/debug/.build-id/70/7caa3d969e679838b7c40e7def911d8bbc6137.debug 120777 root:root ../../usr/lib64/libdddmp.so.0.debug -File: /usr/lib/debug/.build-id/af 40755 root:root -File: /usr/lib/debug/.build-id/af/5b519c0dbafc2bcef710afd0ce97079c115bce 120777 root:root ../../../../lib64/libepd.so.0 -File: /usr/lib/debug/.build-id/af/5b519c0dbafc2bcef710afd0ce97079c115bce.debug 120777 root:root ../../usr/lib64/libepd.so.0.debug -File: /usr/lib/debug/.build-id/eb 40755 root:root -File: /usr/lib/debug/.build-id/eb/61daa92b850f9d8ea7b44e6a8d3ee6077f7a76 120777 root:root ../../../../lib64/libmnem.so.0 -File: /usr/lib/debug/.build-id/eb/61daa92b850f9d8ea7b44e6a8d3ee6077f7a76.debug 120777 root:root ../../usr/lib64/libmnem.so.0.debug -File: /usr/lib/debug/usr/lib64/libcudd.so.0.debug 100644 root:root 46f10c14a83ddfdc72acb61fa5cc2398 -File: /usr/lib/debug/usr/lib64/libdddmp.so.0.debug 100644 root:root 70c0f7f41084a28b8a228761cf74cddb -File: /usr/lib/debug/usr/lib64/libepd.so.0.debug 100644 root:root 274e99662a3c6dd0f0c80282dc5e11e1 -File: /usr/lib/debug/usr/lib64/libmnem.so.0.debug 100644 root:root 9d7eac81c05d2d8996a77ed1c7a34c5b -File: /usr/lib/debug/usr/lib64/libmtr.so.0.debug 100644 root:root 163dd508d7a23d583203a2c4cf7a6ea6 -File: /usr/lib/debug/usr/lib64/libst.so.0.debug 100644 root:root 62cc6fa982fdeba0b68cf09d70f9316c +File: /usr/lib/debug/.build-id/70/2863abbfd1c771fa9c43ac138658c2142b33d9 120777 root:root ../../../../lib64/libdddmp.so.0 +File: /usr/lib/debug/.build-id/70/2863abbfd1c771fa9c43ac138658c2142b33d9.debug 120777 root:root ../../usr/lib64/libdddmp.so.0.debug +File: /usr/lib/debug/.build-id/76 40755 root:root +File: /usr/lib/debug/.build-id/76/8705c49ddc487696de42742920c3813af348da 120777 root:root ../../../../lib64/libst.so.0 +File: /usr/lib/debug/.build-id/76/8705c49ddc487696de42742920c3813af348da.debug 120777 root:root ../../usr/lib64/libst.so.0.debug +File: /usr/lib/debug/.build-id/91 40755 root:root +File: /usr/lib/debug/.build-id/91/50ad92c68aafaff17391366c5551c2878913c2 120777 root:root ../../../../lib64/libmtr.so.0 +File: /usr/lib/debug/.build-id/91/50ad92c68aafaff17391366c5551c2878913c2.debug 120777 root:root ../../usr/lib64/libmtr.so.0.debug +File: /usr/lib/debug/.build-id/b3 40755 root:root +File: /usr/lib/debug/.build-id/b3/44124e6401191709afac68e2394328b6ce4a44 120777 root:root ../../../../lib64/libepd.so.0 +File: /usr/lib/debug/.build-id/b3/44124e6401191709afac68e2394328b6ce4a44.debug 120777 root:root ../../usr/lib64/libepd.so.0.debug +File: /usr/lib/debug/usr/lib64/libcudd.so.0.debug 100644 root:root ed9d3676d9ca843b0735ebbecc56ef7f +File: /usr/lib/debug/usr/lib64/libdddmp.so.0.debug 100644 root:root c70a305bcef8d976f0052148b1000b40 +File: /usr/lib/debug/usr/lib64/libepd.so.0.debug 100644 root:root 2a535114ec6ca822f315a3e4e713b6a6 +File: /usr/lib/debug/usr/lib64/libmnem.so.0.debug 100644 root:root 19ac35d506b2c977d065685165c3f0c8 +File: /usr/lib/debug/usr/lib64/libmtr.so.0.debug 100644 root:root 018ff3087b630427c9f571d0baa5ef52 +File: /usr/lib/debug/usr/lib64/libst.so.0.debug 100644 root:root 06d6336e1800a01590120a10f12a6df7 File: /usr/src/debug/cudd-2.5.1 40755 root:root @@ -293,2 +293,2 @@ File: /usr/src/debug/cudd-2.5.1/util/util.h 100644 root:root 838080203d6b75c83fbf57d160d0eec6 -RPMIdentity: 690ebd02228953e7c2574a6e5c5804da2ea15dcdfc592c4a972a52bbf4646c41d46577700fc956147aa17e54f9e21820752217fe6ff78e73f11c6107c0cb10aa +RPMIdentity: 95b65be354a7efdb23230d432bdd218018864bcb2e179e4abe5100f0e56a8d75e1422052d7102bbcd8a4d2fd056491882cadc6a46c8fee38147afb913912077f