<86>Jul 15 11:12:33 userdel[1142881]: delete user 'rooter' <86>Jul 15 11:12:33 userdel[1142881]: removed group 'rooter' owned by 'rooter' <86>Jul 15 11:12:33 userdel[1142881]: removed shadow group 'rooter' owned by 'rooter' <86>Jul 15 11:12:33 groupadd[1142903]: group added to /etc/group: name=rooter, GID=705 <86>Jul 15 11:12:33 groupadd[1142903]: group added to /etc/gshadow: name=rooter <86>Jul 15 11:12:33 groupadd[1142903]: new group: name=rooter, GID=705 <86>Jul 15 11:12:33 useradd[1142946]: new user: name=rooter, UID=705, GID=705, home=/root, shell=/bin/bash <86>Jul 15 11:12:33 userdel[1142964]: delete user 'builder' <86>Jul 15 11:12:33 userdel[1142964]: removed group 'builder' owned by 'builder' <86>Jul 15 11:12:33 userdel[1142964]: removed shadow group 'builder' owned by 'builder' <86>Jul 15 11:12:33 groupadd[1143021]: group added to /etc/group: name=builder, GID=706 <86>Jul 15 11:12:33 groupadd[1143021]: group added to /etc/gshadow: name=builder <86>Jul 15 11:12:33 groupadd[1143021]: new group: name=builder, GID=706 <86>Jul 15 11:12:33 useradd[1143113]: new user: name=builder, UID=706, GID=706, home=/usr/src, shell=/bin/bash <13>Jul 15 11:12:35 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>Jul 15 11:12:36 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+278099.1300.1.1 1626028636 installed <13>Jul 15 11:12:37 rpmi: libstdc++10-devel-10.3.1-alt2 sisyphus+277353.100.2.1 1625526466 installed <13>Jul 15 11:12:38 rpmi: gcc10-c++-10.3.1-alt2 sisyphus+277353.100.2.1 1625526466 installed <13>Jul 15 11:12:38 rpmi: gcc-c++-10-alt1 sisyphus+263054.200.3.1 1607516810 installed <13>Jul 15 11:12:38 rpmi: libstdc++-devel-10-alt1 sisyphus+263054.200.3.1 1607517515 installed Building target platforms: i586 Building for target i586 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: i586 Building for target i586 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.80957 + 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|#@i586@||' Makefile + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.80957 + 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 -march=i586 -mtune=generic -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export FFLAGS + make -j8 build make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1' sh ./setup.sh make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1' Making util ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -c cpu_time.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c cpu_stats.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c safe_mem.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c strsav.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c texpand.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ptime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c cstringstream.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC In file included from /usr/include/string.h:532, from cstringstream.c:49: In function 'strncpy', inlined from 'appendStringStringStream' at cstringstream.c:141:3: /usr/include/bits/string_fortified.h:91:10: warning: '__builtin_strncpy' output truncated before terminating nul copying as many bytes from a string as its length [-Wstringop-truncation] 91 | return __builtin___strncpy_chk (__dest, __src, __len, __bos (__dest)); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cstringstream.c: In function 'appendStringStringStream': cstringstream.c:138:16: note: length computed here 138 | size_t len = strlen(s); | ^~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -c stub.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c datalimit.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c prtime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c pipefork.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c pathsearch.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' ar rv libutil.a cstringstream.o cpu_time.o cpu_stats.o safe_mem.o strsav.o texpand.o ptime.o prtime.o pipefork.o pathsearch.o stub.o datalimit.o ar: creating libutil.a a - cstringstream.o a - cpu_time.o a - cpu_stats.o a - safe_mem.o a - strsav.o a - texpand.o a - ptime.o a - prtime.o a - pipefork.o a - pathsearch.o a - stub.o a - datalimit.o ranlib libutil.a make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' Making mtr ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -c mtrBasic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -c mtrGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c st.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c epd.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAddFind.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAddInv.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAddNeg.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAddApply.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAndAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAnneal.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAddWalsh.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddBddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddBddCorr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddBddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddAPI.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddBridge.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddApa.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddCheck.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddClip.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddGenetic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddCompose.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddDecomp.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddInit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddEssent.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddGenCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddApprox.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddExact.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddHarwell.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddLiteral.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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:465:8: warning: 'upper' may be used uninitialized in this function [-Wmaybe-uninitialized] 465 | if (upper == -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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddInteract.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddLevelQ.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddMatMult.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddExport.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddLCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddRead.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddSign.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddRef.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddLinear.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddSolve.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddSat.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddSplit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddReorder.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddSubsetSP.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddCount.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddSubsetHB.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddPriority.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddWindow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddIsop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddLin.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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:441:8: warning: 'upper' may be used uninitialized in this function [-Wmaybe-uninitialized] 441 | if (upper == -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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddMisc.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddFuncs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddSymmetry.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddPort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddSetop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddReord.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD In file included from cuddZddReord.c:77: cuddZddReord.c: In function 'cuddZddSwapInPlace': cuddInt.h:699:4: warning: 'newf1' may be used uninitialized in this function [-Wmaybe-uninitialized] 699 | ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s)) | ^ 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddTable.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD cuddTable.c: In function 'ddResizeTable': cuddTable.c:2587:33: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized] 2587 | int *newperm, *newinvperm, *newmap; | ^~~~~~ cuddTable.c: In function 'cuddInsertSubtables': cuddTable.c:1857:33: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized] 1857 | int *newperm, *newinvperm, *newmap; | ^~~~~~ 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddSymm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c cuddZddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpNodeBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpNodeAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpLoadCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpNodeCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpConvert.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpUtil.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpDbg.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpBinary.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpStoreMisc.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -march=i586 -mtune=generic -fPIC -DPIC -c dddmpLoad.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD 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 -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrHeap.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c chkMterm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrShort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ucbqsort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrZddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c main.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c bnet.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC In file included from bnet.h:60, from bnet.c:49: bnet.c: In function 'Bnet_BuildNodeBDD': ../include/cudd.h:373:55: warning: 'phase[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] 373 | #define Cudd_NotCond(node,c) ((DdNode *)((long)(node) ^ (c))) | ^ bnet.c:1909:9: note: 'phase[1]' was declared here 1909 | int phase[2]; | ^~~~~ In file included from bnet.h:60, from bnet.c:49: ../include/cudd.h:373:55: warning: 'phase[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] 373 | #define Cudd_NotCond(node,c) ((DdNode *)((long)(node) ^ (c))) | ^ 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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrBddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -c ntrMflow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export FFLAGS + make -j8 nanotrav make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1' sh ./setup.sh make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1' Making util ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:35: warning: ignoring prerequisites on suffix rule definition Makefile:44: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: 'libutil.a' is up to date. Making mtr ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:60: warning: ignoring prerequisites on suffix rule definition Makefile:69: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr' make[1]: 'libmtr.so' is up to date. Making st ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st' make[1]: 'libst.so' is up to date. Making epd ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:37: warning: ignoring prerequisites on suffix rule definition Makefile:46: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd' make[1]: 'libepd.so' is up to date. Making cudd ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:91: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:82: warning: ignoring prerequisites on suffix rule definition Makefile:91: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: 'libcudd.so' is up to date. Making dddmp ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:193: warning: ignoring prerequisites on suffix rule definition Makefile:202: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp' make[1]: 'libdddmp.so' is up to date. Making nanotrav ... make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:67: warning: ignoring prerequisites on suffix rule definition Makefile:80: warning: ignoring prerequisites on suffix rule definition make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make[1]: 'nanotrav' is up to date. + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export FFLAGS + make -j8 -C mnemosyne make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' cc -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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: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 -march=i586 -mtune=generic -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_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.38475 + 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/lib /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/lib/ + 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/lib/libst.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib/libmtr.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib/libmnem.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib/libepd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib/libdddmp.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib/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/lib: (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) verify-elf: WARNING: ./usr/lib/libmtr.so.0: uses non-LFS functions: getrlimit verify-elf: WARNING: ./usr/lib/libmnem.so.0: uses non-LFS functions: fopen lseek open verify-elf: WARNING: ./usr/lib/libdddmp.so.0: uses non-LFS functions: fgetpos fopen fsetpos verify-elf: WARNING: ./usr/bin/nanotrav: uses non-LFS functions: fopen Processing files: cudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.50686 + 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.xR503l 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.CY0drk 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, /lib/ld-linux.so.2, libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.4), libc.so.6(GLIBC_2.7), libcudd.so.0 >= set:nfYF8PWV8GG3wjdigRanZKOKZhnb1hcRQ62FHDTdLjaEghZCqowb5E9CDyyE0wIw5ha1BByWuHiaRnX3h37Kc3r4jiQH3zGXZFgD1Imj2bgNNi0ZK3Dg8qRlKZlUhykbKFU8DD1vVrOk12jvYLaPEuu42Qy4GYg2pVPB9uzymOg44CKkxZFeYQy1ShqnpOtmxne1Er4yqHXcaJYKXWdJxE39YmTwXOuSE8rlymcImA059QH861K6M1cwaFaZCVdCLBGk6oZB6fun5sr8LDPC8IBevZlyp2hg8nc51UPbiFBkKREGGCwCBeqw1vOcmUeU9wrMozdUNYgOZp8OIWC8EiIlQSp9hTZgrjLd, libdddmp.so.0 >= set:jhqPPQ31, libmtr.so.0 >= set:jgzdEwBLRrhsyZ4tCVZg, libst.so.0 >= 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.qgeZom Creating cudd-debuginfo package Processing files: libcudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.24287 + 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.fTmdQi find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libcudd.so.0: 628 symbols, 20 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libdddmp.so.0: 61 symbols, 16 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libepd.so.0: 37 symbols, 16 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libmnem.so.0: 8 symbols, 13 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libmtr.so.0: 52 symbols, 16 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib/libst.so.0: 22 symbols, 15 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.2WOhuj 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 = set:ndI1olxJfpmD3ysISV0x7XN2UzAkWbozcXAZFirt3LX0xliKZn8G9hpNgKD8ceRVviPBuod9Jj44rDO3ZIAQ4FKViZCNezXzju24B73JZxw9kpE8Zn2dKIVQVxbiCSwN8ZlcSYJqOJgaQKVDkW3UGPdQcBBiZK6CrpS0oBs6hu7SgaCBvwkSoqGqJCUm9pEuQ7qtJ5J2x8WwrVS8uXHRt0h1rcZoCO2E66QnNl07vAFXSQM0yfQf3RDMpghsXdvOin534vWZE8Jc2HZA9ZmNrE7yitLtbZ9LUttaMdmUFiHkVZzvdOG8Nks6KL65GhYjjBFgeKKeZFHET1PEQoyhtu1bW1771I8APlFcqUWqlQcETGOTzYe0TcaZmFE3eI05YQbojeC4Gxw1GBK9ez4yTcKhnzWoj2wIhL47KTmDhmZ3JNiCwCPSMZ8m4sbXgeK0mEKOZbODUOZFKcEeEbvZ3olAwp0nTcS7fxoCeOtCzqPx2v2xiypojm5UN3a5u1gKOK4dUupTahcdtZCQZiR92fGJaP27iS6O0vkBKAjrLtF8L5QRaZ0gBvcuc0L6BvQ7Cew45N9OZdZwXwlV6t2KQIrYK9uKdZqNUWOx0c2dQtgJeCBzwlB8bDQV0GM1Cxj34rYT3U8VINzNAlvic5h3ua3lR4TDVZEcRZm5RxtZIY9e49xnXcU40H2P0AZCxgZyoynOpWJd47KW9hY1OvR3G9KImI1Job7yYwAFkLyVoTXmlSPHS0IVkIbAb6tRXJ2mvwfDMcd1gZjwNzTiCPtXEGNo7g3gn3Zvu2cwkJz4PgD2B1dWLhtMp6zME09qOqKt8IAf7eBHKrt5OguqIhc0Hrpopntwscl9i3NEKWUaROxDzGEyZcl97M6H485alVgoEGmN9wifjR31gZ250ZEnHPLg20dRmvrtwk7KNRnkcjiSxqIpxu44qogjBXi99JsTZ8M5ZB9Q7RKYKZ5OZw0k7VuAy0RwtV3rlsrkLb4FWj0JFCNyaTO7pZh52ZdFL1VEjuLaXbyj4ecT1DFfFZ4NkGId3csblhgI0ZtyyWrj2Tdjm1Etj53BUpEadxKG0S1YdS73owYBAPpzNbJ6UJp4nY0CwOV2ph3MLIoJSQFU9pKeZ8JwlCiRlE5JFF2yoIoIyO1IYFcdkIxGx0GxXKy4xdugg0tOOL4SelKr9a8oQi0Aaf0g0SxYCETqgOgGvyeNRZH1FRI5YOU8AnNElbtC2P3nOw4NmRRD0wqFkEXhSv9pVN4rfB4PgsEqtJ4IDJGalEzOjUrq6aJ1, libdddmp.so.0 = set:jdJIzuAATnsCRobNBFZv1BtnIz1SZEmmLUHu8QDesLS8FkgqXoV29r4qn6kVBiiXHZFOHcSSZvQRmm5MWaZ0QtP7cqYKcVuhNv7PZqxY7fKMOFs0agFOZtxze7, libepd.so.0 = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1, libmnem.so.0 = set:gcqHJPx3W3nh7gwsX, libmtr.so.0 = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6, libst.so.0 = set:idlYdDZ37x8IPM939GLcEUA42VkBtkCxZI89k4CjOs016j6 Requires: libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.2), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.4), libc.so.6(GLIBC_2.7), libm.so.6(GLIBC_2.29), rtld(GNU_HASH) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.lYFdlk 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.rZQzQk 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.CqHsdl 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/lib/libcudd.so.0, /usr/lib/libdddmp.so.0, /usr/lib/libepd.so.0, /usr/lib/libmnem.so.0, /usr/lib/libmtr.so.0, /usr/lib/libst.so.0 Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.vpv4Rl Processing files: libcudd-devel-docs-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.11071 + 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.6fIpIj 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.GmZ1xk 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.T5heYl find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.2aay2j find-requires: running scripts (debuginfo) Requires: cudd = 2.5.1-alt3, /usr/lib/debug/lib/ld-linux.so.2.debug, debug(libc.so.6), debug(libcudd.so.0), debug(libdddmp.so.0), debug(libmtr.so.0), debug(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.K7WWYm find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.JP08Hj find-requires: running scripts (debuginfo) Provides: debug(libcudd.so.0), debug(libdddmp.so.0), debug(libepd.so.0), debug(libmnem.so.0), debug(libmtr.so.0), debug(libst.so.0) Requires: libcudd = 2.5.1-alt3, debug(libc.so.6), debug(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 7 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/i586/cudd-2.5.1-alt3.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libcudd-2.5.1-alt3.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libcudd-devel-2.5.1-alt3.i586.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/i586/cudd-debuginfo-2.5.1-alt3.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libcudd-debuginfo-2.5.1-alt3.i586.rpm (w2.lzdio) 32.32user 3.93system 0:27.20elapsed 133%CPU (0avgtext+0avgdata 39368maxresident)k 0inputs+0outputs (0major+1347492minor)pagefaults 0swaps 38.20user 7.11system 0:36.95elapsed 122%CPU (0avgtext+0avgdata 108308maxresident)k 16inputs+0outputs (0major+1779862minor)pagefaults 0swaps --- cudd-2.5.1-alt3.i586.rpm.repo 2018-08-12 07:08:18.000000000 +0000 +++ cudd-2.5.1-alt3.i586.rpm.hasher 2021-07-15 11:13:08.362292611 +0000 @@ -19,3 +19,3 @@ Provides: cudd = 2.5.1-alt3 -File: /usr/bin/nanotrav 100755 root:root 2a235e2f9818194e361bdb5eca65c1da +File: /usr/bin/nanotrav 100755 root:root 7cda10caa68c7feab7554f679a64e49a 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: f271f111fff282bb58a6293fe584bb4f +RPMIdentity: 301f4e3a35cf5d9eecf1b4e1f4348bc5 --- cudd-debuginfo-2.5.1-alt3.i586.rpm.repo 2018-08-12 07:08:18.000000000 +0000 +++ cudd-debuginfo-2.5.1-alt3.i586.rpm.hasher 2021-07-15 11:13:08.455291987 +0000 @@ -1,4 +1,4 @@ -/usr/lib/debug/.build-id/7e 40755 root:root -/usr/lib/debug/.build-id/7e/b2f5cd7b714d17567cf204bb30b4c4353ebcc6 120777 root:root ../../../../bin/nanotrav -/usr/lib/debug/.build-id/7e/b2f5cd7b714d17567cf204bb30b4c4353ebcc6.debug 120777 root:root ../../usr/bin/nanotrav.debug +/usr/lib/debug/.build-id/4e 40755 root:root +/usr/lib/debug/.build-id/4e/f774c4a5ff1bd59fb9aeb36810d03b4e510fc7 120777 root:root ../../../../bin/nanotrav +/usr/lib/debug/.build-id/4e/f774c4a5ff1bd59fb9aeb36810d03b4e510fc7.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/7e 40755 root:root -File: /usr/lib/debug/.build-id/7e/b2f5cd7b714d17567cf204bb30b4c4353ebcc6 120777 root:root ../../../../bin/nanotrav -File: /usr/lib/debug/.build-id/7e/b2f5cd7b714d17567cf204bb30b4c4353ebcc6.debug 120777 root:root ../../usr/bin/nanotrav.debug -File: /usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root d7253f54f6137ea66b6826e124b9b62a +File: /usr/lib/debug/.build-id/4e 40755 root:root +File: /usr/lib/debug/.build-id/4e/f774c4a5ff1bd59fb9aeb36810d03b4e510fc7 120777 root:root ../../../../bin/nanotrav +File: /usr/lib/debug/.build-id/4e/f774c4a5ff1bd59fb9aeb36810d03b4e510fc7.debug 120777 root:root ../../usr/bin/nanotrav.debug +File: /usr/lib/debug/usr/bin/nanotrav.debug 100644 root:root 4b3611f321ed8613e53a5dff40fb3f1f 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: be45ea609468afe5a0e2747ca2e24476 +RPMIdentity: e01563531db10d91adc64da4becec38d --- libcudd-2.5.1-alt3.i586.rpm.repo 2018-08-12 07:08:18.000000000 +0000 +++ libcudd-2.5.1-alt3.i586.rpm.hasher 2021-07-15 11:13:08.544291390 +0000 @@ -17,3 +17,3 @@ Requires: libc.so.6(GLIBC_2.7) -Requires: libm.so.6(GLIBC_2.0) +Requires: libm.so.6(GLIBC_2.29) Requires: rtld(GNU_HASH) @@ -23,3 +23,3 @@ Provides: libepd.so.0 = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1 -Provides: libmnem.so.0 = set:hdgiXaS148oCKteYg95 +Provides: libmnem.so.0 = set:gcqHJPx3W3nh7gwsX Provides: libmtr.so.0 = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6 @@ -27,8 +27,8 @@ Provides: libcudd = 2.5.1-alt3 -File: /usr/lib/libcudd.so.0 100644 root:root 05da1099f4ca5f2576d5782a0de2c7dc -File: /usr/lib/libdddmp.so.0 100644 root:root b65fe62b9e6956474f670a48288b61c5 -File: /usr/lib/libepd.so.0 100644 root:root 2b67195bca5fc608d56bc05cea4a389d -File: /usr/lib/libmnem.so.0 100644 root:root f4ce59dec5fd8bdf8f4292896d794269 -File: /usr/lib/libmtr.so.0 100644 root:root 4946f1f5fd93594e4ce454d692ad70bd -File: /usr/lib/libst.so.0 100644 root:root 1f411fbfd7ee961991cda149d26038b2 +File: /usr/lib/libcudd.so.0 100644 root:root 5ac974b3eff0c21a3d7b4b79b7f4b58e +File: /usr/lib/libdddmp.so.0 100644 root:root f3905c408d0f83c8cf8f17a93d7a75aa +File: /usr/lib/libepd.so.0 100644 root:root 03774ffb5fc9d835e52df1497b5546ce +File: /usr/lib/libmnem.so.0 100644 root:root 31d3d2d6d8e944ee1e9b67642e25ec5c +File: /usr/lib/libmtr.so.0 100644 root:root 1e17d60438b2c6c5f8f3a00e5b6da636 +File: /usr/lib/libst.so.0 100644 root:root 6354da79be82aa805139d4b9afbf95a7 File: /usr/share/doc/libcudd-2.5.1 40755 root:root @@ -37,2 +37,2 @@ File: /usr/share/doc/libcudd-2.5.1/RELEASE_NOTES.dddmp 100644 root:root 198407f7f5098a6eba3de09fdc23e652 -RPMIdentity: d6d6ac1b47fa4898cca87d1474a4ccde +RPMIdentity: 3c6bae4e2299de2bf69c2028f0e35ad6 --- libcudd-debuginfo-2.5.1-alt3.i586.rpm.repo 2018-08-12 07:08:18.000000000 +0000 +++ libcudd-debuginfo-2.5.1-alt3.i586.rpm.hasher 2021-07-15 11:13:08.639290753 +0000 @@ -1,19 +1,19 @@ -/usr/lib/debug/.build-id/04 40755 root:root -/usr/lib/debug/.build-id/04/1bd91926262174a72c22a6a3ad4874f696ca26 120777 root:root ../../../libst.so.0 -/usr/lib/debug/.build-id/04/1bd91926262174a72c22a6a3ad4874f696ca26.debug 120777 root:root ../../usr/lib/libst.so.0.debug -/usr/lib/debug/.build-id/41 40755 root:root -/usr/lib/debug/.build-id/41/1d949b865d7ef91084a6c0dbe0d1098dfd3688 120777 root:root ../../../libmtr.so.0 -/usr/lib/debug/.build-id/41/1d949b865d7ef91084a6c0dbe0d1098dfd3688.debug 120777 root:root ../../usr/lib/libmtr.so.0.debug -/usr/lib/debug/.build-id/54 40755 root:root -/usr/lib/debug/.build-id/54/d9eac0006a28c048844208b8ef686b3e1705ae 120777 root:root ../../../libepd.so.0 -/usr/lib/debug/.build-id/54/d9eac0006a28c048844208b8ef686b3e1705ae.debug 120777 root:root ../../usr/lib/libepd.so.0.debug -/usr/lib/debug/.build-id/59 40755 root:root -/usr/lib/debug/.build-id/59/22eadce825e39ab82e5623bedda96fe72c4b36 120777 root:root ../../../libcudd.so.0 -/usr/lib/debug/.build-id/59/22eadce825e39ab82e5623bedda96fe72c4b36.debug 120777 root:root ../../usr/lib/libcudd.so.0.debug -/usr/lib/debug/.build-id/ae 40755 root:root -/usr/lib/debug/.build-id/ae/2b904d132a9c5ccd2e948216fb87aeec20447e 120777 root:root ../../../libdddmp.so.0 -/usr/lib/debug/.build-id/ae/2b904d132a9c5ccd2e948216fb87aeec20447e.debug 120777 root:root ../../usr/lib/libdddmp.so.0.debug -/usr/lib/debug/.build-id/eb 40755 root:root -/usr/lib/debug/.build-id/eb/8c102f7f853a94ed7cc699bf8fba85ca75ddc1 120777 root:root ../../../libmnem.so.0 -/usr/lib/debug/.build-id/eb/8c102f7f853a94ed7cc699bf8fba85ca75ddc1.debug 120777 root:root ../../usr/lib/libmnem.so.0.debug +/usr/lib/debug/.build-id/11 40755 root:root +/usr/lib/debug/.build-id/11/84625352eba9289437a01a984ee420c4a25660 120777 root:root ../../../libst.so.0 +/usr/lib/debug/.build-id/11/84625352eba9289437a01a984ee420c4a25660.debug 120777 root:root ../../usr/lib/libst.so.0.debug +/usr/lib/debug/.build-id/13 40755 root:root +/usr/lib/debug/.build-id/13/82ee9a451eb361f631eee464bbc773b55fe577 120777 root:root ../../../libmtr.so.0 +/usr/lib/debug/.build-id/13/82ee9a451eb361f631eee464bbc773b55fe577.debug 120777 root:root ../../usr/lib/libmtr.so.0.debug +/usr/lib/debug/.build-id/15 40755 root:root +/usr/lib/debug/.build-id/15/760971d07600d63ead0d5f5ccb5f15d018b470 120777 root:root ../../../libcudd.so.0 +/usr/lib/debug/.build-id/15/760971d07600d63ead0d5f5ccb5f15d018b470.debug 120777 root:root ../../usr/lib/libcudd.so.0.debug +/usr/lib/debug/.build-id/42 40755 root:root +/usr/lib/debug/.build-id/42/6709134368e3bbdc4fea480716d753afb5c354 120777 root:root ../../../libmnem.so.0 +/usr/lib/debug/.build-id/42/6709134368e3bbdc4fea480716d753afb5c354.debug 120777 root:root ../../usr/lib/libmnem.so.0.debug +/usr/lib/debug/.build-id/7d 40755 root:root +/usr/lib/debug/.build-id/7d/23d530e45a585666a6bbaa9ed9ece7f8da5138 120777 root:root ../../../libepd.so.0 +/usr/lib/debug/.build-id/7d/23d530e45a585666a6bbaa9ed9ece7f8da5138.debug 120777 root:root ../../usr/lib/libepd.so.0.debug +/usr/lib/debug/.build-id/d2 40755 root:root +/usr/lib/debug/.build-id/d2/c92177f16c3f62a2bb3babd4a60d1800a38632 120777 root:root ../../../libdddmp.so.0 +/usr/lib/debug/.build-id/d2/c92177f16c3f62a2bb3babd4a60d1800a38632.debug 120777 root:root ../../usr/lib/libdddmp.so.0.debug /usr/lib/debug/usr/lib/libcudd.so.0.debug 100644 root:root @@ -152,26 +152,26 @@ Provides: libcudd-debuginfo = 2.5.1-alt3 -File: /usr/lib/debug/.build-id/04 40755 root:root -File: /usr/lib/debug/.build-id/04/1bd91926262174a72c22a6a3ad4874f696ca26 120777 root:root ../../../libst.so.0 -File: /usr/lib/debug/.build-id/04/1bd91926262174a72c22a6a3ad4874f696ca26.debug 120777 root:root ../../usr/lib/libst.so.0.debug -File: /usr/lib/debug/.build-id/41 40755 root:root -File: /usr/lib/debug/.build-id/41/1d949b865d7ef91084a6c0dbe0d1098dfd3688 120777 root:root ../../../libmtr.so.0 -File: /usr/lib/debug/.build-id/41/1d949b865d7ef91084a6c0dbe0d1098dfd3688.debug 120777 root:root ../../usr/lib/libmtr.so.0.debug -File: /usr/lib/debug/.build-id/54 40755 root:root -File: /usr/lib/debug/.build-id/54/d9eac0006a28c048844208b8ef686b3e1705ae 120777 root:root ../../../libepd.so.0 -File: /usr/lib/debug/.build-id/54/d9eac0006a28c048844208b8ef686b3e1705ae.debug 120777 root:root ../../usr/lib/libepd.so.0.debug -File: /usr/lib/debug/.build-id/59 40755 root:root -File: /usr/lib/debug/.build-id/59/22eadce825e39ab82e5623bedda96fe72c4b36 120777 root:root ../../../libcudd.so.0 -File: /usr/lib/debug/.build-id/59/22eadce825e39ab82e5623bedda96fe72c4b36.debug 120777 root:root ../../usr/lib/libcudd.so.0.debug -File: /usr/lib/debug/.build-id/ae 40755 root:root -File: /usr/lib/debug/.build-id/ae/2b904d132a9c5ccd2e948216fb87aeec20447e 120777 root:root ../../../libdddmp.so.0 -File: /usr/lib/debug/.build-id/ae/2b904d132a9c5ccd2e948216fb87aeec20447e.debug 120777 root:root ../../usr/lib/libdddmp.so.0.debug -File: /usr/lib/debug/.build-id/eb 40755 root:root -File: /usr/lib/debug/.build-id/eb/8c102f7f853a94ed7cc699bf8fba85ca75ddc1 120777 root:root ../../../libmnem.so.0 -File: /usr/lib/debug/.build-id/eb/8c102f7f853a94ed7cc699bf8fba85ca75ddc1.debug 120777 root:root ../../usr/lib/libmnem.so.0.debug -File: /usr/lib/debug/usr/lib/libcudd.so.0.debug 100644 root:root 36a82e0eb1acca445b22eeec3e2cb793 -File: /usr/lib/debug/usr/lib/libdddmp.so.0.debug 100644 root:root c844fbf670d5ad80c02d2fc2fccd15cb -File: /usr/lib/debug/usr/lib/libepd.so.0.debug 100644 root:root 4e8473c52c94019d1117d3afaeb9255e -File: /usr/lib/debug/usr/lib/libmnem.so.0.debug 100644 root:root e9e964f261d1451590a4e5b3e75e6c22 -File: /usr/lib/debug/usr/lib/libmtr.so.0.debug 100644 root:root e67b327e47169678ebc0db748c700607 -File: /usr/lib/debug/usr/lib/libst.so.0.debug 100644 root:root fa004df816a2e0f95519d42a8e96f7aa +File: /usr/lib/debug/.build-id/11 40755 root:root +File: /usr/lib/debug/.build-id/11/84625352eba9289437a01a984ee420c4a25660 120777 root:root ../../../libst.so.0 +File: /usr/lib/debug/.build-id/11/84625352eba9289437a01a984ee420c4a25660.debug 120777 root:root ../../usr/lib/libst.so.0.debug +File: /usr/lib/debug/.build-id/13 40755 root:root +File: /usr/lib/debug/.build-id/13/82ee9a451eb361f631eee464bbc773b55fe577 120777 root:root ../../../libmtr.so.0 +File: /usr/lib/debug/.build-id/13/82ee9a451eb361f631eee464bbc773b55fe577.debug 120777 root:root ../../usr/lib/libmtr.so.0.debug +File: /usr/lib/debug/.build-id/15 40755 root:root +File: /usr/lib/debug/.build-id/15/760971d07600d63ead0d5f5ccb5f15d018b470 120777 root:root ../../../libcudd.so.0 +File: /usr/lib/debug/.build-id/15/760971d07600d63ead0d5f5ccb5f15d018b470.debug 120777 root:root ../../usr/lib/libcudd.so.0.debug +File: /usr/lib/debug/.build-id/42 40755 root:root +File: /usr/lib/debug/.build-id/42/6709134368e3bbdc4fea480716d753afb5c354 120777 root:root ../../../libmnem.so.0 +File: /usr/lib/debug/.build-id/42/6709134368e3bbdc4fea480716d753afb5c354.debug 120777 root:root ../../usr/lib/libmnem.so.0.debug +File: /usr/lib/debug/.build-id/7d 40755 root:root +File: /usr/lib/debug/.build-id/7d/23d530e45a585666a6bbaa9ed9ece7f8da5138 120777 root:root ../../../libepd.so.0 +File: /usr/lib/debug/.build-id/7d/23d530e45a585666a6bbaa9ed9ece7f8da5138.debug 120777 root:root ../../usr/lib/libepd.so.0.debug +File: /usr/lib/debug/.build-id/d2 40755 root:root +File: /usr/lib/debug/.build-id/d2/c92177f16c3f62a2bb3babd4a60d1800a38632 120777 root:root ../../../libdddmp.so.0 +File: /usr/lib/debug/.build-id/d2/c92177f16c3f62a2bb3babd4a60d1800a38632.debug 120777 root:root ../../usr/lib/libdddmp.so.0.debug +File: /usr/lib/debug/usr/lib/libcudd.so.0.debug 100644 root:root f919aa46c78bb092292e6f2fb39b83b5 +File: /usr/lib/debug/usr/lib/libdddmp.so.0.debug 100644 root:root 50e7ef8cefff071a262bd71c3a1abca9 +File: /usr/lib/debug/usr/lib/libepd.so.0.debug 100644 root:root d16bb8acbeeb5ba1b39c2e4c625d2e81 +File: /usr/lib/debug/usr/lib/libmnem.so.0.debug 100644 root:root 6e6969f5291ba70a626116ab5078746c +File: /usr/lib/debug/usr/lib/libmtr.so.0.debug 100644 root:root 064792c8dc12bb9e1486578553135a05 +File: /usr/lib/debug/usr/lib/libst.so.0.debug 100644 root:root a94c62df79a6f97e3528845c3bcffcfe 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: 1f5e79c7fcb40cf4d09fef4ff3c2a284 +RPMIdentity: 8001954b93c9f19723a8a0e338596a9c