<86>Apr 21 01:14:44 userdel[24759]: delete user 'rooter' <86>Apr 21 01:14:44 userdel[24759]: removed group 'rooter' owned by 'rooter' <86>Apr 21 01:14:44 groupadd[24784]: group added to /etc/group: name=rooter, GID=609 <86>Apr 21 01:14:44 groupadd[24784]: group added to /etc/gshadow: name=rooter <86>Apr 21 01:14:44 groupadd[24784]: new group: name=rooter, GID=609 <86>Apr 21 01:14:44 useradd[24802]: new user: name=rooter, UID=609, GID=609, home=/root, shell=/bin/bash <86>Apr 21 01:14:44 userdel[24836]: delete user 'builder' <86>Apr 21 01:14:44 userdel[24836]: removed group 'builder' owned by 'builder' <86>Apr 21 01:14:44 userdel[24836]: removed shadow group 'builder' owned by 'builder' <86>Apr 21 01:14:44 groupadd[24865]: group added to /etc/group: name=builder, GID=610 <86>Apr 21 01:14:44 groupadd[24865]: group added to /etc/gshadow: name=builder <86>Apr 21 01:14:44 groupadd[24865]: new group: name=builder, GID=610 <86>Apr 21 01:14:44 useradd[24881]: new user: name=builder, UID=610, GID=610, home=/usr/src, shell=/bin/bash <13>Apr 21 01:14:48 rpmi: gcc-c++-common-1.4.20-alt1 1432315196 installed <13>Apr 21 01:14:48 rpmi: libstdc++5-devel-5.3.1-alt3.M80P.1 p8+225520.100.3.1 1553688800 installed <13>Apr 21 01:14:49 rpmi: gcc5-c++-5.3.1-alt3.M80P.1 p8+225520.100.3.1 1553688800 installed <13>Apr 21 01:14:49 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed Installing cudd-2.5.1-alt2.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.5357 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf cudd-2.5.1 + echo 'Source #0 (cudd-2.5.1.tar):' Source #0 (cudd-2.5.1.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/cudd-2.5.1.tar + cd cudd-2.5.1 + /bin/chmod -c -Rf u+rwX,go-w . + sed -i 's|#@x86_64@||' Makefile + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.5357 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd cudd-2.5.1 + CFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export FFLAGS + '[' -n '' ']' + NPROCS=8 + make -j8 build make: Entering directory `/usr/src/RPM/BUILD/cudd-2.5.1' sh ./setup.sh Making util ... make[1]: Entering directory `/usr/src/RPM/BUILD/cudd-2.5.1/util' gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cstringstream.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cpu_time.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cpu_stats.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c safe_mem.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c strsav.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c texpand.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c ptime.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c prtime.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c pipefork.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c pathsearch.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c stub.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c datalimit.c -I../include -DUNIX -pipe -Wall -g -O2 -fPIC -DPIC 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 -Wall -g -O2 -fPIC -DPIC -c mtrBasic.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c mtrGroup.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC mtrBasic.c: In function 'Mtr_PrintTree': mtrBasic.c:432:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] (unsigned) node, (unsigned) node->child, ^ mtrBasic.c:432:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] (unsigned) node, (unsigned) node->child, ^ mtrBasic.c:433:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] (unsigned) node->younger, (unsigned) node->elder, ^ mtrBasic.c:433:31: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] (unsigned) node->younger, (unsigned) node->elder, ^ mtrBasic.c:434:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] (unsigned) node->parent, node->flags, node->low, node->size); ^ 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 -Wall -g -O2 -fPIC -DPIC -c st.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC 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 -Wall -g -O2 -fPIC -DPIC -c epd.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC 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 -Wall -g -O2 -fPIC -DPIC -c cuddAPI.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddAddAbs.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddAddApply.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddAddFind.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddAddIte.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddAddInv.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddAddNeg.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddAddWalsh.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddAndAbs.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddAnneal.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 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; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddApa.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddApprox.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddBddAbs.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddAddIte.c: In function 'cuddAddIteRecur': cuddAddIte.c:529:22: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized] r = (t == e) ? t : cuddUniqueInter(dd,index,t,e); ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddBddCorr.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddBddIte.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddBridge.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddCache.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddCheck.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddClip.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddCof.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddCompose.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddDecomp.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddEssent.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddExact.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddExport.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddGenCof.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddBddIte.c: In function 'cuddBddIteRecur': cuddBddIte.c:853:22: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized] r = (t == e) ? t : cuddUniqueInter(dd,index,t,e); ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddGenetic.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddGroup.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddDecomp.c: In function 'BuildConjuncts': cuddDecomp.c: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); ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddHarwell.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddHarwell.c: In function 'Cudd_addHarwell': cuddHarwell.c:143:33: warning: 'lyn' may be used uninitialized in this function [-Wmaybe-uninitialized] 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] 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] 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] DdNode **lx, **ly, **lxn, **lyn; /* local copies of x, y, xn, yn_ */ ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddInit.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddInteract.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddLCache.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddGroup.c: In function 'ddGroupMove': cuddGroup.c:1569:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized] move->y = swapy; ^ cuddGroup.c:1568:13: warning: 'swapx' may be used uninitialized in this function [-Wmaybe-uninitialized] move->x = swapx; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddLevelQ.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddLinear.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddLiteral.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddMatMult.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddPriority.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddLinear.c: In function 'cuddLinearInPlace': cuddLinear.c:369:12: warning: variable 'oldxkeys' set but not used [-Wunused-but-set-variable] int oldxkeys, oldykeys; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddRead.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddRef.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 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); ^ cuddLinear.c:451:13: warning: 'last' may be used uninitialized in this function [-Wmaybe-uninitialized] last->next = NULL; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddReorder.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 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; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddSat.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddSign.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddPriority.c: In function 'Cudd_Inequality': cuddPriority.c: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: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: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:857:36: warning: 'newMap[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] if (newIndex[1] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[1]); ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddSolve.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddSplit.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddPriority.c: In function 'Cudd_Disequality': 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: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: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:1045:36: warning: 'newMap[1]' may be used uninitialized in this function [-Wmaybe-uninitialized] if (newIndex[1] != invalidIndex) Cudd_IterDerefBdd(dd, newMap[1]); ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddSubsetHB.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddSubsetSP.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 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); ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddSymmetry.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddTable.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddUtil.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddWindow.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddCount.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddSymmetry.c: In function 'ddSymmGroupMove': cuddSymmetry.c:1538:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized] 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; ^ 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:1505:8: warning: 'regNnv' may be used uninitialized in this function [-Wmaybe-uninitialized] if (st_insert(info->maxpathTable, regChild, ^ cuddSubsetSP.c:1430:18: warning: 'NvPathLength' may be used uninitialized in this function [-Wmaybe-uninitialized] ((NvPathLength == NnvPathLength) && (tiebreakChild == 1))) { ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddFuncs.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddGroup.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddZddGroup.c: In function 'zddGroupMove': cuddZddGroup.c:1154:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized] 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; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddIsop.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddLin.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddReorder.c: In function 'cuddSwapping': cuddReorder.c:653:21: warning: 'pivot' may be used uninitialized in this function [-Wmaybe-uninitialized] modulo = pivot - lower - 1; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddMisc.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddTable.c: In function 'ddResizeTable': cuddTable.c:2587:33: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized] int *newperm, *newinvperm, *newmap; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddPort.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddReord.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddSetop.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 cuddTable.c: In function 'cuddInsertSubtables': cuddTable.c:1857:33: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized] int *newperm, *newinvperm, *newmap; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddSymm.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c cuddZddUtil.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 In file included from cuddZddReord.c:77:0: cuddZddReord.c: In function 'cuddZddSwapInPlace': cuddInt.h:695:4: warning: 'newf1' may be used uninitialized in this function [-Wmaybe-uninitialized] ((((unsigned)(ptruint)(f) * DD_P1 + \ ^ cuddZddReord.c:494:13: note: 'newf1' was declared here DdNode *newf1, *newf0, *next; ^ 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; ^ cuddZddReord.c: In function 'cuddZddSwapping': cuddZddReord.c:785:21: warning: 'pivot' may be used uninitialized in this function [-Wmaybe-uninitialized] modulo = pivot - lower - 1; ^ 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 -Wall -g -O2 -fPIC -DPIC -c dddmpStoreBdd.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpStoreAdd.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpStoreCnf.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpLoad.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpLoadCnf.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpNodeBdd.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpNodeAdd.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpNodeCnf.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 dddmpStoreCnf.c: In function 'StoreCnfBestNotSharedRecur': dddmpStoreCnf.c:1341:11: warning: variable 'one' set but not used [-Wunused-but-set-variable] 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; ^ 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); ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpStoreMisc.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 dddmpNodeCnf.c: In function 'DddmpDdNodesCountEdgesAndNumber': dddmpNodeCnf.c:145:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable] 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; ^ dddmpNodeCnf.c: At top level: dddmpNodeCnf.c:444:1: warning: 'DddmpClearVisitedCnfRecur' defined but not used [-Wunused-function] DddmpClearVisitedCnfRecur ( ^ 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); ^ 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); ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpUtil.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpBinary.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpConvert.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 gcc -pipe -Wall -g -O2 -fPIC -DPIC -c dddmpDbg.c -I../include -g -O3 -pipe -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 dddmpDbg.c: In function 'Dddmp_cuddBddDisplayBinary': dddmpDbg.c:144:3: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] fgets(buf, 999,fp); ^ 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 -Wall -g -O2 -fPIC -DPIC -c main.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c bnet.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c ntr.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c ntrHeap.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c ntrBddTest.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c ntrMflow.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c ntrZddTest.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c ntrShort.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c chkMterm.c -I../include -pipe -Wall -g -O2 -fPIC -DPIC gcc -pipe -Wall -g -O2 -fPIC -DPIC -c ucbqsort.c -I../include -pipe -Wall -g -O2 -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]; ^ bnet.c:2010:36: 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]; ^ 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:1989:36: 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]; ^ gcc -pipe -Wall -g -O2 -fPIC -DPIC -pipe -Wall -g -O2 -fPIC -DPIC -o nanotrav main.o bnet.o ntr.o ntrHeap.o ntrBddTest.o ntrMflow.o ntrZddTest.o ntrShort.o chkMterm.o ucbqsort.o ../dddmp/libdddmp.so ../cudd/libcudd.so ../mtr/libmtr.so ../st/libst.so ../epd/libepd.so -lm make[1]: Leaving directory `/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make: Leaving directory `/usr/src/RPM/BUILD/cudd-2.5.1' + CFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export FFLAGS + '[' -n 8 ']' + make -j8 nanotrav make: Entering directory `/usr/src/RPM/BUILD/cudd-2.5.1' sh ./setup.sh Making util ... make[1]: Entering directory `/usr/src/RPM/BUILD/cudd-2.5.1/util' make[1]: `libutil.a' is up to date. 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' make[1]: `libmtr.so' is up to date. 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' make[1]: `libst.so' is up to date. 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' make[1]: `libepd.so' is up to date. 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' make[1]: `libcudd.so' is up to date. 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' make[1]: `libdddmp.so' is up to date. 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' make[1]: `nanotrav' is up to date. make[1]: Leaving directory `/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav' make: Leaving directory `/usr/src/RPM/BUILD/cudd-2.5.1' + CFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export FFLAGS + '[' -n 8 ']' + make -j8 -C mnemosyne make: Entering directory `/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne' cc -pipe -Wall -g -O2 -fPIC -DPIC -g -DMALLOC_IS_VOIDSTAR -c -o mnemalyse.o mnemalyse.c cc -pipe -Wall -g -O2 -fPIC -DPIC -g -DMALLOC_IS_VOIDSTAR -c -o mnemosyne.o mnemosyne.c mnemosyne.c: In function 'saveptr': mnemalyse.c:70:1: warning: return type defaults to 'int' [-Wimplicit-int] main() ^ mnemosyne.c:188:5: warning: implicit declaration of function 'lseek' [-Wimplicit-function-declaration] if(lseek(map.fd,(off_t)(p->map * sizeof(p->dsk)),0) != ^ mnemosyne.c:195:5: warning: implicit declaration of function 'write' [-Wimplicit-function-declaration] if(write(map.fd,(char *)&(p->dsk),sizeof(p->dsk)) != sizeof(p->dsk)) { ^ 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' 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) ^ mnemalyse.c:176:8: warning: implicit declaration of function 'read' [-Wimplicit-function-declaration] while(read(fd,(char *)&(p.dsk),sizeof(p.dsk)) == sizeof(p.dsk)) { ^ 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' mnemalyse.c: 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"; ^ mnemosyne.c: In function 'mnem_free': mnemosyne.c:612:4: warning: suggest explicit braces to avoid ambiguous 'else' [-Wparentheses] if((rec_state & REC_ON) && !(rec_state & REC_ERR)) ^ mnemosyne.c: 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"; ^ cc -L. -o mnemalyse mnemalyse.o 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.15322 + 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/lib64 /usr/src/tmp/cudd-buildroot/usr/share/man/man1 + install -m755 nanotrav/nanotrav /usr/src/tmp/cudd-buildroot/usr/bin/ + install -m755 nanotrav/nanotrav.1 /usr/src/tmp/cudd-buildroot/usr/share/man/man1/ + install -m644 include/cstringstream.h include/cudd.h include/cuddInt.h include/cuddObj.hh include/dddmp.h include/epd.h include/mnemosyne.h include/mtr.h include/st.h include/util.h /usr/src/tmp/cudd-buildroot/usr/include/cudd/ + cp -P cudd/libcudd.so cudd/libcudd.so.0 dddmp/libdddmp.so dddmp/libdddmp.so.0 epd/libepd.so epd/libepd.so.0 mnemosyne/libmnem.so mnemosyne/libmnem.so.0 mtr/libmtr.so mtr/libmtr.so.0 st/libst.so st/libst.so.0 /usr/src/tmp/cudd-buildroot/usr/lib64/ + ln -s cudd/doc cudd.doc + ln -s dddmp/RELEASE_NOTES RELEASE_NOTES.dddmp + ln -s dddmp/doc dddmp.doc + ln -s mnemosyne/README README.mnemosyne + ln -s mtr/doc mtr.doc + ln -s nanotrav/README nanotrav.README + ln -s nanotrav/doc nanotrav.html + ln -s st/doc st.doc + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/cudd-buildroot (auto) mode of './usr/lib64/libst.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libmtr.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libmnem.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libepd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libdddmp.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) mode of './usr/lib64/libcudd.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/cudd-buildroot (binconfig,pkgconfig,libtool,desktop) Compressing files in /usr/src/tmp/cudd-buildroot (auto) mode of '/usr/src/tmp/cudd-buildroot/usr/share/man/man1/nanotrav.1' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Adjusting library links in /usr/src/tmp/cudd-buildroot ./usr/lib64: libcudd.so.0 -> libcudd.so.0 libdddmp.so.0 -> libdddmp.so.0 libepd.so.0 -> libepd.so.0 libmnem.so.0 -> libmnem.so.0 libmtr.so.0 -> libmtr.so.0 libst.so.0 -> libst.so.0 Verifying ELF objects in /usr/src/tmp/cudd-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) Hardlinking identical .pyc and .pyo files Processing files: cudd-2.5.1-alt2 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.63091 + 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.TbVMNN find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.8A9zl7 find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) Requires: libcudd = 2.5.1-alt2, /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libcudd.so.0()(64bit) >= set:nfYF8PWV8GG3wjdigRanZKOKZhnb1hcRQ62FHDTdLjaEghZCqowb5E9CDyyE0wIw5ha1BByWuHiaRnX3h37Kc3r4jiQH3zGXZFgD1Imj2bgNNi0ZK3Dg8qRlKZlUhykbKFU8DD1vVrOk12jvYLaPEuu42Qy4GYg2pVPB9uzymOg44CKkxZFeYQy1ShqnpOtmxne1Er4yqHXcaJYKXWdJxE39YmTwXOuSE8rlymcImA059QH861K6M1cwaFaZCVdCLBGk6oZB6fun5sr8LDPC8IBevZlyp2hg8nc51UPbiFBkKREGGCwCBeqw1vOcmUeU9wrMozdUNYgOZp8OIWC8EiIlQSp9hTZgrjLd, libdddmp.so.0()(64bit) >= set:jhqPPQ31, libmtr.so.0()(64bit) >= set:jgzdEwBLRrhsyZ4tCVZg, libst.so.0()(64bit) >= set:ifLGK5z6nZnMJycn, rtld(GNU_HASH) Requires(rpmlib): rpmlib(SetVersions) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.cZK9Dt Creating cudd-debuginfo package Processing files: libcudd-2.5.1-alt2 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.75571 + 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.8EwwWS find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell) lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libcudd.so.0: 628 symbols, 20 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libdddmp.so.0: 61 symbols, 16 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libepd.so.0: 37 symbols, 16 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libmnem.so.0: 8 symbols, 13 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libmtr.so.0: 52 symbols, 16 bpp lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libst.so.0: 22 symbols, 15 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.EcRj0k find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) Provides: libcudd.so.0()(64bit) = set:ndI1olxJfpmD3ysISV0x7XN2UzAkWbozcXAZFirt3LX0xliKZn8G9hpNgKD8ceRVviPBuod9Jj44rDO3ZIAQ4FKViZCNezXzju24B73JZxw9kpE8Zn2dKIVQVxbiCSwN8ZlcSYJqOJgaQKVDkW3UGPdQcBBiZK6CrpS0oBs6hu7SgaCBvwkSoqGqJCUm9pEuQ7qtJ5J2x8WwrVS8uXHRt0h1rcZoCO2E66QnNl07vAFXSQM0yfQf3RDMpghsXdvOin534vWZE8Jc2HZA9ZmNrE7yitLtbZ9LUttaMdmUFiHkVZzvdOG8Nks6KL65GhYjjBFgeKKeZFHET1PEQoyhtu1bW1771I8APlFcqUWqlQcETGOTzYe0TcaZmFE3eI05YQbojeC4Gxw1GBK9ez4yTcKhnzWoj2wIhL47KTmDhmZ3JNiCwCPSMZ8m4sbXgeK0mEKOZbODUOZFKcEeEbvZ3olAwp0nTcS7fxoCeOtCzqPx2v2xiypojm5UN3a5u1gKOK4dUupTahcdtZCQZiR92fGJaP27iS6O0vkBKAjrLtF8L5QRaZ0gBvcuc0L6BvQ7Cew45N9OZdZwXwlV6t2KQIrYK9uKdZqNUWOx0c2dQtgJeCBzwlB8bDQV0GM1Cxj34rYT3U8VINzNAlvic5h3ua3lR4TDVZEcRZm5RxtZIY9e49xnXcU40H2P0AZCxgZyoynOpWJd47KW9hY1OvR3G9KImI1Job7yYwAFkLyVoTXmlSPHS0IVkIbAb6tRXJ2mvwfDMcd1gZjwNzTiCPtXEGNo7g3gn3Zvu2cwkJz4PgD2B1dWLhtMp6zME09qOqKt8IAf7eBHKrt5OguqIhc0Hrpopntwscl9i3NEKWUaROxDzGEyZcl97M6H485alVgoEGmN9wifjR31gZ250ZEnHPLg20dRmvrtwk7KNRnkcjiSxqIpxu44qogjBXi99JsTZ8M5ZB9Q7RKYKZ5OZw0k7VuAy0RwtV3rlsrkLb4FWj0JFCNyaTO7pZh52ZdFL1VEjuLaXbyj4ecT1DFfFZ4NkGId3csblhgI0ZtyyWrj2Tdjm1Etj53BUpEadxKG0S1YdS73owYBAPpzNbJ6UJp4nY0CwOV2ph3MLIoJSQFU9pKeZ8JwlCiRlE5JFF2yoIoIyO1IYFcdkIxGx0GxXKy4xdugg0tOOL4SelKr9a8oQi0Aaf0g0SxYCETqgOgGvyeNRZH1FRI5YOU8AnNElbtC2P3nOw4NmRRD0wqFkEXhSv9pVN4rfB4PgsEqtJ4IDJGalEzOjUrq6aJ1, libdddmp.so.0()(64bit) = set:jdJIzuAATnsCRobNBFZv1BtnIz1SZEmmLUHu8QDesLS8FkgqXoV29r4qn6kVBiiXHZFOHcSSZvQRmm5MWaZ0QtP7cqYKcVuhNv7PZqxY7fKMOFs0agFOZtxze7, libepd.so.0()(64bit) = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1, libmnem.so.0()(64bit) = set:gcqHJPx3W3nh7gwsX, libmtr.so.0()(64bit) = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6, libst.so.0()(64bit) = set:idlYdDZ37x8IPM939GLcEUA42VkBtkCxZI89k4CjOs016j6 Requires: libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libm.so.6(GLIBC_2.2.5)(64bit), rtld(GNU_HASH) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.7ZPMjS Creating libcudd-debuginfo package Processing files: libcudd-devel-2.5.1-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.9sxHos find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.5KhXd5 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:18: fatal error: cstdio: No such file or directory compilation terminated. cpp.req: /usr/src/tmp/cudd-buildroot/usr/include/cudd/cuddObj.hh: cpp failed, trying c++ mode Requires: libcudd = 2.5.1-alt2, /usr/lib64/libcudd.so.0, /usr/lib64/libdddmp.so.0, /usr/lib64/libepd.so.0, /usr/lib64/libmnem.so.0, /usr/lib64/libmtr.so.0, /usr/lib64/libst.so.0 Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.3s9eiN Processing files: libcudd-devel-docs-2.5.1-alt2 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.95727 + 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.pwoCPy find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.u9pran 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-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.8pqGee find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.B8PE27 find-requires: running scripts (debuginfo) Requires: cudd = 2.5.1-alt2, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libcudd.so.0), debug64(libdddmp.so.0), debug64(libmtr.so.0), debug64(libst.so.0) Processing files: libcudd-debuginfo-2.5.1-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.SxajD4 find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.91DpW3 find-requires: running scripts (debuginfo) Provides: debug64(libcudd.so.0), debug64(libdddmp.so.0), debug64(libepd.so.0), debug64(libmnem.so.0), debug64(libmtr.so.0), debug64(libst.so.0) Requires: libcudd = 2.5.1-alt2, debug64(libc.so.6), debug64(libm.so.6) Adding to cudd-debuginfo a strict dependency on libcudd-debuginfo Removing from cudd-debuginfo 5 sources provided by libcudd-debuginfo Removing 5 extra deps from cudd due to dependency on libcudd Removing 6 extra deps from libcudd-devel due to dependency on libcudd Removing 4 extra deps from cudd-debuginfo due to dependency on libcudd-debuginfo Removing 5 extra deps from cudd due to repentancy on libcudd Removing 1 extra deps from cudd-debuginfo due to repentancy on libcudd-debuginfo Wrote: /usr/src/RPM/RPMS/x86_64/cudd-2.5.1-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-2.5.1-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-devel-2.5.1-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/noarch/libcudd-devel-docs-2.5.1-alt2.noarch.rpm Wrote: /usr/src/RPM/RPMS/x86_64/cudd-debuginfo-2.5.1-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-debuginfo-2.5.1-alt2.x86_64.rpm 46.55user 7.52system 0:36.25elapsed 149%CPU (0avgtext+0avgdata 50744maxresident)k 0inputs+0outputs (0major+1279116minor)pagefaults 0swaps 53.03user 12.78system 0:47.97elapsed 137%CPU (0avgtext+0avgdata 121976maxresident)k 8inputs+0outputs (0major+1637609minor)pagefaults 0swaps --- cudd-2.5.1-alt2.x86_64.rpm.repo 2015-03-16 13:33:59.000000000 +0000 +++ cudd-2.5.1-alt2.x86_64.rpm.hasher 2019-04-21 01:15:29.426200008 +0000 @@ -14,3 +14,3 @@ /usr/share/doc/cudd-2.5.1/nanotrav.html/ntrExtDet.html 100644 -/usr/share/man/man1/nanotrav.1.bz2 100644 +/usr/share/man/man1/nanotrav.1.xz 100644 Requires: libcudd = 2.5.1-alt2 --- libcudd-2.5.1-alt2.x86_64.rpm.repo 2015-03-16 13:33:59.000000000 +0000 +++ libcudd-2.5.1-alt2.x86_64.rpm.hasher 2019-04-21 01:15:29.608194565 +0000 @@ -21,3 +21,3 @@ Provides: libepd.so.0()(64bit) = set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1 -Provides: libmnem.so.0()(64bit) = set:hdgiXaS148oCKteYg95 +Provides: libmnem.so.0()(64bit) = set:gcqHJPx3W3nh7gwsX Provides: libmtr.so.0()(64bit) = set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6