<86>Nov 13 07:36:04 userdel[28493]: delete user 'rooter' <86>Nov 13 07:36:04 userdel[28493]: removed group 'rooter' owned by 'rooter' <86>Nov 13 07:36:04 userdel[28493]: removed shadow group 'rooter' owned by 'rooter' <86>Nov 13 07:36:04 groupadd[28546]: group added to /etc/group: name=rooter, GID=540 <86>Nov 13 07:36:04 groupadd[28546]: group added to /etc/gshadow: name=rooter <86>Nov 13 07:36:04 groupadd[28546]: new group: name=rooter, GID=540 <86>Nov 13 07:36:04 useradd[28606]: new user: name=rooter, UID=540, GID=540, home=/root, shell=/bin/bash <86>Nov 13 07:36:04 userdel[28709]: delete user 'builder' <86>Nov 13 07:36:04 userdel[28709]: removed group 'builder' owned by 'builder' <86>Nov 13 07:36:04 userdel[28709]: removed shadow group 'builder' owned by 'builder' <86>Nov 13 07:36:04 groupadd[28756]: group added to /etc/group: name=builder, GID=541 <86>Nov 13 07:36:04 groupadd[28756]: group added to /etc/gshadow: name=builder <86>Nov 13 07:36:04 groupadd[28756]: new group: name=builder, GID=541 <86>Nov 13 07:36:04 useradd[28768]: new user: name=builder, UID=541, GID=541, home=/usr/src, shell=/bin/bash <13>Nov 13 07:36:07 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>Nov 13 07:36:11 rpmi: gcc-c++-common-1.4.22-alt1 1519183788 installed <13>Nov 13 07:36:11 rpmi: libstdc++7-devel-7.3.1-alt5 1531512767 installed <13>Nov 13 07:36:12 rpmi: gcc7-c++-7.3.1-alt5 1531512767 installed <13>Nov 13 07:36:12 rpmi: gcc-c++-7-alt6 1528289187 installed <13>Nov 13 07:36:12 rpmi: libstdc++-devel-7-alt6 1528289187 installed Building target platforms: i586 Building for target i586 Wrote: /usr/src/in/nosrpm/cudd-2.5.1-alt3.nosrc.rpm 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.17628 + 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.66207 + 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' 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 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 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 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 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 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 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 cstringstream.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 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 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' 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' 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' 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' 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 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 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 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 cuddAddWalsh.c: In function 'Cudd_addWalsh': cuddAddWalsh.c:351:6: warning: 't' may be used uninitialized in this function [-Wmaybe-uninitialized] Cudd_RecursiveDeref(dd, t1); ^~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddAddWalsh.c:301:13: note: 't' was declared here DdNode *t, *u, *t1, *u1, *v, *w; ^ 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 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:22: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized] 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 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 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 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 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 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 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 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 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 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 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 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:22: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized] 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 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:1692:28: warning: 'factorsNnv' may be used uninitialized in this function [-Wmaybe-uninitialized] Conjuncts *factorsNv, *factorsNnv, *factors; ^~~~~~~~~~ cuddDecomp.c:1844:6: warning: 'factorsNv' may be used uninitialized in this function [-Wmaybe-uninitialized] 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 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 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 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 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 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 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 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 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:336:13: warning: 'lyn' may be used uninitialized in this function [-Wmaybe-uninitialized] lyn[i] = cuddUniqueInter(dd, nv, zero, one); ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddHarwell.c:330:12: warning: 'ly' may be used uninitialized in this function [-Wmaybe-uninitialized] ly[i] = cuddUniqueInter(dd, nv, one, zero); ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddHarwell.c:322:13: warning: 'lxn' may be used uninitialized in this function [-Wmaybe-uninitialized] lxn[i] = cuddUniqueInter(dd, nv, zero, one); ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddHarwell.c:316:12: warning: 'lx' may be used uninitialized in this function [-Wmaybe-uninitialized] lx[i] = cuddUniqueInter(dd, nv, one, zero); ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 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 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 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 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 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 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] move->y = swapy; ~~~~~~~~^~~~~~~ cuddGroup.c:1568:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized] move->x = swapx; ~~~~~~~~^~~~~~~ cuddGroup.c: In function 'ddGroupSiftingBackward': cuddGroup.c:1740:9: warning: 'end_move' may be used uninitialized in this function [-Wmaybe-uninitialized] if (move == end_move) return(1); ^ cuddGroup.c: In function 'ddReorderChildren': cuddGroup.c:1795:2: warning: 'upper' may be used uninitialized in this function [-Wmaybe-uninitialized] for (i = low; i < high; i++) ^~~ cuddGroup.c:459:9: note: 'upper' was declared here int upper; ^~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -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] int oldxkeys, oldykeys; ^~~~~~~~ cuddLinear.c:451:13: warning: 'last' may be used uninitialized in this function [-Wmaybe-uninitialized] 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 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 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 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 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] 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 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 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] if (newIndex[1] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[1]); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:856:36: warning: 'newMap[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] if (newIndex[0] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[0]); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:855:33: warning: 'map[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] 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] if (index[0] != invalidIndex) Cudd_IterDerefBdd(dd, map[0]); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c: In function 'Cudd_Disequality': cuddPriority.c:1045:36: warning: 'newMap[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] if (newIndex[1] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[1]); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:1044:36: warning: 'newMap[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] if (newIndex[0] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[0]); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c:1043:33: warning: 'map[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] 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] if (index[0] != invalidIndex) Cudd_IterDerefBdd(dd, map[0]); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cuddPriority.c: In function 'cuddCProjectionRecur': cuddPriority.c:1477:36: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized] 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 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] move->y = swapy; ~~~~~~~~^~~~~~~ cuddZddGroup.c:1153:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized] move->x = swapx; ~~~~~~~~^~~~~~~ cuddZddGroup.c: In function 'zddReorderChildren': cuddZddGroup.c:1321:2: warning: 'upper' may be used uninitialized in this function [-Wmaybe-uninitialized] for (i = low; i < high; i++) ^~~ cuddZddGroup.c:435:9: note: 'upper' was declared here int upper; ^~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -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 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 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 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': cuddSubsetSP.c:1430:18: warning: 'NnvPathLength' may be used uninitialized in this function [-Wmaybe-uninitialized] ((NvPathLength == NnvPathLength) && (tiebreakChild == 1))) { ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ cuddSubsetSP.c:1488:12: warning: 'regNnv' may be used uninitialized in this function [-Wmaybe-uninitialized] if (st_insert(info->maxpathTable, regChild, ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ NULL) == ST_OUT_OF_MEM) { ~~~~~ cuddSubsetSP.c:1430:18: warning: 'NvPathLength' may be used uninitialized in this function [-Wmaybe-uninitialized] ((NvPathLength == NnvPathLength) && (tiebreakChild == 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 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] move->y = swapy; ~~~~~~~~^~~~~~~ cuddSymmetry.c:1537:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized] move->x = swapx; ~~~~~~~~^~~~~~~ cuddSymmetry.c:1539:16: warning: 'size' may be used uninitialized in this function [-Wmaybe-uninitialized] 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 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:0: cuddZddReord.c: In function 'cuddZddSwapInPlace': cuddInt.h:699:4: warning: 'newf1' may be used uninitialized in this function [-Wmaybe-uninitialized] ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s)) ^ cuddZddReord.c:494:13: note: 'newf1' was declared here DdNode *newf1, *newf0, *next; ^~~~~ cuddZddReord.c: In function 'cuddZddSwapping': cuddZddReord.c:785:21: warning: 'pivot' may be used uninitialized in this function [-Wmaybe-uninitialized] 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 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 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 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 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 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 -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] 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] move->y = swapy; ~~~~~~~~^~~~~~~ cuddZddSymm.c:1563:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized] 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 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:2739:13: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized] newmap[i] = unique->map[i]; ~~~~~~~~~~^~~~~~~~~~~~~~~~ cuddTable.c: In function 'cuddInsertSubtables': cuddTable.c:2040:13: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized] newmap[i] = unique->map[i]; ~~~~~~~~~~^~~~~~~~~~~~~~~~ make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd' gcc -pipe -frecord-gcc-switches -Wall -g -O2 -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 -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' 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 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 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 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] int retValue, i; ^~~~~~~~ dddmpNodeCnf.c: In function 'DddmpClearVisitedCnfRecur': dddmpNodeCnf.c:448:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] int retValue; ^~~~~~~~ dddmpNodeCnf.c: In function 'DddmpDdNodesResetCountRecur': dddmpNodeCnf.c:663:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] int retValue; ^~~~~~~~ dddmpNodeCnf.c: In function 'DddmpDdNodesCountEdgesRecur': dddmpNodeCnf.c:701:19: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] int indexValue, retValue; ^~~~~~~~ dddmpNodeCnf.c: In function 'DddmpPrintBddAndNextRecur': dddmpNodeCnf.c:896:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] int retValue; ^~~~~~~~ At top level: dddmpNodeCnf.c:444:1: warning: 'DddmpClearVisitedCnfRecur' defined but not used [-Wunused-function] 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 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 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 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] int vE = (-1); ^~ dddmpStoreAdd.c:749:7: warning: variable 'vT' set but not used [-Wunused-but-set-variable] 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 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] 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 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] 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] 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] 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 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 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] DdNode *one; ^~~ dddmpStoreCnf.c: In function 'StoreCnfBestSharedRecur': dddmpStoreCnf.c:1463:11: warning: variable 'one' set but not used [-Wunused-but-set-variable] DdNode *one; ^~~ dddmpStoreCnf.c:1462:15: warning: variable 'index' set but not used [-Wunused-but-set-variable] 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 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] 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] fgets(buf,DDDMP_MAXSTRLEN,fp); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dddmpLoad.c:1429:7: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] 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' 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 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 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 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 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 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 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:0, 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] #define Cudd_NotCond(node,c) ((DdNode *)((long)(node) ^ (c))) ^ bnet.c:1909:9: note: 'phase[1]' was declared here int phase[2]; ^~~~~ In file included from bnet.h:60:0, from bnet.c:49: ../include/cudd.h:373:55: warning: 'phase[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] #define Cudd_NotCond(node,c) ((DdNode *)((long)(node) ^ (c))) ^ bnet.c:1909:9: note: 'phase[0]' was declared here int phase[2]; ^~~~~ bnet.c:2010:40: warning: 'mux[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] if (!st_lookup(hash, nd->inputs[mux[1]], &auxnd)) { ~~~^~~ bnet.c:1908:9: note: 'mux[1]' was declared here int mux[2]; ^~~ bnet.c:1989:40: warning: 'mux[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] if (!st_lookup(hash, nd->inputs[mux[0]], &auxnd)) { ~~~^~~ bnet.c:1908:9: note: 'mux[0]' was declared here 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 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] 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' if (tmp == NULL) return(NULL); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:455:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) goto endgame; Cudd_Ref(tmp); ^~~~~~~~ ntr.c:480:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) return(NULL); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:485:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) return(NULL); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:508:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) return(NULL); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:513:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' 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] 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' if (tmp == NULL) return(0); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:1029:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (neW == NULL) return(0); Cudd_Ref(neW); ^~~~~~~~ ntr.c:1082:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) return(0); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:1085:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' 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] 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' if (abs == NULL) return(NULL); Cudd_Ref(abs); ^~~~~~~~ ntr.c:1983:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (positive == NULL) return(NULL); Cudd_Ref(positive); ^~~~~~~~ ntr.c:1985:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (absabs == NULL) return(NULL); Cudd_Ref(absabs); ^~~~~~~~ ntr.c:1988:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (phi == NULL) return(NULL); Cudd_Ref(phi); ^~~~~~~~ ntr.c:1992:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (exnor == NULL) return(NULL); Cudd_Ref(exnor); ^~~~~~~~ ntr.c:1999:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) return(NULL); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:2024:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' 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] 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' if (positive == NULL) return(-1); Cudd_Ref(positive); ^~~~~~~~ ntr.c:2317:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (abs == NULL) return(-1); Cudd_Ref(abs); ^~~~~~~~ ntr.c:2319:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (phi == NULL) return(-1); Cudd_Ref(phi); ^~~~~~~~ ntr.c:2362:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' 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] 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' if (abs == NULL) return(NULL); Cudd_Ref(abs); ^~~~~~~~ ntr.c:2484:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (positive == NULL) return(NULL); Cudd_Ref(positive); ^~~~~~~~ ntr.c:2486:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (phi == NULL) return(NULL); Cudd_Ref(phi); ^~~~~~~~ ntr.c:2498:7: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) return(NULL); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:2523:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' 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] 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' if (xnor == NULL) return(0); Cudd_Ref(xnor); ^~~~~~~~ ntr.c:2599:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) return(0); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:2652:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (support == NULL) return(0); Cudd_Ref(support); ^~~~~~~~ ntr.c:2796:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) return(0); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:2801:6: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' if (tmp == NULL) return(0); Cudd_Ref(tmp); ^~~~~~~~ ntr.c:2811:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 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' 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]: 'libutil.a' is up to date. Making mtr ... make[1]: 'libmtr.so' is up to date. Making st ... make[1]: 'libst.so' is up to date. Making epd ... make[1]: 'libepd.so' is up to date. Making cudd ... make[1]: 'libcudd.so' is up to date. Making dddmp ... make[1]: 'libdddmp.so' is up to date. Making 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] main() ^~~~ mnemalyse.c: In function 'main': mnemalyse.c:97:3: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration] exit(1); ^~~~ mnemalyse.c:97:3: warning: incompatible implicit declaration of built-in function 'exit' mnemalyse.c:97:3: note: include '' or provide a declaration of 'exit' mnemalyse.c:102:3: warning: incompatible implicit declaration of built-in function 'exit' 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' 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] sp->map = atoi(cpmap); ^~~~ mnemalyse.c:142:32: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration] sp->dat = malloc((unsigned)(strlen(cpfnam) + 1)); ^~~~~~ mnemalyse.c:142:32: warning: incompatible implicit declaration of built-in function 'strlen' mnemalyse.c:142:32: note: include '' or provide a declaration of 'strlen' mnemalyse.c:145:5: warning: incompatible implicit declaration of built-in function 'exit' 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] (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] 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' 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] 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] 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] 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] 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] if((rec_state & REC_ON) && !(rec_state & REC_ERR)) ^ At top level: mnemosyne.c:38:13: warning: 'rcsid' defined but not used [-Wunused-variable] 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.22305 + 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 + 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) 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: 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 Hardlinking identical .pyc and .pyo files Processing files: cudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.77607 + 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.VbkbBt find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.L6G5v8 find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) 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.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.R4x6T8 Creating cudd-debuginfo package Processing files: libcudd-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.19568 + 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.xeEARc find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.k80pZ5 find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) Provides: libcudd.so.0 = set:ndI1olxJfpmD3ysISV0x7XN2UzAkWbozcXAZFirt3LX0xliKZn8G9hpNgKD8ceRVviPBuod9Jj44rDO3ZIAQ4FKViZCNezXzju24B73JZxw9kpE8Zn2dKIVQVxbiCSwN8ZlcSYJqOJgaQKVDkW3UGPdQcBBiZK6CrpS0oBs6hu7SgaCBvwkSoqGqJCUm9pEuQ7qtJ5J2x8WwrVS8uXHRt0h1rcZoCO2E66QnNl07vAFXSQM0yfQf3RDMpghsXdvOin534vWZE8Jc2HZA9ZmNrE7yitLtbZ9LUttaMdmUFiHkVZzvdOG8Nks6KL65GhYjjBFgeKKeZFHET1PEQoyhtu1bW1771I8APlFcqUWqlQcETGOTzYe0TcaZmFE3eI05YQbojeC4Gxw1GBK9ez4yTcKhnzWoj2wIhL47KTmDhmZ3JNiCwCPSMZ8m4sbXgeK0mEKOZbODUOZFKcEeEbvZ3olAwp0nTcS7fxoCeOtCzqPx2v2xiypojm5UN3a5u1gKOK4dUupTahcdtZCQZiR92fGJaP27iS6O0vkBKAjrLtF8L5QRaZ0gBvcuc0L6BvQ7Cew45N9OZdZwXwlV6t2KQIrYK9uKdZqNUWOx0c2dQtgJeCBzwlB8bDQV0GM1Cxj34rYT3U8VINzNAlvic5h3ua3lR4TDVZEcRZm5RxtZIY9e49xnXcU40H2P0AZCxgZyoynOpWJd47KW9hY1OvR3G9KImI1Job7yYwAFkLyVoTXmlSPHS0IVkIbAb6tRXJ2mvwfDMcd1gZjwNzTiCPtXEGNo7g3gn3Zvu2cwkJz4PgD2B1dWLhtMp6zME09qOqKt8IAf7eBHKrt5OguqIhc0Hrpopntwscl9i3NEKWUaROxDzGEyZcl97M6H485alVgoEGmN9wifjR31gZ250ZEnHPLg20dRmvrtwk7KNRnkcjiSxqIpxu44qogjBXi99JsTZ8M5ZB9Q7RKYKZ5OZw0k7VuAy0RwtV3rlsrkLb4FWj0JFCNyaTO7pZh52ZdFL1VEjuLaXbyj4ecT1DFfFZ4NkGId3csblhgI0ZtyyWrj2Tdjm1Etj53BUpEadxKG0S1YdS73owYBAPpzNbJ6UJp4nY0CwOV2ph3MLIoJSQFU9pKeZ8JwlCiRlE5JFF2yoIoIyO1IYFcdkIxGx0GxXKy4xdugg0tOOL4SelKr9a8oQi0Aaf0g0SxYCETqgOgGvyeNRZH1FRI5YOU8AnNElbtC2P3nOw4NmRRD0wqFkEXhSv9pVN4rfB4PgsEqtJ4IDJGalEzOjUrq6aJ1, libdddmp.so.0 = set:jdJIzuAATnsCRobNBFZv1BtnIz1SZEmmLUHu8QDesLS8FkgqXoV29r4qn6kVBiiXHZFOHcSSZvQRmm5MWaZ0QtP7cqYKcVuhNv7PZqxY7fKMOFs0agFOZtxze7, libepd.so.0 = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1, libmnem.so.0 = set:hdgiXaS148oCKteYg95, 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.0), rtld(GNU_HASH) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.YO725z 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.fYX84J find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.uNKVph find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) /usr/src/tmp/cudd-buildroot/usr/include/cudd/cuddObj.hh:70:10: fatal error: cstdio: No such file or directory #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.hTJkJr Processing files: libcudd-devel-docs-2.5.1-alt3 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.30319 + 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.DYJWqs find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.mCwnX4 find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) 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.HkUO96 find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.fKCN0z 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.6dL4PE find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.zYmz4a 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 6 extra deps from cudd due to repentancy on libcudd Removing 1 extra deps from cudd-debuginfo due to repentancy on libcudd-debuginfo Wrote: /usr/src/RPM/RPMS/i586/cudd-2.5.1-alt3.i586.rpm Wrote: /usr/src/RPM/RPMS/i586/libcudd-2.5.1-alt3.i586.rpm Wrote: /usr/src/RPM/RPMS/i586/libcudd-devel-2.5.1-alt3.i586.rpm Wrote: /usr/src/RPM/RPMS/noarch/libcudd-devel-docs-2.5.1-alt3.noarch.rpm Wrote: /usr/src/RPM/RPMS/i586/cudd-debuginfo-2.5.1-alt3.i586.rpm Wrote: /usr/src/RPM/RPMS/i586/libcudd-debuginfo-2.5.1-alt3.i586.rpm 35.26user 2.30system 0:49.85elapsed 75%CPU (0avgtext+0avgdata 37884maxresident)k 0inputs+0outputs (0major+1252728minor)pagefaults 0swaps 46.22user 4.72system 1:10.61elapsed 72%CPU (0avgtext+0avgdata 122984maxresident)k 0inputs+0outputs (0major+1767558minor)pagefaults 0swaps