<86>Feb 21 02:34:16 userdel[100277]: delete user 'rooter'
<86>Feb 21 02:34:16 userdel[100277]: removed group 'rooter' owned by 'rooter'
<86>Feb 21 02:34:16 userdel[100277]: removed shadow group 'rooter' owned by 'rooter'
<86>Feb 21 02:34:16 groupadd[100301]: group added to /etc/group: name=rooter, GID=603
<86>Feb 21 02:34:16 groupadd[100301]: group added to /etc/gshadow: name=rooter
<86>Feb 21 02:34:16 groupadd[100301]: new group: name=rooter, GID=603
<86>Feb 21 02:34:16 useradd[100318]: new user: name=rooter, UID=603, GID=603, home=/root, shell=/bin/bash
<86>Feb 21 02:34:16 userdel[100342]: delete user 'builder'
<86>Feb 21 02:34:16 userdel[100342]: removed group 'builder' owned by 'builder'
<86>Feb 21 02:34:16 userdel[100342]: removed shadow group 'builder' owned by 'builder'
<86>Feb 21 02:34:16 groupadd[100366]: group added to /etc/group: name=builder, GID=604
<86>Feb 21 02:34:16 groupadd[100366]: group added to /etc/gshadow: name=builder
<86>Feb 21 02:34:16 groupadd[100366]: new group: name=builder, GID=604
<86>Feb 21 02:34:16 useradd[100381]: new user: name=builder, UID=604, GID=604, home=/usr/src, shell=/bin/bash
<13>Feb 21 02:34:20 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed
<13>Feb 21 02:34:23 rpmi: gcc-c++-common-1.4.23-alt1 sisyphus+221902.2500.4.1 1550596716 installed
<13>Feb 21 02:34:24 rpmi: libstdc++8-devel-8.2.1-alt5 sisyphus+219286.200.2.1 1549853842 installed
<13>Feb 21 02:34:27 rpmi: gcc8-c++-8.2.1-alt5 sisyphus+219286.200.2.1 1549853842 installed
<13>Feb 21 02:34:27 rpmi: gcc-c++-8-alt1 sisyphus+222164.100.1.1 1550685957 installed
<13>Feb 21 02:34:27 rpmi: libstdc++-devel-8-alt1 sisyphus+222164.100.1.1 1550685957 installed
Building target platforms: x86_64
Building for target x86_64
Wrote: /usr/src/in/nosrpm/cudd-2.5.1-alt3.nosrc.rpm
Installing cudd-2.5.1-alt3.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.64817
+ 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.2507
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd cudd-2.5.1
+ CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC'
+ export FFLAGS
+ make -j8 build
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1'
sh ./setup.sh
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1'
Making util ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cpu_time.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c texpand.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c strsav.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cpu_stats.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ptime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c prtime.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c safe_mem.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c stub.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c datalimit.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c pathsearch.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cstringstream.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c pipefork.c -I../include -DUNIX -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/util'
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 -fPIC -DPIC -c mtrBasic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
mtrBasic.c: In function 'Mtr_PrintTree':
mtrBasic.c:432:5: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
(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);
^
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c mtrGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
gcc -shared mtrBasic.o mtrGroup.o -Wl,--whole-archive ../util/libutil.a -Wl,--no-whole-archive \
-Wl,-soname=libmtr.so.0 -o libmtr.so.0
ln -s libmtr.so.0 libmtr.so
#ar rv libmtr.so mtrBasic.o mtrGroup.o
#ranlib libmtr.so
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/mtr'
Making st ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c st.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
gcc -shared st.o -Wl,-soname=libst.so.0 -o libst.so.0 ../mtr/libmtr.so
ln -s libst.so.0 libst.so
#ar rv libst.so st.o
#ranlib libst.so
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/st'
Making epd ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c epd.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
gcc -shared epd.o -Wl,-soname=libepd.so.0 -o libepd.so.0 -lm ../mtr/libmtr.so
ln -s libepd.so.0 libepd.so
#ar rv libepd.so epd.o
#ranlib libepd.so
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/epd'
Making cudd ...
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddInv.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddFind.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddApply.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddNeg.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddAddIte.c: In function 'cuddAddIteRecur':
cuddAddIte.c:529:24: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized]
r = (t == e) ? t : cuddUniqueInter(dd,index,t,e);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAddWalsh.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddBddCorr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAndAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddBddAbs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAnneal.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddApa.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddBridge.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddBddIte.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddBddIte.c: In function 'cuddBddIteRecur':
cuddBddIte.c:853:24: warning: 'index' may be used uninitialized in this function [-Wmaybe-uninitialized]
r = (t == e) ? t : cuddUniqueInter(dd,index,t,e);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddAPI.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddClip.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddCheck.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddApprox.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddCompose.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddHarwell.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddHarwell.c: In function 'Cudd_addHarwell':
cuddHarwell.c:143:33: warning: 'lyn' may be used uninitialized in this function [-Wmaybe-uninitialized]
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_ */
^~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddInit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddExact.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddGroup.c: In function 'ddGroupMove':
cuddGroup.c:1569:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized]
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 '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 -fPIC -DPIC -c cuddGenetic.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddEssent.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddDecomp.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddDecomp.c: In function 'BuildConjuncts':
cuddDecomp.c: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 -fPIC -DPIC -c cuddInteract.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddLiteral.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddLevelQ.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddGenCof.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddExport.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddLinear.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddLinear.c: In function 'cuddLinearInPlace':
cuddLinear.c:369:12: warning: variable 'oldxkeys' set but not used [-Wunused-but-set-variable]
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 -fPIC -DPIC -c cuddMatMult.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddRef.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddRead.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSolve.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddLCache.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSign.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSplit.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSat.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSubsetHB.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSubsetSP.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddSubsetSP.c: In function 'BuildSubsetBdd':
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,
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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 -fPIC -DPIC -c cuddWindow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddCount.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddFuncs.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddSymmetry.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddSymmetry.c: In function 'ddSymmGroupMove':
cuddSymmetry.c:1538:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized]
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 -fPIC -DPIC -c cuddReorder.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddReorder.c: In function 'cuddSwapping':
cuddReorder.c:653:21: warning: 'pivot' may be used uninitialized in this function [-Wmaybe-uninitialized]
modulo = pivot - lower - 1;
~~~~~~^~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddPriority.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddPriority.c: In function 'Cudd_Inequality':
cuddPriority.c:857:36: warning: 'newMap[1]' may be used uninitialized in this function [-Wmaybe-uninitialized]
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 -fPIC -DPIC -c cuddZddIsop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddGroup.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddZddGroup.c: In function 'zddGroupMove':
cuddZddGroup.c:1154:13: warning: 'swapy' may be used uninitialized in this function [-Wmaybe-uninitialized]
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 -fPIC -DPIC -c cuddZddPort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddMisc.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddReord.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
In file included from cuddZddReord.c:77:
cuddZddReord.c: In function 'cuddZddSwapInPlace':
cuddInt.h:695:4: warning: 'newf1' may be used uninitialized in this function [-Wmaybe-uninitialized]
((((unsigned)(ptruint)(f) * DD_P1 + \
^
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 -fPIC -DPIC -c cuddZddSetop.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddUtil.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddZddLin.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/cudd'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c cuddTable.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddTable.c: In function 'ddResizeTable':
cuddTable.c:2739:13: warning: 'newmap' may be used uninitialized in this function [-Wmaybe-uninitialized]
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 -fPIC -DPIC -c cuddZddSymm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
cuddZddSymm.c: In function 'cuddZddSymmSiftingBackward':
cuddZddSymm.c:1465:26: warning: 'size' may be used uninitialized in this function [-Wmaybe-uninitialized]
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 -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 -fPIC -DPIC -c dddmpNodeBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpNodeAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpStoreBdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpLoadCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpLoadCnf.c: In function 'DddmpBddReadHeaderCnf':
dddmpLoadCnf.c:557:7: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
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 -fPIC -DPIC -c dddmpBinary.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpNodeCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpNodeCnf.c: In function 'DddmpDdNodesCountEdgesAndNumber':
dddmpNodeCnf.c:145:7: warning: variable 'retValue' set but not used [-Wunused-but-set-variable]
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 -fPIC -DPIC -c dddmpStoreAdd.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpStoreAdd.c: In function 'NodeStoreRecurAdd':
dddmpStoreAdd.c:750:7: warning: variable 'vE' set but not used [-Wunused-but-set-variable]
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 -fPIC -DPIC -c dddmpDbg.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpDbg.c: In function 'Dddmp_cuddBddDisplayBinary':
dddmpDbg.c:144:3: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result]
fgets(buf, 999,fp);
^~~~~~~~~~~~~~~~~~
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpUtil.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpStoreMisc.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpConvert.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/dddmp'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c dddmpStoreCnf.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpStoreCnf.c: In function 'StoreCnfBestNotSharedRecur':
dddmpStoreCnf.c:1341:11: warning: variable 'one' set but not used [-Wunused-but-set-variable]
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 -fPIC -DPIC -c dddmpLoad.c -I../include -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8
dddmpLoad.c: In function 'DddmpCuddDdArrayLoad':
dddmpLoad.c:1112:3: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result]
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 -fPIC -DPIC -c ntrHeap.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c chkMterm.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ntrShort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ntrZddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ucbqsort.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c main.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c bnet.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
bnet.c: In function 'Bnet_BuildNodeBDD':
bnet.c:2030:29: warning: 'phase[1]' may be used uninitialized in this function [-Wmaybe-uninitialized]
h = Cudd_NotCond(h,phase[1]);
^
bnet.c:1909:9: note: 'phase[1]' was declared here
int phase[2];
^~~~~
bnet.c:2009:29: warning: 'phase[0]' may be used uninitialized in this function [-Wmaybe-uninitialized]
g = Cudd_NotCond(g,phase[0]);
^
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 -fPIC -DPIC -c ntr.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
ntr.c: In function 'Ntr_buildTR':
ntr.c:404:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
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 -fPIC -DPIC -c ntrBddTest.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -c ntrMflow.c -I../include -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
make[1]: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
gcc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -o nanotrav main.o bnet.o ntr.o ntrHeap.o ntrBddTest.o ntrMflow.o ntrZddTest.o ntrShort.o chkMterm.o ucbqsort.o ../dddmp/libdddmp.so ../cudd/libcudd.so ../mtr/libmtr.so ../st/libst.so ../epd/libepd.so -lm
make[1]: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1/nanotrav'
+ CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC'
+ export FFLAGS
+ make -j8 nanotrav
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1'
sh ./setup.sh
make: Leaving directory '/usr/src/RPM/BUILD/cudd-2.5.1'
Making util ...
make[1]: '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 -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC'
+ export FFLAGS
+ make -j8 -C mnemosyne
make: Entering directory '/usr/src/RPM/BUILD/cudd-2.5.1/mnemosyne'
cc -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -g -DMALLOC_IS_VOIDSTAR -c -o mnemalyse.o mnemalyse.c
mnemalyse.c:70:1: warning: return type defaults to 'int' [-Wimplicit-int]
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 '<stdlib.h>' or provide a declaration of 'exit'
mnemalyse.c:39:1:
+#include <stdlib.h>
mnemalyse.c:97:3:
exit(1);
^~~~
mnemalyse.c:102:3: warning: incompatible implicit declaration of built-in function 'exit'
exit(1);
^~~~
mnemalyse.c:102:3: note: include '<stdlib.h>' 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 '<stdlib.h>' 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 '<string.h>' or provide a declaration of 'strlen'
mnemalyse.c:39:1:
+#include <string.h>
mnemalyse.c:142:32:
sp->dat = malloc((unsigned)(strlen(cpfnam) + 1));
^~~~~~
mnemalyse.c:145:5: warning: incompatible implicit declaration of built-in function 'exit'
exit(1);
^~~~
mnemalyse.c:145:5: note: include '<stdlib.h>' 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 '<string.h>' 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 '<stdlib.h>' 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 -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.91337
+ 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)
Checking contents of files in /usr/src/tmp/cudd-buildroot/ (default)
Compressing files in /usr/src/tmp/cudd-buildroot (auto)
mode of '/usr/src/tmp/cudd-buildroot/usr/share/man/man1/nanotrav.1' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
Adjusting library links in /usr/src/tmp/cudd-buildroot
./usr/lib64:
libcudd.so.0 -> libcudd.so.0
libdddmp.so.0 -> libdddmp.so.0
libepd.so.0 -> libepd.so.0
libmnem.so.0 -> libmnem.so.0
libmtr.so.0 -> libmtr.so.0
libst.so.0 -> libst.so.0
Verifying ELF objects in /usr/src/tmp/cudd-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal)
Hardlinking identical .pyc and .pyo files
Processing files: cudd-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.40318
+ 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.DQIBI3
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.1hgUYU
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks)
Requires: libcudd = 2.5.1-alt3, /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.TcNGiT
Creating cudd-debuginfo package
Processing files: libcudd-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.8605
+ 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.R4UFPV
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell)
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libcudd.so.0: 628 symbols, 20 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libdddmp.so.0: 61 symbols, 16 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libepd.so.0: 37 symbols, 16 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libmnem.so.0: 8 symbols, 13 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libmtr.so.0: 52 symbols, 16 bpp
lib.prov: /usr/src/tmp/cudd-buildroot/usr/lib64/libst.so.0: 22 symbols, 15 bpp
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.1SfAx1
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.fP9Ted
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.zavSts
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.tA14AL
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 <cstdio>
^~~~~~~~
compilation terminated.
cpp.req: /usr/src/tmp/cudd-buildroot/usr/include/cudd/cuddObj.hh: cpp failed, trying c++ mode
Requires: libcudd = 2.5.1-alt3, /usr/lib64/libcudd.so.0, /usr/lib64/libdddmp.so.0, /usr/lib64/libepd.so.0, /usr/lib64/libmnem.so.0, /usr/lib64/libmtr.so.0, /usr/lib64/libst.so.0
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.374zhc
Processing files: libcudd-devel-docs-2.5.1-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.97352
+ 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.nLR0fH
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.vOk90f
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.7CmvpS
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.hhQN4y
find-requires: running scripts (debuginfo)
Requires: cudd = 2.5.1-alt3, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libcudd.so.0), debug64(libdddmp.so.0), debug64(libmtr.so.0), debug64(libst.so.0)
Processing files: libcudd-debuginfo-2.5.1-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.b7LMek
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.HqXwc9
find-requires: running scripts (debuginfo)
Provides: debug64(libcudd.so.0), debug64(libdddmp.so.0), debug64(libepd.so.0), debug64(libmnem.so.0), debug64(libmtr.so.0), debug64(libst.so.0)
Requires: libcudd = 2.5.1-alt3, debug64(libc.so.6), debug64(libm.so.6)
Adding to cudd-debuginfo a strict dependency on libcudd-debuginfo
Removing from cudd-debuginfo 5 sources provided by libcudd-debuginfo
Removing 5 extra deps from cudd due to dependency on libcudd
Removing 6 extra deps from libcudd-devel due to dependency on libcudd
Removing 4 extra deps from cudd-debuginfo due to dependency on libcudd-debuginfo
Removing 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-alt3.x86_64.rpm
Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-2.5.1-alt3.x86_64.rpm
Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-devel-2.5.1-alt3.x86_64.rpm
Wrote: /usr/src/RPM/RPMS/noarch/libcudd-devel-docs-2.5.1-alt3.noarch.rpm
Wrote: /usr/src/RPM/RPMS/x86_64/cudd-debuginfo-2.5.1-alt3.x86_64.rpm
Wrote: /usr/src/RPM/RPMS/x86_64/libcudd-debuginfo-2.5.1-alt3.x86_64.rpm
34.73user 6.08system 0:42.26elapsed 96%CPU (0avgtext+0avgdata 49592maxresident)k
0inputs+0outputs (0major+1541002minor)pagefaults 0swaps
52.92user 11.61system 1:08.83elapsed 93%CPU (0avgtext+0avgdata 121620maxresident)k
8inputs+0outputs (0major+2139683minor)pagefaults 0swaps
--- libcudd-2.5.1-alt3.x86_64.rpm.repo 2018-08-12 07:08:19.000000000 +0000
+++ libcudd-2.5.1-alt3.x86_64.rpm.hasher 2019-02-21 02:35:16.650378860 +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