From https://github.com/archlinux/svntogit-community * branch packages/abc -> FETCH_HEAD * [new branch] packages/abc -> community/packages/abc Cloning into 'abc'... done. :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 131k 100 131k 0 0 390k 0 --:--:-- --:--:-- --:--:-- 390k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 8546k 0 60933 0 0 178k 0 0:00:47 --:--:-- 0:00:47 178k 100 8546k 100 8546k 0 0 21.7M 0 --:--:-- --:--:-- --:--:-- 21.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 143k 100 143k 0 0 424k 0 --:--:-- --:--:-- --:--:-- 424k :: Starting full system upgrade... there is nothing to do PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp/archlinux-ci/ SOURCE_DATE_EPOCH=1690560515 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1690560515' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-abc-archlinuxrb-build-0T8cjqid PWD=/tmp/archlinux-ci/abc-archlinuxrb-build-0T8cjqid/abc/trunk LOGNAME=jenkins SCHROOT_ALIAS_NAME=jenkins-reproducible-archlinux SCHROOT_GROUP=jenkins SCHROOT_USER=jenkins ftp_proxy=http://127.0.0.1:3128 HOME=/var/lib/jenkins LANG=C https_proxy=http://127.0.0.1:3128 USER=jenkins FTP_PROXY=http://127.0.0.1:3128 SHLVL=1 HTTPS_PROXY=http://127.0.0.1:3128 HTTP_PROXY=http://127.0.0.1:3128 SCHROOT_GID=116 http_proxy=http://127.0.0.1:3128 DEBUGINFOD_URLS=https://debuginfod.archlinux.org SCHROOT_UID=108 HG=/usr/bin/hg _=/usr/sbin/printenv ==> Making package: abc 0.0.0.20221019-1 (Fri Jul 28 16:09:04 2023) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Retrieving sources... -> Downloading abc-70cb339f869e485802159d7f2b886130793556c4.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2768k 0 2768k 0 0 2935k 0 --:--:-- --:--:-- --:--:-- 2935k 100 5924k 0 5924k 0 0 3778k 0 --:--:-- 0:00:01 --:--:-- 5049k ==> Validating source files with sha512sums... abc-70cb339f869e485802159d7f2b886130793556c4.tar.gz ... Passed ==> Extracting sources... -> Extracting abc-70cb339f869e485802159d7f2b886130793556c4.tar.gz with bsdtar ==> Starting prepare()... ==> Starting build()... Using CC=gcc Using CXX=g++ Using AR=ar Using LD=g++ Compiling with CUDD Using libreadline Using pthreads Compiling position independent code Found GCC_VERSION 13.1.1 Found GCC_MAJOR>=5 Using CFLAGS=-march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fPIC -Wno-unused-but-set-variable `` Generating dependency: /src/sat/glucose/AbcGlucose.cpp `` Generating dependency: /src/sat/glucose/AbcGlucoseCmd.cpp `` Generating dependency: /src/sat/glucose/Glucose.cpp `` Generating dependency: /src/sat/glucose/Options.cpp `` Generating dependency: /src/sat/glucose/SimpSolver.cpp `` Generating dependency: /src/sat/glucose/System.cpp `` Generating dependency: /src/sat/glucose2/AbcGlucose2.cpp `` Generating dependency: /src/sat/glucose2/AbcGlucoseCmd2.cpp `` Generating dependency: /src/sat/glucose2/Glucose2.cpp `` Generating dependency: /src/sat/glucose2/Options2.cpp `` Generating dependency: /src/sat/glucose2/SimpSolver2.cpp `` Generating dependency: /src/sat/glucose2/System2.cpp `` Generating dependency: /src/aig/gia/giaTtopt.cpp `` Generating dependency: /src/base/abc/abcAig.c `` Generating dependency: /src/base/abc/abcBarBuf.c `` Generating dependency: /src/base/abc/abcBlifMv.c `` Generating dependency: /src/base/abc/abcCheck.c `` Generating dependency: /src/base/abc/abcDfs.c `` Generating dependency: /src/base/abc/abcFanio.c `` Generating dependency: /src/base/abc/abcFanOrder.c `` Generating dependency: /src/base/abc/abcFunc.c `` Generating dependency: /src/base/abc/abcHie.c `` Generating dependency: /src/base/abc/abcHieCec.c `` Generating dependency: /src/base/abc/abcHieGia.c `` Generating dependency: /src/base/abc/abcHieNew.c `` Generating dependency: /src/base/abc/abcLatch.c `` Generating dependency: /src/base/abc/abcLib.c `` Generating dependency: /src/base/abc/abcMinBase.c `` Generating dependency: /src/base/abc/abcNames.c `` Generating dependency: /src/base/abc/abcNetlist.c `` Generating dependency: /src/base/abc/abcNtk.c `` Generating dependency: /src/base/abc/abcObj.c `` Generating dependency: /src/base/abc/abcRefs.c `` Generating dependency: /src/base/abc/abcShow.c `` Generating dependency: /src/base/abc/abcSop.c `` Generating dependency: /src/base/abc/abcUtil.c `` Generating dependency: /src/base/abci/abc.c `` Generating dependency: /src/base/abci/abcAttach.c `` Generating dependency: /src/base/abci/abcAuto.c `` Generating dependency: /src/base/abci/abcBalance.c `` Generating dependency: /src/base/abci/abcBidec.c `` Generating dependency: /src/base/abci/abcBm.c `` Generating dependency: /src/base/abci/abcBmc.c `` Generating dependency: /src/base/abci/abcCas.c `` Generating dependency: /src/base/abci/abcCascade.c `` Generating dependency: /src/base/abci/abcCollapse.c `` Generating dependency: /src/base/abci/abcCut.c `` Generating dependency: /src/base/abci/abcDar.c `` Generating dependency: /src/base/abci/abcDebug.c `` Generating dependency: /src/base/abci/abcDec.c `` Generating dependency: /src/base/abci/abcDetect.c `` Generating dependency: /src/base/abci/abcDress.c `` Generating dependency: /src/base/abci/abcDress2.c `` Generating dependency: /src/base/abci/abcDress3.c `` Generating dependency: /src/base/abci/abcDsd.c `` Generating dependency: /src/base/abci/abcEco.c `` Generating dependency: /src/base/abci/abcExact.c `` Generating dependency: /src/base/abci/abcExtract.c `` Generating dependency: /src/base/abci/abcFraig.c `` Generating dependency: /src/base/abci/abcFx.c `` Generating dependency: /src/base/abci/abcFxu.c `` Generating dependency: /src/base/abci/abcGen.c `` Generating dependency: /src/base/abci/abcHaig.c `` Generating dependency: /src/base/abci/abcIf.c `` Generating dependency: /src/base/abci/abcIfif.c `` Generating dependency: /src/base/abci/abcIfMux.c `` Generating dependency: /src/base/abci/abcIvy.c `` Generating dependency: /src/base/abci/abcLog.c `` Generating dependency: /src/base/abci/abcLut.c `` Generating dependency: /src/base/abci/abcLutmin.c `` Generating dependency: /src/base/abci/abcMap.c `` Generating dependency: /src/base/abci/abcMerge.c `` Generating dependency: /src/base/abci/abcMfs.c `` Generating dependency: /src/base/abci/abcMini.c `` Generating dependency: /src/base/abci/abcMiter.c `` Generating dependency: /src/base/abci/abcMulti.c `` Generating dependency: /src/base/abci/abcNtbdd.c `` Generating dependency: /src/base/abci/abcNpn.c `` Generating dependency: /src/base/abci/abcNpnSave.c `` Generating dependency: /src/base/abci/abcOdc.c `` Generating dependency: /src/base/abci/abcOrder.c `` Generating dependency: /src/base/abci/abcPart.c `` Generating dependency: /src/base/abci/abcPrint.c `` Generating dependency: /src/base/abci/abcProve.c `` Generating dependency: /src/base/abci/abcQbf.c `` Generating dependency: /src/base/abci/abcQuant.c `` Generating dependency: /src/base/abci/abcRec3.c `` Generating dependency: /src/base/abci/abcReconv.c `` Generating dependency: /src/base/abci/abcReach.c `` Generating dependency: /src/base/abci/abcRefactor.c `` Generating dependency: /src/base/abci/abcRenode.c `` Generating dependency: /src/base/abci/abcReorder.c `` Generating dependency: /src/base/abci/abcRestruct.c `` Generating dependency: /src/base/abci/abcResub.c `` Generating dependency: /src/base/abci/abcRewrite.c `` Generating dependency: /src/base/abci/abcRpo.c `` Generating dependency: /src/base/abci/abcRr.c `` Generating dependency: /src/base/abci/abcRunGen.c `` Generating dependency: /src/base/abci/abcSat.c `` Generating dependency: /src/base/abci/abcSaucy.c `` Generating dependency: /src/base/abci/abcScorr.c `` Generating dependency: /src/base/abci/abcSense.c `` Generating dependency: /src/base/abci/abcSpeedup.c `` Generating dependency: /src/base/abci/abcStrash.c `` Generating dependency: /src/base/abci/abcSweep.c `` Generating dependency: /src/base/abci/abcSymm.c `` Generating dependency: /src/base/abci/abcTim.c `` Generating dependency: /src/base/abci/abcTiming.c `` Generating dependency: /src/base/abci/abcUnate.c `` Generating dependency: /src/base/abci/abcUnreach.c `` Generating dependency: /src/base/abci/abcVerify.c `` Generating dependency: /src/base/abci/abcXsim.c `` Generating dependency: /src/base/cmd/cmd.c `` Generating dependency: /src/base/cmd/cmdAlias.c `` Generating dependency: /src/base/cmd/cmdApi.c `` Generating dependency: /src/base/cmd/cmdAuto.c `` Generating dependency: /src/base/cmd/cmdFlag.c `` Generating dependency: /src/base/cmd/cmdHist.c `` Generating dependency: /src/base/cmd/cmdLoad.c `` Generating dependency: /src/base/cmd/cmdPlugin.c `` Generating dependency: /src/base/cmd/cmdStarter.c `` Generating dependency: /src/base/cmd/cmdUtils.c `` Generating dependency: /src/base/io/io.c `` Generating dependency: /src/base/io/ioJson.c `` Generating dependency: /src/base/io/ioReadAiger.c `` Generating dependency: /src/base/io/ioReadBaf.c `` Generating dependency: /src/base/io/ioReadBblif.c `` Generating dependency: /src/base/io/ioReadBench.c `` Generating dependency: /src/base/io/ioReadBlif.c `` Generating dependency: /src/base/io/ioReadBlifAig.c `` Generating dependency: /src/base/io/ioReadBlifMv.c `` Generating dependency: /src/base/io/ioReadDsd.c `` Generating dependency: /src/base/io/ioReadEdif.c `` Generating dependency: /src/base/io/ioReadEqn.c `` Generating dependency: /src/base/io/ioReadPla.c `` Generating dependency: /src/base/io/ioReadPlaMo.c `` Generating dependency: /src/base/io/ioReadVerilog.c `` Generating dependency: /src/base/io/ioUtil.c `` Generating dependency: /src/base/io/ioWriteAiger.c `` Generating dependency: /src/base/io/ioWriteBaf.c `` Generating dependency: /src/base/io/ioWriteBblif.c `` Generating dependency: /src/base/io/ioWriteBlif.c `` Generating dependency: /src/base/io/ioWriteBench.c `` Generating dependency: /src/base/io/ioWriteBlifMv.c `` Generating dependency: /src/base/io/ioWriteBook.c `` Generating dependency: /src/base/io/ioWriteCnf.c `` Generating dependency: /src/base/io/ioWriteDot.c `` Generating dependency: /src/base/io/ioWriteEqn.c `` Generating dependency: /src/base/io/ioWriteGml.c `` Generating dependency: /src/base/io/ioWriteList.c `` Generating dependency: /src/base/io/ioWritePla.c `` Generating dependency: /src/base/io/ioWriteVerilog.c `` Generating dependency: /src/base/io/ioWriteSmv.c `` Generating dependency: /src/base/main/main.c `` Generating dependency: /src/base/main/mainFrame.c `` Generating dependency: /src/base/main/mainInit.c `` Generating dependency: /src/base/main/mainLib.c `` Generating dependency: /src/base/main/mainReal.c `` Generating dependency: /src/base/main/libSupport.c `` Generating dependency: /src/base/main/mainUtils.c `` Generating dependency: /src/base/exor/exor.c `` Generating dependency: /src/base/exor/exorBits.c `` Generating dependency: /src/base/exor/exorCubes.c `` Generating dependency: /src/base/exor/exorLink.c `` Generating dependency: /src/base/exor/exorList.c `` Generating dependency: /src/base/exor/exorUtil.c `` Generating dependency: /src/base/ver/verCore.c `` Generating dependency: /src/base/ver/verFormula.c `` Generating dependency: /src/base/ver/verParse.c `` Generating dependency: /src/base/ver/verStream.c `` Generating dependency: /src/base/wlc/wlcAbs.c `` Generating dependency: /src/base/wlc/wlcAbs2.c `` Generating dependency: /src/base/wlc/wlcAbc.c `` Generating dependency: /src/base/wlc/wlcPth.c `` Generating dependency: /src/base/wlc/wlcBlast.c `` Generating dependency: /src/base/wlc/wlcCom.c `` Generating dependency: /src/base/wlc/wlcGraft.c `` Generating dependency: /src/base/wlc/wlcJson.c `` Generating dependency: /src/base/wlc/wlcMem.c `` Generating dependency: /src/base/wlc/wlcNdr.c `` Generating dependency: /src/base/wlc/wlcNtk.c `` Generating dependency: /src/base/wlc/wlcReadSmt.c `` Generating dependency: /src/base/wlc/wlcReadVer.c `` Generating dependency: /src/base/wlc/wlcSim.c `` Generating dependency: /src/base/wlc/wlcShow.c `` Generating dependency: /src/base/wlc/wlcStdin.c `` Generating dependency: /src/base/wlc/wlcUif.c `` Generating dependency: /src/base/wlc/wlcWin.c `` Generating dependency: /src/base/wlc/wlcWriteVer.c `` Generating dependency: /src/base/wln/wln.c `` Generating dependency: /src/base/wln/wlnBlast.c `` Generating dependency: /src/base/wln/wlnCom.c `` Generating dependency: /src/base/wln/wlnGuide.c `` Generating dependency: /src/base/wln/wlnMem.c `` Generating dependency: /src/base/wln/wlnNdr.c `` Generating dependency: /src/base/wln/wlnNtk.c `` Generating dependency: /src/base/wln/wlnObj.c `` Generating dependency: /src/base/wln/wlnRead.c `` Generating dependency: /src/base/wln/wlnRetime.c `` Generating dependency: /src/base/wln/wlnRtl.c `` Generating dependency: /src/base/wln/wlnWlc.c `` Generating dependency: /src/base/wln/wlnWriteVer.c `` Generating dependency: /src/base/acb/acbAbc.c `` Generating dependency: /src/base/acb/acbAig.c `` Generating dependency: /src/base/acb/acbCom.c `` Generating dependency: /src/base/acb/acbFunc.c `` Generating dependency: /src/base/acb/acbMfs.c `` Generating dependency: /src/base/acb/acbPush.c `` Generating dependency: /src/base/acb/acbSets.c `` Generating dependency: /src/base/acb/acbTest.c `` Generating dependency: /src/base/acb/acbUtil.c `` Generating dependency: /src/base/bac/bacBlast.c `` Generating dependency: /src/base/bac/bacBac.c `` Generating dependency: /src/base/bac/bacCom.c `` Generating dependency: /src/base/bac/bacLib.c `` Generating dependency: /src/base/bac/bacNtk.c `` Generating dependency: /src/base/bac/bacPrsBuild.c `` Generating dependency: /src/base/bac/bacPrsTrans.c `` Generating dependency: /src/base/bac/bacPtr.c `` Generating dependency: /src/base/bac/bacPtrAbc.c `` Generating dependency: /src/base/bac/bacReadBlif.c `` Generating dependency: /src/base/bac/bacReadSmt.c `` Generating dependency: /src/base/bac/bacReadVer.c `` Generating dependency: /src/base/bac/bacWriteBlif.c `` Generating dependency: /src/base/bac/bacWriteSmt.c `` Generating dependency: /src/base/bac/bacWriteVer.c `` Generating dependency: /src/base/cba/cbaBlast.c `` Generating dependency: /src/base/cba/cbaCba.c `` Generating dependency: /src/base/cba/cbaCom.c `` Generating dependency: /src/base/cba/cbaNtk.c `` Generating dependency: /src/base/cba/cbaReadBlif.c `` Generating dependency: /src/base/cba/cbaReadVer.c `` Generating dependency: /src/base/cba/cbaWriteBlif.c `` Generating dependency: /src/base/cba/cbaWriteVer.c `` Generating dependency: /src/base/pla/plaCom.c `` Generating dependency: /src/base/pla/plaHash.c `` Generating dependency: /src/base/pla/plaMan.c `` Generating dependency: /src/base/pla/plaMerge.c `` Generating dependency: /src/base/pla/plaSimple.c `` Generating dependency: /src/base/pla/plaRead.c `` Generating dependency: /src/base/pla/plaWrite.c `` Generating dependency: /src/base/test/test.c `` Generating dependency: /src/map/mapper/mapper.c `` Generating dependency: /src/map/mapper/mapperCanon.c `` Generating dependency: /src/map/mapper/mapperCore.c `` Generating dependency: /src/map/mapper/mapperCreate.c `` Generating dependency: /src/map/mapper/mapperCut.c `` Generating dependency: /src/map/mapper/mapperCutUtils.c `` Generating dependency: /src/map/mapper/mapperLib.c `` Generating dependency: /src/map/mapper/mapperMatch.c `` Generating dependency: /src/map/mapper/mapperRefs.c `` Generating dependency: /src/map/mapper/mapperSuper.c `` Generating dependency: /src/map/mapper/mapperSwitch.c `` Generating dependency: /src/map/mapper/mapperTable.c `` Generating dependency: /src/map/mapper/mapperTime.c `` Generating dependency: /src/map/mapper/mapperTree.c `` Generating dependency: /src/map/mapper/mapperTruth.c `` Generating dependency: /src/map/mapper/mapperUtils.c `` Generating dependency: /src/map/mapper/mapperVec.c `` Generating dependency: /src/map/mio/mio.c `` Generating dependency: /src/map/mio/mioApi.c `` Generating dependency: /src/map/mio/mioFunc.c `` Generating dependency: /src/map/mio/mioParse.c `` Generating dependency: /src/map/mio/mioRead.c `` Generating dependency: /src/map/mio/mioSop.c `` Generating dependency: /src/map/mio/mioUtils.c `` Generating dependency: /src/map/super/super.c `` Generating dependency: /src/map/super/superAnd.c `` Generating dependency: /src/map/super/superGate.c `` Generating dependency: /src/map/if/ifCom.c `` Generating dependency: /src/map/if/ifCache.c `` Generating dependency: /src/map/if/ifCore.c `` Generating dependency: /src/map/if/ifCut.c `` Generating dependency: /src/map/if/ifData2.c `` Generating dependency: /src/map/if/ifDec07.c `` Generating dependency: /src/map/if/ifDec08.c `` Generating dependency: /src/map/if/ifDec10.c `` Generating dependency: /src/map/if/ifDec16.c `` Generating dependency: /src/map/if/ifDec75.c `` Generating dependency: /src/map/if/ifDelay.c `` Generating dependency: /src/map/if/ifDsd.c `` Generating dependency: /src/map/if/ifLibBox.c `` Generating dependency: /src/map/if/ifLibLut.c `` Generating dependency: /src/map/if/ifMan.c `` Generating dependency: /src/map/if/ifMap.c `` Generating dependency: /src/map/if/ifMatch2.c `` Generating dependency: /src/map/if/ifReduce.c `` Generating dependency: /src/map/if/ifSat.c `` Generating dependency: /src/map/if/ifSelect.c `` Generating dependency: /src/map/if/ifSeq.c `` Generating dependency: /src/map/if/ifTest.c `` Generating dependency: /src/map/if/ifTime.c `` Generating dependency: /src/map/if/ifTruth.c `` Generating dependency: /src/map/if/ifTune.c `` Generating dependency: /src/map/if/ifUtil.c `` Generating dependency: /src/map/amap/amapCore.c `` Generating dependency: /src/map/amap/amapGraph.c `` Generating dependency: /src/map/amap/amapLib.c `` Generating dependency: /src/map/amap/amapLiberty.c `` Generating dependency: /src/map/amap/amapMan.c `` Generating dependency: /src/map/amap/amapMatch.c `` Generating dependency: /src/map/amap/amapMerge.c `` Generating dependency: /src/map/amap/amapOutput.c `` Generating dependency: /src/map/amap/amapParse.c `` Generating dependency: /src/map/amap/amapPerm.c `` Generating dependency: /src/map/amap/amapRead.c `` Generating dependency: /src/map/amap/amapRule.c `` Generating dependency: /src/map/amap/amapUniq.c `` Generating dependency: /src/map/cov/covBuild.c `` Generating dependency: /src/map/cov/covCore.c `` Generating dependency: /src/map/cov/covMan.c `` Generating dependency: /src/map/cov/covMinEsop.c `` Generating dependency: /src/map/cov/covMinMan.c `` Generating dependency: /src/map/cov/covMinSop.c `` Generating dependency: /src/map/cov/covMinUtil.c `` Generating dependency: /src/map/scl/scl.c `` Generating dependency: /src/map/scl/sclBuffer.c `` Generating dependency: /src/map/scl/sclBufSize.c `` Generating dependency: /src/map/scl/sclDnsize.c `` Generating dependency: /src/map/scl/sclLiberty.c `` Generating dependency: /src/map/scl/sclLibScl.c `` Generating dependency: /src/map/scl/sclLibUtil.c `` Generating dependency: /src/map/scl/sclLoad.c `` Generating dependency: /src/map/scl/sclSize.c `` Generating dependency: /src/map/scl/sclUpsize.c `` Generating dependency: /src/map/scl/sclUtil.c `` Generating dependency: /src/map/mpm/mpmAbc.c `` Generating dependency: /src/map/mpm/mpmCore.c `` Generating dependency: /src/map/mpm/mpmDsd.c `` Generating dependency: /src/map/mpm/mpmGates.c `` Generating dependency: /src/map/mpm/mpmLib.c `` Generating dependency: /src/map/mpm/mpmMan.c `` Generating dependency: /src/map/mpm/mpmMap.c `` Generating dependency: /src/map/mpm/mpmMig.c `` Generating dependency: /src/map/mpm/mpmPre.c `` Generating dependency: /src/map/mpm/mpmTruth.c `` Generating dependency: /src/map/mpm/mpmUtil.c `` Generating dependency: /src/misc/extra/extraUtilBitMatrix.c `` Generating dependency: /src/misc/extra/extraUtilCanon.c `` Generating dependency: /src/misc/extra/extraUtilCfs.c `` Generating dependency: /src/misc/extra/extraUtilCube.c `` Generating dependency: /src/misc/extra/extraUtilDsd.c `` Generating dependency: /src/misc/extra/extraUtilEnum.c `` Generating dependency: /src/misc/extra/extraUtilFile.c `` Generating dependency: /src/misc/extra/extraUtilGen.c `` Generating dependency: /src/misc/extra/extraUtilMacc.c `` Generating dependency: /src/misc/extra/extraUtilMaj.c `` Generating dependency: /src/misc/extra/extraUtilMemory.c `` Generating dependency: /src/misc/extra/extraUtilMisc.c `` Generating dependency: /src/misc/extra/extraUtilMult.c `` Generating dependency: /src/misc/extra/extraUtilPath.c `` Generating dependency: /src/misc/extra/extraUtilPerm.c `` Generating dependency: /src/misc/extra/extraUtilProgress.c `` Generating dependency: /src/misc/extra/extraUtilReader.c `` Generating dependency: /src/misc/extra/extraUtilSupp.c `` Generating dependency: /src/misc/extra/extraUtilTruth.c `` Generating dependency: /src/misc/extra/extraUtilUtil.c `` Generating dependency: /src/misc/mvc/mvcApi.c `` Generating dependency: /src/misc/mvc/mvcCompare.c `` Generating dependency: /src/misc/mvc/mvcContain.c `` Generating dependency: /src/misc/mvc/mvcCover.c `` Generating dependency: /src/misc/mvc/mvcCube.c `` Generating dependency: /src/misc/mvc/mvcDivide.c `` Generating dependency: /src/misc/mvc/mvcDivisor.c `` Generating dependency: /src/misc/mvc/mvcList.c `` Generating dependency: /src/misc/mvc/mvcLits.c `` Generating dependency: /src/misc/mvc/mvcMan.c `` Generating dependency: /src/misc/mvc/mvcOpAlg.c `` Generating dependency: /src/misc/mvc/mvcOpBool.c `` Generating dependency: /src/misc/mvc/mvcPrint.c `` Generating dependency: /src/misc/mvc/mvcSort.c `` Generating dependency: /src/misc/mvc/mvcUtils.c `` Generating dependency: /src/misc/st/st.c `` Generating dependency: /src/misc/st/stmm.c `` Generating dependency: /src/misc/util/utilBridge.c `` Generating dependency: /src/misc/util/utilCex.c `` Generating dependency: /src/misc/util/utilColor.c `` Generating dependency: /src/misc/util/utilFile.c `` Generating dependency: /src/misc/util/utilIsop.c `` Generating dependency: /src/misc/util/utilNam.c `` Generating dependency: /src/misc/util/utilSignal.c `` Generating dependency: /src/misc/util/utilSort.c `` Generating dependency: /src/misc/nm/nmApi.c `` Generating dependency: /src/misc/nm/nmTable.c `` Generating dependency: /src/misc/tim/timBox.c `` Generating dependency: /src/misc/tim/timDump.c `` Generating dependency: /src/misc/tim/timMan.c `` Generating dependency: /src/misc/tim/timTime.c `` Generating dependency: /src/misc/tim/timTrav.c `` Generating dependency: /src/misc/bzlib/blocksort.c `` Generating dependency: /src/misc/bzlib/bzlib.c `` Generating dependency: /src/misc/bzlib/compress.c `` Generating dependency: /src/misc/bzlib/crctable.c `` Generating dependency: /src/misc/bzlib/decompress.c `` Generating dependency: /src/misc/bzlib/huffman.c `` Generating dependency: /src/misc/bzlib/randtable.c `` Generating dependency: /src/misc/zlib/adler32.c `` Generating dependency: /src/misc/zlib/compress_.c `` Generating dependency: /src/misc/zlib/crc32.c `` Generating dependency: /src/misc/zlib/deflate.c `` Generating dependency: /src/misc/zlib/gzclose.c `` Generating dependency: /src/misc/zlib/gzlib.c `` Generating dependency: /src/misc/zlib/gzread.c `` Generating dependency: /src/misc/zlib/gzwrite.c `` Generating dependency: /src/misc/zlib/infback.c `` Generating dependency: /src/misc/zlib/inffast.c `` Generating dependency: /src/misc/zlib/inflate.c `` Generating dependency: /src/misc/zlib/inftrees.c `` Generating dependency: /src/misc/zlib/trees.c `` Generating dependency: /src/misc/zlib/uncompr.c `` Generating dependency: /src/misc/zlib/zutil.c `` Generating dependency: /src/misc/mem/mem.c `` Generating dependency: /src/misc/bar/bar.c `` Generating dependency: /src/misc/bbl/bblif.c `` Generating dependency: /src/misc/parse/parseEqn.c `` Generating dependency: /src/misc/parse/parseStack.c `` Generating dependency: /src/opt/cut/cutApi.c `` Generating dependency: /src/opt/cut/cutCut.c `` Generating dependency: /src/opt/cut/cutMan.c `` Generating dependency: /src/opt/cut/cutMerge.c `` Generating dependency: /src/opt/cut/cutNode.c `` Generating dependency: /src/opt/cut/cutOracle.c `` Generating dependency: /src/opt/cut/cutPre22.c `` Generating dependency: /src/opt/cut/cutSeq.c `` Generating dependency: /src/opt/cut/cutTruth.c `` Generating dependency: /src/opt/fxu/fxu.c `` Generating dependency: /src/opt/fxu/fxuCreate.c `` Generating dependency: /src/opt/fxu/fxuHeapD.c `` Generating dependency: /src/opt/fxu/fxuHeapS.c `` Generating dependency: /src/opt/fxu/fxuList.c `` Generating dependency: /src/opt/fxu/fxuMatrix.c `` Generating dependency: /src/opt/fxu/fxuPair.c `` Generating dependency: /src/opt/fxu/fxuPrint.c `` Generating dependency: /src/opt/fxu/fxuReduce.c `` Generating dependency: /src/opt/fxu/fxuSelect.c `` Generating dependency: /src/opt/fxu/fxuSingle.c `` Generating dependency: /src/opt/fxu/fxuUpdate.c `` Generating dependency: /src/opt/fxch/Fxch.c `` Generating dependency: /src/opt/fxch/FxchDiv.c `` Generating dependency: /src/opt/fxch/FxchMan.c `` Generating dependency: /src/opt/fxch/FxchSCHashTable.c `` Generating dependency: /src/opt/rwr/rwrDec.c `` Generating dependency: /src/opt/rwr/rwrEva.c `` Generating dependency: /src/opt/rwr/rwrExp.c `` Generating dependency: /src/opt/rwr/rwrLib.c `` Generating dependency: /src/opt/rwr/rwrMan.c `` Generating dependency: /src/opt/rwr/rwrPrint.c `` Generating dependency: /src/opt/rwr/rwrUtil.c `` Generating dependency: /src/opt/mfs/mfsCore.c `` Generating dependency: /src/opt/mfs/mfsDiv.c `` Generating dependency: /src/opt/mfs/mfsInter.c `` Generating dependency: /src/opt/mfs/mfsMan.c `` Generating dependency: /src/opt/mfs/mfsResub.c `` Generating dependency: /src/opt/mfs/mfsSat.c `` Generating dependency: /src/opt/mfs/mfsStrash.c `` Generating dependency: /src/opt/mfs/mfsWin.c `` Generating dependency: /src/opt/sim/simMan.c `` Generating dependency: /src/opt/sim/simSeq.c `` Generating dependency: /src/opt/sim/simSupp.c `` Generating dependency: /src/opt/sim/simSwitch.c `` Generating dependency: /src/opt/sim/simSym.c `` Generating dependency: /src/opt/sim/simSymSat.c `` Generating dependency: /src/opt/sim/simSymSim.c `` Generating dependency: /src/opt/sim/simSymStr.c `` Generating dependency: /src/opt/sim/simUtils.c `` Generating dependency: /src/opt/ret/retArea.c `` Generating dependency: /src/opt/ret/retCore.c `` Generating dependency: /src/opt/ret/retDelay.c `` Generating dependency: /src/opt/ret/retFlow.c `` Generating dependency: /src/opt/ret/retIncrem.c `` Generating dependency: /src/opt/ret/retInit.c `` Generating dependency: /src/opt/ret/retLvalue.c `` Generating dependency: /src/opt/fret/fretMain.c `` Generating dependency: /src/opt/fret/fretFlow.c `` Generating dependency: /src/opt/fret/fretInit.c `` Generating dependency: /src/opt/fret/fretTime.c `` Generating dependency: /src/opt/res/resCore.c `` Generating dependency: /src/opt/res/resDivs.c `` Generating dependency: /src/opt/res/resFilter.c `` Generating dependency: /src/opt/res/resSat.c `` Generating dependency: /src/opt/res/resSim.c `` Generating dependency: /src/opt/res/resStrash.c `` Generating dependency: /src/opt/res/resWin.c `` Generating dependency: /src/opt/lpk/lpkCore.c `` Generating dependency: /src/opt/lpk/lpkAbcDec.c `` Generating dependency: /src/opt/lpk/lpkAbcMux.c `` Generating dependency: /src/opt/lpk/lpkAbcDsd.c `` Generating dependency: /src/opt/lpk/lpkAbcUtil.c `` Generating dependency: /src/opt/lpk/lpkCut.c `` Generating dependency: /src/opt/lpk/lpkMan.c `` Generating dependency: /src/opt/lpk/lpkMap.c `` Generating dependency: /src/opt/lpk/lpkMulti.c `` Generating dependency: /src/opt/lpk/lpkMux.c `` Generating dependency: /src/opt/lpk/lpkSets.c `` Generating dependency: /src/opt/nwk/nwkAig.c `` Generating dependency: /src/opt/nwk/nwkCheck.c `` Generating dependency: /src/opt/nwk/nwkBidec.c `` Generating dependency: /src/opt/nwk/nwkDfs.c `` Generating dependency: /src/opt/nwk/nwkFanio.c `` Generating dependency: /src/opt/nwk/nwkFlow.c `` Generating dependency: /src/opt/nwk/nwkMan.c `` Generating dependency: /src/opt/nwk/nwkMap.c `` Generating dependency: /src/opt/nwk/nwkMerge.c `` Generating dependency: /src/opt/nwk/nwkObj.c `` Generating dependency: /src/opt/nwk/nwkSpeedup.c `` Generating dependency: /src/opt/nwk/nwkStrash.c `` Generating dependency: /src/opt/nwk/nwkTiming.c `` Generating dependency: /src/opt/nwk/nwkUtil.c `` Generating dependency: /src/opt/rwt/rwtDec.c `` Generating dependency: /src/opt/rwt/rwtMan.c `` Generating dependency: /src/opt/rwt/rwtUtil.c `` Generating dependency: /src/opt/cgt/cgtAig.c `` Generating dependency: /src/opt/cgt/cgtCore.c `` Generating dependency: /src/opt/cgt/cgtDecide.c `` Generating dependency: /src/opt/cgt/cgtMan.c `` Generating dependency: /src/opt/cgt/cgtSat.c `` Generating dependency: /src/opt/csw/cswCore.c `` Generating dependency: /src/opt/csw/cswCut.c `` Generating dependency: /src/opt/csw/cswMan.c `` Generating dependency: /src/opt/csw/cswTable.c `` Generating dependency: /src/opt/dar/darBalance.c `` Generating dependency: /src/opt/dar/darCore.c `` Generating dependency: /src/opt/dar/darCut.c `` Generating dependency: /src/opt/dar/darData.c `` Generating dependency: /src/opt/dar/darLib.c `` Generating dependency: /src/opt/dar/darMan.c `` Generating dependency: /src/opt/dar/darPrec.c `` Generating dependency: /src/opt/dar/darRefact.c `` Generating dependency: /src/opt/dar/darScript.c `` Generating dependency: /src/opt/dau/dauCanon.c `` Generating dependency: /src/opt/dau/dauCore.c `` Generating dependency: /src/opt/dau/dauCount.c `` Generating dependency: /src/opt/dau/dauDivs.c `` Generating dependency: /src/opt/dau/dauDsd.c `` Generating dependency: /src/opt/dau/dauEnum.c `` Generating dependency: /src/opt/dau/dauGia.c `` Generating dependency: /src/opt/dau/dauMerge.c `` Generating dependency: /src/opt/dau/dauNonDsd.c `` Generating dependency: /src/opt/dau/dauNpn.c `` Generating dependency: /src/opt/dau/dauNpn2.c `` Generating dependency: /src/opt/dau/dauTree.c `` Generating dependency: /src/opt/dsc/dsc.c `` Generating dependency: /src/opt/sfm/sfmArea.c `` Generating dependency: /src/opt/sfm/sfmCnf.c `` Generating dependency: /src/opt/sfm/sfmCore.c `` Generating dependency: /src/opt/sfm/sfmDec.c `` Generating dependency: /src/opt/sfm/sfmLib.c `` Generating dependency: /src/opt/sfm/sfmNtk.c `` Generating dependency: /src/opt/sfm/sfmSat.c `` Generating dependency: /src/opt/sfm/sfmTim.c `` Generating dependency: /src/opt/sfm/sfmMit.c `` Generating dependency: /src/opt/sfm/sfmWin.c `` Generating dependency: /src/opt/sbd/sbd.c `` Generating dependency: /src/opt/sbd/sbdCnf.c `` Generating dependency: /src/opt/sbd/sbdCore.c `` Generating dependency: /src/opt/sbd/sbdCut.c `` Generating dependency: /src/opt/sbd/sbdCut2.c `` Generating dependency: /src/opt/sbd/sbdLut.c `` Generating dependency: /src/opt/sbd/sbdPath.c `` Generating dependency: /src/opt/sbd/sbdSat.c `` Generating dependency: /src/opt/sbd/sbdWin.c `` Generating dependency: /src/sat/bsat/satMem.c `` Generating dependency: /src/sat/bsat/satInter.c `` Generating dependency: /src/sat/bsat/satInterA.c `` Generating dependency: /src/sat/bsat/satInterB.c `` Generating dependency: /src/sat/bsat/satInterP.c `` Generating dependency: /src/sat/bsat/satProof.c `` Generating dependency: /src/sat/bsat/satSolver.c `` Generating dependency: /src/sat/bsat/satSolver2.c `` Generating dependency: /src/sat/bsat/satSolver2i.c `` Generating dependency: /src/sat/bsat/satSolver3.c `` Generating dependency: /src/sat/bsat/satStore.c `` Generating dependency: /src/sat/bsat/satTrace.c `` Generating dependency: /src/sat/bsat/satTruth.c `` Generating dependency: /src/sat/bsat/satUtil.c `` Generating dependency: /src/sat/xsat/xsatSolver.c `` Generating dependency: /src/sat/xsat/xsatSolverAPI.c `` Generating dependency: /src/sat/xsat/xsatCnfReader.c `` Generating dependency: /src/sat/satoko/solver.c `` Generating dependency: /src/sat/satoko/solver_api.c `` Generating dependency: /src/sat/satoko/cnf_reader.c `` Generating dependency: /src/sat/csat/csat_apis.c `` Generating dependency: /src/sat/msat/msatActivity.c `` Generating dependency: /src/sat/msat/msatClause.c `` Generating dependency: /src/sat/msat/msatClauseVec.c `` Generating dependency: /src/sat/msat/msatMem.c `` Generating dependency: /src/sat/msat/msatOrderH.c `` Generating dependency: /src/sat/msat/msatQueue.c `` Generating dependency: /src/sat/msat/msatRead.c `` Generating dependency: /src/sat/msat/msatSolverApi.c `` Generating dependency: /src/sat/msat/msatSolverCore.c `` Generating dependency: /src/sat/msat/msatSolverIo.c `` Generating dependency: /src/sat/msat/msatSolverSearch.c `` Generating dependency: /src/sat/msat/msatSort.c `` Generating dependency: /src/sat/msat/msatVec.c `` Generating dependency: /src/sat/cnf/cnfCore.c `` Generating dependency: /src/sat/cnf/cnfCut.c `` Generating dependency: /src/sat/cnf/cnfData.c `` Generating dependency: /src/sat/cnf/cnfFast.c `` Generating dependency: /src/sat/cnf/cnfMan.c `` Generating dependency: /src/sat/cnf/cnfMap.c `` Generating dependency: /src/sat/cnf/cnfPost.c `` Generating dependency: /src/sat/cnf/cnfUtil.c `` Generating dependency: /src/sat/cnf/cnfWrite.c `` Generating dependency: /src/sat/bmc/bmcBCore.c `` Generating dependency: /src/sat/bmc/bmcBmc.c `` Generating dependency: /src/sat/bmc/bmcBmc2.c `` Generating dependency: /src/sat/bmc/bmcBmc3.c `` Generating dependency: /src/sat/bmc/bmcBmcAnd.c `` Generating dependency: /src/sat/bmc/bmcBmci.c `` Generating dependency: /src/sat/bmc/bmcBmcG.c `` Generating dependency: /src/sat/bmc/bmcBmcS.c `` Generating dependency: /src/sat/bmc/bmcCexCare.c `` Generating dependency: /src/sat/bmc/bmcCexCut.c `` Generating dependency: /src/sat/bmc/bmcCexDepth.c `` Generating dependency: /src/sat/bmc/bmcCexMin1.c `` Generating dependency: /src/sat/bmc/bmcCexMin2.c `` Generating dependency: /src/sat/bmc/bmcCexTools.c `` Generating dependency: /src/sat/bmc/bmcChain.c `` Generating dependency: /src/sat/bmc/bmcClp.c `` Generating dependency: /src/sat/bmc/bmcEco.c `` Generating dependency: /src/sat/bmc/bmcExpand.c `` Generating dependency: /src/sat/bmc/bmcFault.c `` Generating dependency: /src/sat/bmc/bmcFx.c `` Generating dependency: /src/sat/bmc/bmcGen.c `` Generating dependency: /src/sat/bmc/bmcICheck.c `` Generating dependency: /src/sat/bmc/bmcInse.c `` Generating dependency: /src/sat/bmc/bmcLoad.c `` Generating dependency: /src/sat/bmc/bmcMaj.c `` Generating dependency: /src/sat/bmc/bmcMaj2.c `` Generating dependency: /src/sat/bmc/bmcMaj3.c `` Generating dependency: /src/sat/bmc/bmcMaxi.c `` Generating dependency: /src/sat/bmc/bmcMesh.c `` Generating dependency: /src/sat/bmc/bmcMesh2.c `` Generating dependency: /src/sat/bmc/bmcMulti.c `` Generating dependency: /src/sat/bmc/bmcUnroll.c `` Generating dependency: /src/bool/bdc/bdcCore.c `` Generating dependency: /src/bool/bdc/bdcDec.c `` Generating dependency: /src/bool/bdc/bdcSpfd.c `` Generating dependency: /src/bool/bdc/bdcTable.c `` Generating dependency: /src/bool/dec/decAbc.c `` Generating dependency: /src/bool/dec/decFactor.c `` Generating dependency: /src/bool/dec/decMan.c `` Generating dependency: /src/bool/dec/decPrint.c `` Generating dependency: /src/bool/dec/decUtil.c `` Generating dependency: /src/bool/kit/kitAig.c `` Generating dependency: /src/bool/kit/kitBdd.c `` Generating dependency: /src/bool/kit/kitCloud.c `` Generating dependency: /src/bool/kit/cloud.c `` Generating dependency: /src/bool/kit/kitDsd.c `` Generating dependency: /src/bool/kit/kitFactor.c `` Generating dependency: /src/bool/kit/kitGraph.c `` Generating dependency: /src/bool/kit/kitHop.c `` Generating dependency: /src/bool/kit/kitIsop.c `` Generating dependency: /src/bool/kit/kitPla.c `` Generating dependency: /src/bool/kit/kitSop.c `` Generating dependency: /src/bool/kit/kitTruth.c `` Generating dependency: /src/bool/lucky/lucky.c `` Generating dependency: /src/bool/lucky/luckyFast16.c `` Generating dependency: /src/bool/lucky/luckyFast6.c `` Generating dependency: /src/bool/lucky/luckyRead.c `` Generating dependency: /src/bool/lucky/luckySimple.c `` Generating dependency: /src/bool/lucky/luckySwapIJ.c `` Generating dependency: /src/bool/lucky/luckySwap.c `` Generating dependency: /src/bool/rsb/rsbDec6.c `` Generating dependency: /src/bool/rsb/rsbMan.c `` Generating dependency: /src/bool/rpo/rpo.c `` Generating dependency: /src/proof/pdr/pdrCnf.c `` Generating dependency: /src/proof/pdr/pdrCore.c `` Generating dependency: /src/proof/pdr/pdrIncr.c `` Generating dependency: /src/proof/pdr/pdrInv.c `` Generating dependency: /src/proof/pdr/pdrMan.c `` Generating dependency: /src/proof/pdr/pdrSat.c `` Generating dependency: /src/proof/pdr/pdrTsim.c `` Generating dependency: /src/proof/pdr/pdrTsim2.c `` Generating dependency: /src/proof/pdr/pdrTsim3.c `` Generating dependency: /src/proof/pdr/pdrUtil.c `` Generating dependency: /src/proof/abs/absDup.c `` Generating dependency: /src/proof/abs/absGla.c `` Generating dependency: /src/proof/abs/absGlaOld.c `` Generating dependency: /src/proof/abs/absIter.c `` Generating dependency: /src/proof/abs/absOldCex.c `` Generating dependency: /src/proof/abs/absOldRef.c `` Generating dependency: /src/proof/abs/absOldSat.c `` Generating dependency: /src/proof/abs/absOldSim.c `` Generating dependency: /src/proof/abs/absOut.c `` Generating dependency: /src/proof/abs/absPth.c `` Generating dependency: /src/proof/abs/absRef.c `` Generating dependency: /src/proof/abs/absRefSelect.c `` Generating dependency: /src/proof/abs/absRpm.c `` Generating dependency: /src/proof/abs/absRpmOld.c `` Generating dependency: /src/proof/abs/absVta.c `` Generating dependency: /src/proof/abs/absUtil.c `` Generating dependency: /src/proof/live/liveness.c `` Generating dependency: /src/proof/live/liveness_sim.c `` Generating dependency: /src/proof/live/ltl_parser.c `` Generating dependency: /src/proof/live/kliveness.c `` Generating dependency: /src/proof/live/monotone.c `` Generating dependency: /src/proof/live/disjunctiveMonotone.c `` Generating dependency: /src/proof/live/arenaViolation.c `` Generating dependency: /src/proof/live/kLiveConstraints.c `` Generating dependency: /src/proof/live/combination.c `` Generating dependency: /src/proof/ssc/sscClass.c `` Generating dependency: /src/proof/ssc/sscCore.c `` Generating dependency: /src/proof/ssc/sscSat.c `` Generating dependency: /src/proof/ssc/sscSim.c `` Generating dependency: /src/proof/ssc/sscUtil.c `` Generating dependency: /src/proof/int/intCheck.c `` Generating dependency: /src/proof/int/intContain.c `` Generating dependency: /src/proof/int/intCore.c `` Generating dependency: /src/proof/int/intCtrex.c `` Generating dependency: /src/proof/int/intDup.c `` Generating dependency: /src/proof/int/intFrames.c `` Generating dependency: /src/proof/int/intInter.c `` Generating dependency: /src/proof/int/intM114.c `` Generating dependency: /src/proof/int/intMan.c `` Generating dependency: /src/proof/int/intUtil.c `` Generating dependency: /src/proof/cec/cecCec.c `` Generating dependency: /src/proof/cec/cecChoice.c `` Generating dependency: /src/proof/cec/cecClass.c `` Generating dependency: /src/proof/cec/cecCore.c `` Generating dependency: /src/proof/cec/cecCorr.c `` Generating dependency: /src/proof/cec/cecIso.c `` Generating dependency: /src/proof/cec/cecMan.c `` Generating dependency: /src/proof/cec/cecPat.c `` Generating dependency: /src/proof/cec/cecSat.c `` Generating dependency: /src/proof/cec/cecSatG.c `` Generating dependency: /src/proof/cec/cecSatG2.c `` Generating dependency: /src/proof/cec/cecSatG3.c `` Generating dependency: /src/proof/cec/cecSeq.c `` Generating dependency: /src/proof/cec/cecSim.c `` Generating dependency: /src/proof/cec/cecSolve.c `` Generating dependency: /src/proof/cec/cecSolveG.c `` Generating dependency: /src/proof/cec/cecSplit.c `` Generating dependency: /src/proof/cec/cecSynth.c `` Generating dependency: /src/proof/cec/cecSweep.c `` Generating dependency: /src/proof/acec/acecCl.c `` Generating dependency: /src/proof/acec/acecCore.c `` Generating dependency: /src/proof/acec/acecCo.c `` Generating dependency: /src/proof/acec/acecBo.c `` Generating dependency: /src/proof/acec/acecRe.c `` Generating dependency: /src/proof/acec/acecPa.c `` Generating dependency: /src/proof/acec/acecPo.c `` Generating dependency: /src/proof/acec/acecPool.c `` Generating dependency: /src/proof/acec/acecCover.c `` Generating dependency: /src/proof/acec/acecFadds.c `` Generating dependency: /src/proof/acec/acecMult.c `` Generating dependency: /src/proof/acec/acecNorm.c `` Generating dependency: /src/proof/acec/acecOrder.c `` Generating dependency: /src/proof/acec/acecPolyn.c `` Generating dependency: /src/proof/acec/acecSt.c `` Generating dependency: /src/proof/acec/acecTree.c `` Generating dependency: /src/proof/acec/acecUtil.c `` Generating dependency: /src/proof/acec/acec2Mult.c `` Generating dependency: /src/proof/acec/acecXor.c `` Generating dependency: /src/proof/dch/dchAig.c `` Generating dependency: /src/proof/dch/dchChoice.c `` Generating dependency: /src/proof/dch/dchClass.c `` Generating dependency: /src/proof/dch/dchCnf.c `` Generating dependency: /src/proof/dch/dchCore.c `` Generating dependency: /src/proof/dch/dchMan.c `` Generating dependency: /src/proof/dch/dchSat.c `` Generating dependency: /src/proof/dch/dchSim.c `` Generating dependency: /src/proof/dch/dchSimSat.c `` Generating dependency: /src/proof/dch/dchSweep.c `` Generating dependency: /src/proof/fraig/fraigApi.c `` Generating dependency: /src/proof/fraig/fraigCanon.c `` Generating dependency: /src/proof/fraig/fraigFanout.c `` Generating dependency: /src/proof/fraig/fraigFeed.c `` Generating dependency: /src/proof/fraig/fraigMan.c `` Generating dependency: /src/proof/fraig/fraigMem.c `` Generating dependency: /src/proof/fraig/fraigNode.c `` Generating dependency: /src/proof/fraig/fraigPrime.c `` Generating dependency: /src/proof/fraig/fraigSat.c `` Generating dependency: /src/proof/fraig/fraigTable.c `` Generating dependency: /src/proof/fraig/fraigUtil.c `` Generating dependency: /src/proof/fraig/fraigVec.c `` Generating dependency: /src/proof/fra/fraBmc.c `` Generating dependency: /src/proof/fra/fraCec.c `` Generating dependency: /src/proof/fra/fraClass.c `` Generating dependency: /src/proof/fra/fraClau.c `` Generating dependency: /src/proof/fra/fraClaus.c `` Generating dependency: /src/proof/fra/fraCnf.c `` Generating dependency: /src/proof/fra/fraCore.c `` Generating dependency: /src/proof/fra/fraHot.c `` Generating dependency: /src/proof/fra/fraImp.c `` Generating dependency: /src/proof/fra/fraInd.c `` Generating dependency: /src/proof/fra/fraIndVer.c `` Generating dependency: /src/proof/fra/fraLcr.c `` Generating dependency: /src/proof/fra/fraMan.c `` Generating dependency: /src/proof/fra/fraPart.c `` Generating dependency: /src/proof/fra/fraSat.c `` Generating dependency: /src/proof/fra/fraSec.c `` Generating dependency: /src/proof/fra/fraSim.c `` Generating dependency: /src/proof/ssw/sswAig.c `` Generating dependency: /src/proof/ssw/sswBmc.c `` Generating dependency: /src/proof/ssw/sswClass.c `` Generating dependency: /src/proof/ssw/sswCnf.c `` Generating dependency: /src/proof/ssw/sswConstr.c `` Generating dependency: /src/proof/ssw/sswCore.c `` Generating dependency: /src/proof/ssw/sswDyn.c `` Generating dependency: /src/proof/ssw/sswFilter.c `` Generating dependency: /src/proof/ssw/sswIslands.c `` Generating dependency: /src/proof/ssw/sswLcorr.c `` Generating dependency: /src/proof/ssw/sswMan.c `` Generating dependency: /src/proof/ssw/sswPart.c `` Generating dependency: /src/proof/ssw/sswPairs.c `` Generating dependency: /src/proof/ssw/sswRarity.c `` Generating dependency: /src/proof/ssw/sswSat.c `` Generating dependency: /src/proof/ssw/sswSemi.c `` Generating dependency: /src/proof/ssw/sswSim.c `` Generating dependency: /src/proof/ssw/sswSimSat.c `` Generating dependency: /src/proof/ssw/sswSweep.c `` Generating dependency: /src/proof/ssw/sswUnique.c `` Generating dependency: /src/aig/aig/aigCheck.c `` Generating dependency: /src/aig/aig/aigCanon.c `` Generating dependency: /src/aig/aig/aigCuts.c `` Generating dependency: /src/aig/aig/aigDfs.c `` Generating dependency: /src/aig/aig/aigDup.c `` Generating dependency: /src/aig/aig/aigFanout.c `` Generating dependency: /src/aig/aig/aigFrames.c `` Generating dependency: /src/aig/aig/aigInter.c `` Generating dependency: /src/aig/aig/aigJust.c `` Generating dependency: /src/aig/aig/aigMan.c `` Generating dependency: /src/aig/aig/aigMem.c `` Generating dependency: /src/aig/aig/aigMffc.c `` Generating dependency: /src/aig/aig/aigObj.c `` Generating dependency: /src/aig/aig/aigOper.c `` Generating dependency: /src/aig/aig/aigOrder.c `` Generating dependency: /src/aig/aig/aigPack.c `` Generating dependency: /src/aig/aig/aigPart.c `` Generating dependency: /src/aig/aig/aigPartReg.c `` Generating dependency: /src/aig/aig/aigPartSat.c `` Generating dependency: /src/aig/aig/aigRepr.c `` Generating dependency: /src/aig/aig/aigRet.c `` Generating dependency: /src/aig/aig/aigRetF.c `` Generating dependency: /src/aig/aig/aigScl.c `` Generating dependency: /src/aig/aig/aigShow.c `` Generating dependency: /src/aig/aig/aigSplit.c `` Generating dependency: /src/aig/aig/aigTable.c `` Generating dependency: /src/aig/aig/aigTiming.c `` Generating dependency: /src/aig/aig/aigTruth.c `` Generating dependency: /src/aig/aig/aigTsim.c `` Generating dependency: /src/aig/aig/aigUtil.c `` Generating dependency: /src/aig/aig/aigWin.c `` Generating dependency: /src/aig/saig/saigCone.c `` Generating dependency: /src/aig/saig/saigConstr.c `` Generating dependency: /src/aig/saig/saigConstr2.c `` Generating dependency: /src/aig/saig/saigDual.c `` Generating dependency: /src/aig/saig/saigDup.c `` Generating dependency: /src/aig/saig/saigInd.c `` Generating dependency: /src/aig/saig/saigIoa.c `` Generating dependency: /src/aig/saig/saigIso.c `` Generating dependency: /src/aig/saig/saigIsoFast.c `` Generating dependency: /src/aig/saig/saigIsoSlow.c `` Generating dependency: /src/aig/saig/saigMiter.c `` Generating dependency: /src/aig/saig/saigOutDec.c `` Generating dependency: /src/aig/saig/saigPhase.c `` Generating dependency: /src/aig/saig/saigRetFwd.c `` Generating dependency: /src/aig/saig/saigRetMin.c `` Generating dependency: /src/aig/saig/saigRetStep.c `` Generating dependency: /src/aig/saig/saigScl.c `` Generating dependency: /src/aig/saig/saigSimFast.c `` Generating dependency: /src/aig/saig/saigSimMv.c `` Generating dependency: /src/aig/saig/saigSimSeq.c `` Generating dependency: /src/aig/saig/saigStrSim.c `` Generating dependency: /src/aig/saig/saigSwitch.c `` Generating dependency: /src/aig/saig/saigSynch.c `` Generating dependency: /src/aig/saig/saigTempor.c `` Generating dependency: /src/aig/saig/saigTrans.c `` Generating dependency: /src/aig/saig/saigWnd.c `` Generating dependency: /src/aig/gia/giaAig.c `` Generating dependency: /src/aig/gia/giaAgi.c `` Generating dependency: /src/aig/gia/giaAiger.c `` Generating dependency: /src/aig/gia/giaAigerExt.c `` Generating dependency: /src/aig/gia/giaBalAig.c `` Generating dependency: /src/aig/gia/giaBalLut.c `` Generating dependency: /src/aig/gia/giaBalMap.c `` Generating dependency: /src/aig/gia/giaBidec.c `` Generating dependency: /src/aig/gia/giaCCof.c `` Generating dependency: /src/aig/gia/giaCex.c `` Generating dependency: /src/aig/gia/giaClp.c `` Generating dependency: /src/aig/gia/giaCof.c `` Generating dependency: /src/aig/gia/giaCone.c `` Generating dependency: /src/aig/gia/giaCSatOld.c `` Generating dependency: /src/aig/gia/giaCSat.c `` Generating dependency: /src/aig/gia/giaCSat2.c `` Generating dependency: /src/aig/gia/giaCSat3.c `` Generating dependency: /src/aig/gia/giaCSatP.c `` Generating dependency: /src/aig/gia/giaCTas.c `` Generating dependency: /src/aig/gia/giaCut.c `` Generating dependency: /src/aig/gia/giaDecs.c `` Generating dependency: /src/aig/gia/giaDeep.c `` Generating dependency: /src/aig/gia/giaDfs.c `` Generating dependency: /src/aig/gia/giaDup.c `` Generating dependency: /src/aig/gia/giaEdge.c `` Generating dependency: /src/aig/gia/giaEmbed.c `` Generating dependency: /src/aig/gia/giaEnable.c `` Generating dependency: /src/aig/gia/giaEquiv.c `` Generating dependency: /src/aig/gia/giaEra.c `` Generating dependency: /src/aig/gia/giaEra2.c `` Generating dependency: /src/aig/gia/giaEsop.c `` Generating dependency: /src/aig/gia/giaExist.c `` Generating dependency: /src/aig/gia/giaFalse.c `` Generating dependency: /src/aig/gia/giaFanout.c `` Generating dependency: /src/aig/gia/giaForce.c `` Generating dependency: /src/aig/gia/giaFrames.c `` Generating dependency: /src/aig/gia/giaFront.c `` Generating dependency: /src/aig/gia/giaFx.c `` Generating dependency: /src/aig/gia/giaGen.c `` Generating dependency: /src/aig/gia/giaGig.c `` Generating dependency: /src/aig/gia/giaGlitch.c `` Generating dependency: /src/aig/gia/giaHash.c `` Generating dependency: /src/aig/gia/giaIf.c `` Generating dependency: /src/aig/gia/giaIff.c `` Generating dependency: /src/aig/gia/giaIiff.c `` Generating dependency: /src/aig/gia/giaIso.c `` Generating dependency: /src/aig/gia/giaIso2.c `` Generating dependency: /src/aig/gia/giaIso3.c `` Generating dependency: /src/aig/gia/giaJf.c `` Generating dependency: /src/aig/gia/giaKf.c `` Generating dependency: /src/aig/gia/giaLf.c `` Generating dependency: /src/aig/gia/giaMf.c `` Generating dependency: /src/aig/gia/giaMan.c `` Generating dependency: /src/aig/gia/giaMem.c `` Generating dependency: /src/aig/gia/giaMfs.c `` Generating dependency: /src/aig/gia/giaMini.c `` Generating dependency: /src/aig/gia/giaMinLut.c `` Generating dependency: /src/aig/gia/giaMinLut2.c `` Generating dependency: /src/aig/gia/giaMuxes.c `` Generating dependency: /src/aig/gia/giaNf.c `` Generating dependency: /src/aig/gia/giaOf.c `` Generating dependency: /src/aig/gia/giaPack.c `` Generating dependency: /src/aig/gia/giaPat.c `` Generating dependency: /src/aig/gia/giaPat2.c `` Generating dependency: /src/aig/gia/giaPf.c `` Generating dependency: /src/aig/gia/giaQbf.c `` Generating dependency: /src/aig/gia/giaReshape1.c `` Generating dependency: /src/aig/gia/giaReshape2.c `` Generating dependency: /src/aig/gia/giaResub.c `` Generating dependency: /src/aig/gia/giaResub2.c `` Generating dependency: /src/aig/gia/giaResub3.c `` Generating dependency: /src/aig/gia/giaResub6.c `` Generating dependency: /src/aig/gia/giaRetime.c `` Generating dependency: /src/aig/gia/giaRex.c `` Generating dependency: /src/aig/gia/giaSatEdge.c `` Generating dependency: /src/aig/gia/giaSatLE.c `` Generating dependency: /src/aig/gia/giaSatLut.c `` Generating dependency: /src/aig/gia/giaSatMap.c `` Generating dependency: /src/aig/gia/giaSatoko.c `` Generating dependency: /src/aig/gia/giaSatSyn.c `` Generating dependency: /src/aig/gia/giaSat3.c `` Generating dependency: /src/aig/gia/giaScl.c `` Generating dependency: /src/aig/gia/giaScript.c `` Generating dependency: /src/aig/gia/giaShow.c `` Generating dependency: /src/aig/gia/giaShrink.c `` Generating dependency: /src/aig/gia/giaShrink6.c `` Generating dependency: /src/aig/gia/giaShrink7.c `` Generating dependency: /src/aig/gia/giaSif.c `` Generating dependency: /src/aig/gia/giaSim.c `` Generating dependency: /src/aig/gia/giaSim2.c `` Generating dependency: /src/aig/gia/giaSimBase.c `` Generating dependency: /src/aig/gia/giaSort.c `` Generating dependency: /src/aig/gia/giaSpeedup.c `` Generating dependency: /src/aig/gia/giaSplit.c `` Generating dependency: /src/aig/gia/giaStg.c `` Generating dependency: /src/aig/gia/giaStoch.c `` Generating dependency: /src/aig/gia/giaStr.c `` Generating dependency: /src/aig/gia/giaSupMin.c `` Generating dependency: /src/aig/gia/giaSupp.c `` Generating dependency: /src/aig/gia/giaSupps.c `` Generating dependency: /src/aig/gia/giaSweep.c `` Generating dependency: /src/aig/gia/giaSweeper.c `` Generating dependency: /src/aig/gia/giaSwitch.c `` Generating dependency: /src/aig/gia/giaTim.c `` Generating dependency: /src/aig/gia/giaTis.c `` Generating dependency: /src/aig/gia/giaTruth.c `` Generating dependency: /src/aig/gia/giaTsim.c `` Generating dependency: /src/aig/gia/giaUnate.c `` Generating dependency: /src/aig/gia/giaUtil.c `` Generating dependency: /src/aig/ioa/ioaReadAig.c `` Generating dependency: /src/aig/ioa/ioaWriteAig.c `` Generating dependency: /src/aig/ioa/ioaUtil.c `` Generating dependency: /src/aig/ivy/ivyBalance.c `` Generating dependency: /src/aig/ivy/ivyCanon.c `` Generating dependency: /src/aig/ivy/ivyCheck.c `` Generating dependency: /src/aig/ivy/ivyCut.c `` Generating dependency: /src/aig/ivy/ivyCutTrav.c `` Generating dependency: /src/aig/ivy/ivyDfs.c `` Generating dependency: /src/aig/ivy/ivyDsd.c `` Generating dependency: /src/aig/ivy/ivyFanout.c `` Generating dependency: /src/aig/ivy/ivyFastMap.c `` Generating dependency: /src/aig/ivy/ivyFraig.c `` Generating dependency: /src/aig/ivy/ivyHaig.c `` Generating dependency: /src/aig/ivy/ivyMan.c `` Generating dependency: /src/aig/ivy/ivyMem.c `` Generating dependency: /src/aig/ivy/ivyMulti.c `` Generating dependency: /src/aig/ivy/ivyObj.c `` Generating dependency: /src/aig/ivy/ivyOper.c `` Generating dependency: /src/aig/ivy/ivyResyn.c `` Generating dependency: /src/aig/ivy/ivyRwr.c `` Generating dependency: /src/aig/ivy/ivySeq.c `` Generating dependency: /src/aig/ivy/ivyShow.c `` Generating dependency: /src/aig/ivy/ivyTable.c `` Generating dependency: /src/aig/ivy/ivyUtil.c `` Generating dependency: /src/aig/hop/hopBalance.c `` Generating dependency: /src/aig/hop/hopCheck.c `` Generating dependency: /src/aig/hop/hopDfs.c `` Generating dependency: /src/aig/hop/hopMan.c `` Generating dependency: /src/aig/hop/hopMem.c `` Generating dependency: /src/aig/hop/hopObj.c `` Generating dependency: /src/aig/hop/hopOper.c `` Generating dependency: /src/aig/hop/hopTable.c `` Generating dependency: /src/aig/hop/hopTruth.c `` Generating dependency: /src/aig/hop/hopUtil.c `` Generating dependency: /src/bdd/cudd/cuddAPI.c `` Generating dependency: /src/bdd/cudd/cuddAddAbs.c `` Generating dependency: /src/bdd/cudd/cuddAddApply.c `` Generating dependency: /src/bdd/cudd/cuddAddFind.c `` Generating dependency: /src/bdd/cudd/cuddAddInv.c `` Generating dependency: /src/bdd/cudd/cuddAddIte.c `` Generating dependency: /src/bdd/cudd/cuddAddNeg.c `` Generating dependency: /src/bdd/cudd/cuddAddWalsh.c `` Generating dependency: /src/bdd/cudd/cuddAndAbs.c `` Generating dependency: /src/bdd/cudd/cuddAnneal.c `` Generating dependency: /src/bdd/cudd/cuddApa.c `` Generating dependency: /src/bdd/cudd/cuddApprox.c `` Generating dependency: /src/bdd/cudd/cuddBddAbs.c `` Generating dependency: /src/bdd/cudd/cuddBddCorr.c `` Generating dependency: /src/bdd/cudd/cuddBddIte.c `` Generating dependency: /src/bdd/cudd/cuddBridge.c `` Generating dependency: /src/bdd/cudd/cuddCache.c `` Generating dependency: /src/bdd/cudd/cuddCheck.c `` Generating dependency: /src/bdd/cudd/cuddClip.c `` Generating dependency: /src/bdd/cudd/cuddCof.c `` Generating dependency: /src/bdd/cudd/cuddCompose.c `` Generating dependency: /src/bdd/cudd/cuddDecomp.c `` Generating dependency: /src/bdd/cudd/cuddEssent.c `` Generating dependency: /src/bdd/cudd/cuddExact.c `` Generating dependency: /src/bdd/cudd/cuddExport.c `` Generating dependency: /src/bdd/cudd/cuddGenCof.c `` Generating dependency: /src/bdd/cudd/cuddGenetic.c `` Generating dependency: /src/bdd/cudd/cuddGroup.c `` Generating dependency: /src/bdd/cudd/cuddHarwell.c `` Generating dependency: /src/bdd/cudd/cuddInit.c `` Generating dependency: /src/bdd/cudd/cuddInteract.c `` Generating dependency: /src/bdd/cudd/cuddLCache.c `` Generating dependency: /src/bdd/cudd/cuddLevelQ.c `` Generating dependency: /src/bdd/cudd/cuddLinear.c `` Generating dependency: /src/bdd/cudd/cuddLiteral.c `` Generating dependency: /src/bdd/cudd/cuddMatMult.c `` Generating dependency: /src/bdd/cudd/cuddPriority.c `` Generating dependency: /src/bdd/cudd/cuddRead.c `` Generating dependency: /src/bdd/cudd/cuddRef.c `` Generating dependency: /src/bdd/cudd/cuddReorder.c `` Generating dependency: /src/bdd/cudd/cuddSat.c `` Generating dependency: /src/bdd/cudd/cuddSign.c `` Generating dependency: /src/bdd/cudd/cuddSolve.c `` Generating dependency: /src/bdd/cudd/cuddSplit.c `` Generating dependency: /src/bdd/cudd/cuddSubsetHB.c `` Generating dependency: /src/bdd/cudd/cuddSubsetSP.c `` Generating dependency: /src/bdd/cudd/cuddSymmetry.c `` Generating dependency: /src/bdd/cudd/cuddTable.c `` Generating dependency: /src/bdd/cudd/cuddUtil.c `` Generating dependency: /src/bdd/cudd/cuddWindow.c `` Generating dependency: /src/bdd/cudd/cuddZddCount.c `` Generating dependency: /src/bdd/cudd/cuddZddFuncs.c `` Generating dependency: /src/bdd/cudd/cuddZddGroup.c `` Generating dependency: /src/bdd/cudd/cuddZddIsop.c `` Generating dependency: /src/bdd/cudd/cuddZddLin.c `` Generating dependency: /src/bdd/cudd/cuddZddMisc.c `` Generating dependency: /src/bdd/cudd/cuddZddPort.c `` Generating dependency: /src/bdd/cudd/cuddZddReord.c `` Generating dependency: /src/bdd/cudd/cuddZddSetop.c `` Generating dependency: /src/bdd/cudd/cuddZddSymm.c `` Generating dependency: /src/bdd/cudd/cuddZddUtil.c `` Generating dependency: /src/bdd/extrab/extraBddAuto.c `` Generating dependency: /src/bdd/extrab/extraBddCas.c `` Generating dependency: /src/bdd/extrab/extraBddImage.c `` Generating dependency: /src/bdd/extrab/extraBddKmap.c `` Generating dependency: /src/bdd/extrab/extraBddMaxMin.c `` Generating dependency: /src/bdd/extrab/extraBddMisc.c `` Generating dependency: /src/bdd/extrab/extraBddSet.c `` Generating dependency: /src/bdd/extrab/extraBddSymm.c `` Generating dependency: /src/bdd/extrab/extraBddThresh.c `` Generating dependency: /src/bdd/extrab/extraBddTime.c `` Generating dependency: /src/bdd/extrab/extraBddUnate.c `` Generating dependency: /src/bdd/dsd/dsdApi.c `` Generating dependency: /src/bdd/dsd/dsdCheck.c `` Generating dependency: /src/bdd/dsd/dsdLocal.c `` Generating dependency: /src/bdd/dsd/dsdMan.c `` Generating dependency: /src/bdd/dsd/dsdProc.c `` Generating dependency: /src/bdd/dsd/dsdTree.c `` Generating dependency: /src/bdd/epd/epd.c `` Generating dependency: /src/bdd/mtr/mtrBasic.c `` Generating dependency: /src/bdd/mtr/mtrGroup.c `` Generating dependency: /src/bdd/reo/reoApi.c `` Generating dependency: /src/bdd/reo/reoCore.c `` Generating dependency: /src/bdd/reo/reoProfile.c `` Generating dependency: /src/bdd/reo/reoShuffle.c `` Generating dependency: /src/bdd/reo/reoSift.c `` Generating dependency: /src/bdd/reo/reoSwap.c `` Generating dependency: /src/bdd/reo/reoTransfer.c `` Generating dependency: /src/bdd/reo/reoUnits.c `` Generating dependency: /src/bdd/cas/casCore.c `` Generating dependency: /src/bdd/cas/casDec.c `` Generating dependency: /src/bdd/bbr/bbrCex.c `` Generating dependency: /src/bdd/bbr/bbrImage.c `` Generating dependency: /src/bdd/bbr/bbrNtbdd.c `` Generating dependency: /src/bdd/bbr/bbrReach.c `` Generating dependency: /src/bdd/llb/llb1Cluster.c `` Generating dependency: /src/bdd/llb/llb1Constr.c `` Generating dependency: /src/bdd/llb/llb1Core.c `` Generating dependency: /src/bdd/llb/llb1Group.c `` Generating dependency: /src/bdd/llb/llb1Hint.c `` Generating dependency: /src/bdd/llb/llb1Man.c `` Generating dependency: /src/bdd/llb/llb1Matrix.c `` Generating dependency: /src/bdd/llb/llb1Pivot.c `` Generating dependency: /src/bdd/llb/llb1Reach.c `` Generating dependency: /src/bdd/llb/llb1Sched.c `` Generating dependency: /src/bdd/llb/llb2Bad.c `` Generating dependency: /src/bdd/llb/llb2Core.c `` Generating dependency: /src/bdd/llb/llb2Driver.c `` Generating dependency: /src/bdd/llb/llb2Dump.c `` Generating dependency: /src/bdd/llb/llb2Flow.c `` Generating dependency: /src/bdd/llb/llb2Image.c `` Generating dependency: /src/bdd/llb/llb3Image.c `` Generating dependency: /src/bdd/llb/llb3Nonlin.c `` Generating dependency: /src/bdd/llb/llb4Cex.c `` Generating dependency: /src/bdd/llb/llb4Image.c `` Generating dependency: /src/bdd/llb/llb4Nonlin.c `` Generating dependency: /src/bdd/llb/llb4Sweep.c Using CC=gcc Using CXX=g++ Using AR=ar Using LD=g++ Compiling with CUDD Using libreadline Using pthreads Compiling position independent code Found GCC_VERSION 13.1.1 Found GCC_MAJOR>=5 Using CFLAGS=-march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -fPIC -Wno-unused-but-set-variable `` Compiling: /src/sat/glucose/AbcGlucose.cpp `` Compiling: /src/sat/glucose/AbcGlucoseCmd.cpp `` Compiling: /src/sat/glucose/Glucose.cpp `` Compiling: /src/sat/glucose/Options.cpp `` Compiling: /src/sat/glucose/SimpSolver.cpp `` Compiling: /src/sat/glucose/System.cpp `` Compiling: /src/sat/glucose2/AbcGlucose2.cpp `` Compiling: /src/sat/glucose2/AbcGlucoseCmd2.cpp `` Compiling: /src/sat/glucose2/Glucose2.cpp `` Compiling: /src/sat/glucose2/Options2.cpp `` Compiling: /src/sat/glucose2/SimpSolver2.cpp `` Compiling: /src/sat/glucose2/System2.cpp `` Compiling: /src/aig/gia/giaTtopt.cpp `` Compiling: /src/base/abc/abcAig.c `` Compiling: /src/base/abc/abcBarBuf.c `` Compiling: /src/base/abc/abcBlifMv.c `` Compiling: /src/base/abc/abcCheck.c `` Compiling: /src/base/abc/abcDfs.c In file included from ./src/sat/glucose/Sort.h:24, from src/sat/glucose/SimpSolver.cpp:21: ./src/sat/glucose/Vec.h: In instantiation of 'void Gluco::vec::capacity(int) [with T = Gluco::vec]': ./src/sat/glucose/Vec.h:118:13: required from 'void Gluco::vec::growTo(int) [with T = Gluco::vec]' ./src/sat/glucose/SolverTypes.h:294:50: required from 'void Gluco::OccLists::init(const Idx&) [with Idx = int; Vec = Gluco::vec; Deleted = Gluco::SimpSolver::ClauseDeleted]' src/sat/glucose/SimpSolver.cpp:88:24: required from here ./src/sat/glucose/Vec.h:102:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 102 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/sat/glucose/Vec.h:40:7: note: 'class Gluco::vec' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose/Sort.h:24, from src/sat/glucose/Glucose.cpp:32: ./src/sat/glucose/Vec.h: In instantiation of 'void Gluco::vec::capacity(int) [with T = Gluco::vec]': ./src/sat/glucose/Vec.h:118:13: required from 'void Gluco::vec::growTo(int) [with T = Gluco::vec]' ./src/sat/glucose/SolverTypes.h:294:50: required from 'void Gluco::OccLists::init(const Idx&) [with Idx = Gluco::Lit; Vec = Gluco::vec; Deleted = Gluco::Solver::WatcherDeleted]' src/sat/glucose/Glucose.cpp:205:19: required from here ./src/sat/glucose/Vec.h:102:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 102 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/sat/glucose/Vec.h:40:7: note: 'class Gluco::vec' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/Glucose2.cpp:31: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec::prelocate(int) [with T = Gluco2::vec]': ./src/sat/glucose2/SolverTypes.h:301:52: required from 'void Gluco2::OccLists::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec; Deleted = Gluco2::Solver::WatcherDeleted]' ./src/sat/glucose2/CGlucoseCore.h:601:23: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec' declared here 40 | class vec { | ^~~ ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec::capacity(int) [with T = Gluco2::vec]': ./src/sat/glucose2/Vec.h:128:13: required from 'void Gluco2::vec::growTo(int) [with T = Gluco2::vec]' ./src/sat/glucose2/SolverTypes.h:300:50: required from 'void Gluco2::OccLists::init(const Idx&) [with Idx = Gluco2::Lit; Vec = Gluco2::vec; Deleted = Gluco2::Solver::WatcherDeleted]' src/sat/glucose2/Glucose2.cpp:226:19: required from here ./src/sat/glucose2/Vec.h:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 104 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec' declared here 40 | class vec { | ^~~ `` Compiling: /src/base/abc/abcFanio.c `` Compiling: /src/base/abc/abcFanOrder.c In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec::prelocate(int) [with T = Gluco2::vec]': ./src/sat/glucose2/SolverTypes.h:301:52: required from 'void Gluco2::OccLists::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec; Deleted = Gluco2::Solver::WatcherDeleted]' ./src/sat/glucose2/CGlucoseCore.h:601:23: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec' declared here 40 | class vec { | ^~~ ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec::prelocate(int) [with T = Gluco2::vec]': ./src/sat/glucose2/SolverTypes.h:301:52: required from 'void Gluco2::OccLists::prelocate(int) [with Idx = int; Vec = Gluco2::vec; Deleted = Gluco2::SimpSolver::ClauseDeleted]' ./src/sat/glucose2/SimpSolver.h:78:33: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec' declared here 40 | class vec { | ^~~ ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec::capacity(int) [with T = Gluco2::vec]': ./src/sat/glucose2/Vec.h:128:13: required from 'void Gluco2::vec::growTo(int) [with T = Gluco2::vec]' ./src/sat/glucose2/SolverTypes.h:300:50: required from 'void Gluco2::OccLists::init(const Idx&) [with Idx = int; Vec = Gluco2::vec; Deleted = Gluco2::SimpSolver::ClauseDeleted]' src/sat/glucose2/SimpSolver2.cpp:89:24: required from here ./src/sat/glucose2/Vec.h:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 104 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Options.h:31, from src/sat/glucose2/AbcGlucose2.cpp:23: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec::prelocate(int) [with T = Gluco2::vec]': ./src/sat/glucose2/SolverTypes.h:301:52: required from 'void Gluco2::OccLists::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec; Deleted = Gluco2::Solver::WatcherDeleted]' ./src/sat/glucose2/CGlucoseCore.h:601:23: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec' declared here 40 | class vec { | ^~~ ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec::prelocate(int) [with T = Gluco2::vec]': ./src/sat/glucose2/SolverTypes.h:301:52: required from 'void Gluco2::OccLists::prelocate(int) [with Idx = int; Vec = Gluco2::vec; Deleted = Gluco2::SimpSolver::ClauseDeleted]' ./src/sat/glucose2/SimpSolver.h:78:33: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec' declared here 40 | class vec { | ^~~ `` Compiling: /src/base/abc/abcFunc.c `` Compiling: /src/base/abc/abcHie.c `` Compiling: /src/base/abc/abcHieCec.c `` Compiling: /src/base/abc/abcHieGia.c `` Compiling: /src/base/abc/abcHieNew.c `` Compiling: /src/base/abc/abcLatch.c `` Compiling: /src/base/abc/abcLib.c `` Compiling: /src/base/abc/abcMinBase.c `` Compiling: /src/base/abc/abcNames.c `` Compiling: /src/base/abc/abcNetlist.c `` Compiling: /src/base/abc/abcNtk.c `` Compiling: /src/base/abc/abcObj.c `` Compiling: /src/base/abc/abcRefs.c `` Compiling: /src/base/abc/abcShow.c `` Compiling: /src/base/abc/abcSop.c `` Compiling: /src/base/abc/abcUtil.c `` Compiling: /src/base/abci/abc.c In file included from ./src/misc/extra/extra.h:44, from src/base/abc/abcHieNew.c:28: In function 'Au_ObjFaninC', inlined from 'Au_ObjFaninC2' at src/base/abc/abcHieNew.c:176:83, inlined from 'Au_NtkDeriveFlatGia_rec' at src/base/abc/abcHieNew.c:1173:28: src/base/abc/abcHieNew.c:173:125: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=] 173 | static inline int Au_ObjFaninC( Au_Obj_t * p, int i ) { assert(i >= 0 && i < (int)p->nFanins && p->Fanins[i]); return Au_LitIsCompl(p->Fanins[i]); } | ~~~~~~~~~^~~ src/base/abc/abcHieNew.c: In function 'Au_NtkDeriveFlatGia_rec': src/base/abc/abcHieNew.c:61:28: note: while referencing 'Fanins' 61 | int Fanins[2]; // fanin literals | ^~~~~~ `` Compiling: /src/base/abci/abcAttach.c `` Compiling: /src/base/abci/abcAuto.c `` Compiling: /src/base/abci/abcBalance.c `` Compiling: /src/base/abci/abcBidec.c `` Compiling: /src/base/abci/abcBm.c `` Compiling: /src/base/abci/abcBmc.c In function 'Au_ObjFaninId', inlined from 'Au_ObjFanin' at src/base/abc/abcHieNew.c:169:83, inlined from 'Au_ObjFanin2' at src/base/abc/abcHieNew.c:172:83, inlined from 'Au_ObjGetXsimFan2' at src/base/abc/abcHieNew.c:1310:17, inlined from 'Au_NtkTerSimulate_rec' at src/base/abc/abcHieNew.c:1355:17: src/base/abc/abcHieNew.c:165:125: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=] 165 | static inline int Au_ObjFaninId( Au_Obj_t * p, int i ) { assert(i >= 0 && i < (int)p->nFanins && p->Fanins[i]); return Au_Lit2Var(p->Fanins[i]); } | ~~~~~~~~~^~~ src/base/abc/abcHieNew.c: In function 'Au_NtkTerSimulate_rec': src/base/abc/abcHieNew.c:61:28: note: while referencing 'Fanins' 61 | int Fanins[2]; // fanin literals | ^~~~~~ `` Compiling: /src/base/abci/abcCas.c `` Compiling: /src/base/abci/abcCascade.c `` Compiling: /src/base/abci/abcCollapse.c `` Compiling: /src/base/abci/abcCut.c `` Compiling: /src/base/abci/abcDar.c `` Compiling: /src/base/abci/abcDebug.c `` Compiling: /src/base/abci/abcDec.c `` Compiling: /src/base/abci/abcDetect.c `` Compiling: /src/base/abci/abcDress.c `` Compiling: /src/base/abci/abcDress2.c src/base/abc/abcNtk.c: In function 'Abc_NtkCreateWithNodes': src/base/abc/abcNtk.c:1311:28: warning: '%d' directive writing between 1 and 10 bytes into a region of size 9 [-Wformat-overflow=] 1311 | sprintf( Buffer, "F%d", i ); | ^~ src/base/abc/abcNtk.c:1311:26: note: directive argument in the range [0, 2147483646] 1311 | sprintf( Buffer, "F%d", i ); | ^~~~~ In file included from /usr/include/stdio.h:906, from src/base/abc/abc.h:29, from src/base/abc/abcNtk.c:21: In function 'sprintf', inlined from 'Abc_NtkCreateWithNodes' at src/base/abc/abcNtk.c:1311:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 3 and 12 bytes into a destination of size 10 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ `` Compiling: /src/base/abci/abcDress3.c `` Compiling: /src/base/abci/abcDsd.c `` Compiling: /src/base/abci/abcEco.c `` Compiling: /src/base/abci/abcExact.c `` Compiling: /src/base/abci/abcExtract.c `` Compiling: /src/base/abci/abcFraig.c `` Compiling: /src/base/abci/abcFx.c `` Compiling: /src/base/abci/abcFxu.c `` Compiling: /src/base/abci/abcGen.c `` Compiling: /src/base/abci/abcHaig.c `` Compiling: /src/base/abci/abcIf.c `` Compiling: /src/base/abci/abcIfif.c `` Compiling: /src/base/abci/abcIfMux.c `` Compiling: /src/base/abci/abcIvy.c `` Compiling: /src/base/abci/abcLog.c `` Compiling: /src/base/abci/abcLut.c `` Compiling: /src/base/abci/abcLutmin.c `` Compiling: /src/base/abci/abcMap.c `` Compiling: /src/base/abci/abcMerge.c `` Compiling: /src/base/abci/abcMfs.c `` Compiling: /src/base/abci/abcMini.c `` Compiling: /src/base/abci/abcMiter.c `` Compiling: /src/base/abci/abcMulti.c `` Compiling: /src/base/abci/abcNtbdd.c `` Compiling: /src/base/abci/abcNpn.c `` Compiling: /src/base/abci/abcNpnSave.c `` Compiling: /src/base/abci/abcOdc.c `` Compiling: /src/base/abci/abcOrder.c `` Compiling: /src/base/abci/abcPart.c `` Compiling: /src/base/abci/abcPrint.c `` Compiling: /src/base/abci/abcProve.c `` Compiling: /src/base/abci/abcQbf.c `` Compiling: /src/base/abci/abcQuant.c `` Compiling: /src/base/abci/abcRec3.c `` Compiling: /src/base/abci/abcReconv.c `` Compiling: /src/base/abci/abcReach.c `` Compiling: /src/base/abci/abcRefactor.c `` Compiling: /src/base/abci/abcRenode.c `` Compiling: /src/base/abci/abcReorder.c `` Compiling: /src/base/abci/abcRestruct.c `` Compiling: /src/base/abci/abcResub.c `` Compiling: /src/base/abci/abcRewrite.c `` Compiling: /src/base/abci/abcRpo.c `` Compiling: /src/base/abci/abcRr.c `` Compiling: /src/base/abci/abcRunGen.c `` Compiling: /src/base/abci/abcSat.c `` Compiling: /src/base/abci/abcSaucy.c `` Compiling: /src/base/abci/abcScorr.c `` Compiling: /src/base/abci/abcSense.c `` Compiling: /src/base/abci/abcSpeedup.c `` Compiling: /src/base/abci/abcStrash.c src/base/abci/abcSaucy.c: In function 'saucy_alloc': src/base/abci/abcSaucy.c:2653:21: warning: the comparison will always evaluate as 'true' for the pointer operand in 's->nextnon + -4' must not be NULL [-Waddress] 2653 | && s->clist && s->nextnon-1 && s->prevnon | ^~ `` Compiling: /src/base/abci/abcSweep.c `` Compiling: /src/base/abci/abcSymm.c `` Compiling: /src/base/abci/abcTim.c `` Compiling: /src/base/abci/abcTiming.c `` Compiling: /src/base/abci/abcUnate.c `` Compiling: /src/base/abci/abcUnreach.c `` Compiling: /src/base/abci/abcVerify.c `` Compiling: /src/base/abci/abcXsim.c `` Compiling: /src/base/cmd/cmd.c `` Compiling: /src/base/cmd/cmdAlias.c `` Compiling: /src/base/cmd/cmdApi.c `` Compiling: /src/base/cmd/cmdAuto.c `` Compiling: /src/base/cmd/cmdFlag.c `` Compiling: /src/base/cmd/cmdHist.c `` Compiling: /src/base/cmd/cmdLoad.c `` Compiling: /src/base/cmd/cmdPlugin.c `` Compiling: /src/base/cmd/cmdStarter.c `` Compiling: /src/base/cmd/cmdUtils.c `` Compiling: /src/base/io/io.c `` Compiling: /src/base/io/ioJson.c `` Compiling: /src/base/io/ioReadAiger.c `` Compiling: /src/base/io/ioReadBaf.c `` Compiling: /src/base/io/ioReadBblif.c `` Compiling: /src/base/io/ioReadBench.c In file included from ./src/misc/vec/vec.h:33, from ./src/base/abc/abc.h:34, from src/base/cmd/cmdLoad.c:21: In function 'Vec_StrArray', inlined from 'CmdCommandLoad' at src/base/cmd/cmdLoad.c:62:9: ./src/misc/vec/vecStr.h:284:13: warning: pointer used after 'free' [-Wuse-after-free] 284 | return p->pArray; | ~^~~~~~~~ In file included from ./src/misc/vec/vec.h:29: In function 'Vec_StrFree', inlined from 'CmdCommandLoad' at src/base/cmd/cmdLoad.c:61:9: ./src/misc/util/abc_global.h:266:44: note: call to 'free' here 266 | #define ABC_FREE(obj) ((obj) ? (free((char *) (obj)), (obj) = 0) : 0) | ^~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecStr.h:229:5: note: in expansion of macro 'ABC_FREE' 229 | ABC_FREE( p ); | ^~~~~~~~ In function 'Vec_StrArray', inlined from 'CmdCommandLoad' at src/base/cmd/cmdLoad.c:79:9: ./src/misc/vec/vecStr.h:284:13: warning: pointer used after 'free' [-Wuse-after-free] 284 | return p->pArray; | ~^~~~~~~~ In function 'Vec_StrFree', inlined from 'CmdCommandLoad' at src/base/cmd/cmdLoad.c:77:9: ./src/misc/util/abc_global.h:266:44: note: call to 'free' here 266 | #define ABC_FREE(obj) ((obj) ? (free((char *) (obj)), (obj) = 0) : 0) | ^~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecStr.h:229:5: note: in expansion of macro 'ABC_FREE' 229 | ABC_FREE( p ); | ^~~~~~~~ `` Compiling: /src/base/io/ioReadBlif.c `` Compiling: /src/base/io/ioReadBlifAig.c `` Compiling: /src/base/io/ioReadBlifMv.c `` Compiling: /src/base/io/ioReadDsd.c `` Compiling: /src/base/io/ioReadEdif.c `` Compiling: /src/base/io/ioReadEqn.c `` Compiling: /src/base/io/ioReadPla.c `` Compiling: /src/base/io/ioReadPlaMo.c `` Compiling: /src/base/io/ioReadVerilog.c `` Compiling: /src/base/io/ioUtil.c `` Compiling: /src/base/io/ioWriteAiger.c `` Compiling: /src/base/io/ioWriteBaf.c `` Compiling: /src/base/io/ioWriteBblif.c `` Compiling: /src/base/io/ioWriteBench.c `` Compiling: /src/base/io/ioWriteBlif.c `` Compiling: /src/base/io/ioWriteBlifMv.c `` Compiling: /src/base/io/ioWriteBook.c `` Compiling: /src/base/io/ioWriteCnf.c `` Compiling: /src/base/io/ioWriteDot.c `` Compiling: /src/base/io/ioWriteEqn.c `` Compiling: /src/base/io/ioWriteGml.c `` Compiling: /src/base/io/ioWriteList.c `` Compiling: /src/base/io/ioWritePla.c `` Compiling: /src/base/io/ioWriteVerilog.c `` Compiling: /src/base/io/ioWriteSmv.c `` Compiling: /src/base/main/mainFrame.c src/base/io/ioReadPla.c: In function 'Io_ReadPla': src/base/io/ioReadPla.c:451:40: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=] 451 | sprintf( Buffer, "x%0*d", nDigits, i ); | ^~~~ In function 'Io_ReadPlaNetwork', inlined from 'Io_ReadPla' at src/base/io/ioReadPla.c:341:12: src/base/io/ioReadPla.c:451:38: note: directive argument in the range [0, 2147483646] 451 | sprintf( Buffer, "x%0*d", nDigits, i ); | ^~~~~~~ In file included from /usr/include/stdio.h:906, from ./src/base/abc/abc.h:29, from src/base/io/ioAbc.h:29, from src/base/io/ioReadPla.c:21: In function 'sprintf', inlined from 'Io_ReadPlaNetwork' at src/base/io/ioReadPla.c:451:21, inlined from 'Io_ReadPla' at src/base/io/ioReadPla.c:341:12: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ src/base/io/ioReadPla.c: In function 'Io_ReadPla': src/base/io/ioReadPla.c:468:40: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=] 468 | sprintf( Buffer, "z%0*d", nDigits, i ); | ^~~~ In function 'Io_ReadPlaNetwork', inlined from 'Io_ReadPla' at src/base/io/ioReadPla.c:341:12: src/base/io/ioReadPla.c:468:38: note: directive argument in the range [0, 2147483646] 468 | sprintf( Buffer, "z%0*d", nDigits, i ); | ^~~~~~~ In function 'sprintf', inlined from 'Io_ReadPlaNetwork' at src/base/io/ioReadPla.c:468:21, inlined from 'Io_ReadPla' at src/base/io/ioReadPla.c:341:12: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ `` Compiling: /src/base/main/mainInit.c `` Compiling: /src/base/main/mainLib.c `` Compiling: /src/base/main/mainReal.c `` Compiling: /src/base/main/libSupport.c `` Compiling: /src/base/main/mainUtils.c `` Compiling: /src/base/exor/exor.c `` Compiling: /src/base/exor/exorBits.c `` Compiling: /src/base/exor/exorCubes.c `` Compiling: /src/base/exor/exorLink.c `` Compiling: /src/base/exor/exorList.c `` Compiling: /src/base/exor/exorUtil.c `` Compiling: /src/base/ver/verCore.c `` Compiling: /src/base/ver/verFormula.c `` Compiling: /src/base/ver/verParse.c `` Compiling: /src/base/ver/verStream.c `` Compiling: /src/base/wlc/wlcAbs.c `` Compiling: /src/base/wlc/wlcAbs2.c `` Compiling: /src/base/wlc/wlcAbc.c In file included from /usr/include/stdio.h:906, from src/base/exor/exor.h:44, from src/base/exor/exorUtil.c:45: In function 'fprintf', inlined from 'WriteResultIntoFile' at src/base/exor/exorUtil.c:192:9: /usr/include/bits/stdio2.h:79:10: warning: argument 1 null where non-null expected [-Wnonnull] 79 | return __fprintf_chk (__stream, __USE_FORTIFY_LEVEL - 1, __fmt, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 80 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ In file included from /usr/include/stdio.h:890: /usr/include/bits/stdio2-decl.h: In function 'WriteResultIntoFile': /usr/include/bits/stdio2-decl.h:49:12: note: in a call to function '__fprintf_chk' declared 'nonnull' 49 | extern int __fprintf_chk (FILE *__restrict __stream, int __flag, | ^~~~~~~~~~~~~ `` Compiling: /src/base/wlc/wlcPth.c `` Compiling: /src/base/wlc/wlcBlast.c `` Compiling: /src/base/wlc/wlcCom.c `` Compiling: /src/base/wlc/wlcGraft.c `` Compiling: /src/base/wlc/wlcJson.c `` Compiling: /src/base/wlc/wlcMem.c `` Compiling: /src/base/wlc/wlcNdr.c `` Compiling: /src/base/wlc/wlcNtk.c `` Compiling: /src/base/wlc/wlcReadSmt.c `` Compiling: /src/base/wlc/wlcReadVer.c src/base/abci/abc.c: In function 'Abc_CommandSymFun': src/base/abci/abc.c:23762:36: warning: '%s' directive output between 0 and 2147483646 bytes may cause result to exceed 'INT_MAX' [-Wformat-overflow=] 23762 | sprintf( pCommand, "read_truth %s", pTruth ); | ^~ `` Compiling: /src/base/wlc/wlcSim.c `` Compiling: /src/base/wlc/wlcShow.c `` Compiling: /src/base/wlc/wlcStdin.c `` Compiling: /src/base/wlc/wlcUif.c `` Compiling: /src/base/wlc/wlcWin.c `` Compiling: /src/base/wlc/wlcWriteVer.c `` Compiling: /src/base/wln/wln.c `` Compiling: /src/base/wln/wlnBlast.c `` Compiling: /src/base/wln/wlnCom.c `` Compiling: /src/base/wln/wlnGuide.c `` Compiling: /src/base/wln/wlnMem.c `` Compiling: /src/base/wln/wlnNdr.c `` Compiling: /src/base/wln/wlnNtk.c `` Compiling: /src/base/wln/wlnObj.c `` Compiling: /src/base/wln/wlnRead.c `` Compiling: /src/base/wln/wlnRetime.c In file included from src/base/wlc/wlc.h:34, from src/base/wlc/wlcReadVer.c:21: In function 'Abc_TtSetHex', inlined from 'Abc_TtReadHexNumber' at ./src/misc/util/utilTruth.h:1447:9, inlined from 'Wlc_PrsDerive' at src/base/wlc/wlcReadVer.c:1001:21: ./src/misc/util/utilTruth.h:176:66: warning: array subscript 'word {aka long unsigned int}[0]' is partly outside array bounds of 'int[1]' [-Warray-bounds=] 176 | static inline void Abc_TtSetHex( word * p, int k, int d ) { p[k>>4] |= (word)(((word)d)<<((k<<2) & 63)); } | ~^~~~~~ src/base/wlc/wlcReadVer.c: In function 'Wlc_PrsDerive': src/base/wlc/wlcReadVer.c:985:27: note: object 'Value' of size 4 985 | int v, b, Value, nBits, nInts; | ^~~~~ In function 'Abc_TtSetHex', inlined from 'Abc_TtReadHexNumber' at ./src/misc/util/utilTruth.h:1447:9, inlined from 'Wlc_PrsDerive' at src/base/wlc/wlcReadVer.c:1001:21: ./src/misc/util/utilTruth.h:176:73: warning: array subscript 'word {aka long unsigned int}[0]' is partly outside array bounds of 'int[1]' [-Warray-bounds=] 176 | static inline void Abc_TtSetHex( word * p, int k, int d ) { p[k>>4] |= (word)(((word)d)<<((k<<2) & 63)); } | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/wlc/wlcReadVer.c: In function 'Wlc_PrsDerive': src/base/wlc/wlcReadVer.c:985:27: note: object 'Value' of size 4 985 | int v, b, Value, nBits, nInts; | ^~~~~ `` Compiling: /src/base/wln/wlnRtl.c src/base/wln/wlnRead.c: In function 'Rtl_NtkNormRanges': src/base/wln/wlnRead.c:579:9: warning: this 'if' clause does not guard... [-Wmisleading-indentation] 579 | if ( Offset ); | ^~ src/base/wln/wlnRead.c:580:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' 580 | { | ^ src/base/wln/wlnRead.c: In function 'Rtl_NtkPrintCell': src/base/wln/wlnRead.c:149:5: warning: this 'for' clause does not guard... [-Wmisleading-indentation] 149 | for ( i = 0; i < pCell[4] && (Par = pCell[CELL_NUM+2*i]) && (Val = pCell[CELL_NUM+2*i+1]); i++ ) | ^~~ src/base/wln/wlnRead.c:1101:5: note: in expansion of macro 'Rtl_CellForEachAttr' 1101 | Rtl_CellForEachAttr( p, pCell, Par, Val, i ) | ^~~~~~~~~~~~~~~~~~~ src/base/wln/wlnRead.c:1103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for' 1103 | fprintf( Rtl_NtkFile(p), " cell %s %s\n", Rtl_NtkStr(p, Rtl_CellType(pCell)), Rtl_NtkStr(p, pCell[1]) ); | ^~~~~~~ src/base/wln/wlnRead.c:153:5: warning: this 'for' clause does not guard... [-Wmisleading-indentation] 153 | for ( i = 0; i < pCell[6] && (Par = pCell[CELL_NUM+2*(pCell[4]+pCell[5]+i)]) && (Val = pCell[CELL_NUM+2*(pCell[4]+pCell[5]+i)+1]); i++ ) | ^~~ src/base/wln/wlnRead.c:1106:5: note: in expansion of macro 'Rtl_CellForEachConnect' 1106 | Rtl_CellForEachConnect( p, pCell, Par, Val, i ) | ^~~~~~~~~~~~~~~~~~~~~~ src/base/wln/wlnRead.c:1108:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for' 1108 | fprintf( Rtl_NtkFile(p), " end\n" ); | ^~~~~~~ `` Compiling: /src/base/wln/wlnWlc.c src/base/wlc/wlcNdr.c: In function 'Wlc_NtkFromNdr': src/base/wlc/wlcNdr.c:495:44: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=] 495 | char pName[100]; sprintf( pName, "s%0*d", nDigits, i ); | ^~~~ src/base/wlc/wlcNdr.c:495:42: note: directive argument in the range [1, 2147483647] 495 | char pName[100]; sprintf( pName, "s%0*d", nDigits, i ); | ^~~~~~~ In file included from /usr/include/stdio.h:906, from ./src/aig/gia/gia.h:29, from src/base/wlc/wlc.h:29, from src/base/wlc/wlcNdr.c:21: In function 'sprintf', inlined from 'Wlc_NtkFromNdr' at src/base/wlc/wlcNdr.c:495:26: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ `` Compiling: /src/base/wln/wlnWriteVer.c `` Compiling: /src/base/acb/acbAbc.c `` Compiling: /src/base/acb/acbAig.c `` Compiling: /src/base/acb/acbCom.c `` Compiling: /src/base/acb/acbFunc.c `` Compiling: /src/base/acb/acbMfs.c `` Compiling: /src/base/acb/acbPush.c src/base/wlc/wlcNtk.c: In function 'Wlc_NtkShortNames': src/base/wlc/wlcNtk.c:1303:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 98 [-Wformat-overflow=] 1303 | sprintf( pBuffer, "%s%0*d", "fi", nDigits, i - Wlc_NtkPoNum(p) ); | ^~~~ src/base/wlc/wlcNtk.c:1303:27: note: directive argument in the range [-2147483647, 2147483647] 1303 | sprintf( pBuffer, "%s%0*d", "fi", nDigits, i - Wlc_NtkPoNum(p) ); | ^~~~~~~~ In file included from /usr/include/stdio.h:906, from ./src/aig/gia/gia.h:29, from src/base/wlc/wlc.h:29, from src/base/wlc/wlcNtk.c:22: In function 'sprintf', inlined from 'Wlc_NtkShortNames' at src/base/wlc/wlcNtk.c:1303:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ src/base/wlc/wlcNtk.c: In function 'Wlc_NtkShortNames': src/base/wlc/wlcNtk.c:1311:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 98 [-Wformat-overflow=] 1311 | sprintf( pBuffer, "%s%0*d", "fo", nDigits, i - Wlc_NtkPiNum(p) ); | ^~~~ src/base/wlc/wlcNtk.c:1311:27: note: directive argument in the range [-2147483647, 2147483647] 1311 | sprintf( pBuffer, "%s%0*d", "fo", nDigits, i - Wlc_NtkPiNum(p) ); | ^~~~~~~~ In function 'sprintf', inlined from 'Wlc_NtkShortNames' at src/base/wlc/wlcNtk.c:1311:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ src/base/wlc/wlcNtk.c: In function 'Wlc_NtkShortNames': src/base/wlc/wlcNtk.c:1318:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 98 [-Wformat-overflow=] 1318 | sprintf( pBuffer, "%s%0*d", "po", nDigits, i ); | ^~~~ src/base/wlc/wlcNtk.c:1318:27: note: directive argument in the range [0, 2147483646] 1318 | sprintf( pBuffer, "%s%0*d", "po", nDigits, i ); | ^~~~~~~~ In function 'sprintf', inlined from 'Wlc_NtkShortNames' at src/base/wlc/wlcNtk.c:1318:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ src/base/wlc/wlcNtk.c: In function 'Wlc_NtkShortNames': src/base/wlc/wlcNtk.c:1325:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 98 [-Wformat-overflow=] 1325 | sprintf( pBuffer, "%s%0*d", "pi", nDigits, i ); | ^~~~ src/base/wlc/wlcNtk.c:1325:27: note: directive argument in the range [0, 2147483646] 1325 | sprintf( pBuffer, "%s%0*d", "pi", nDigits, i ); | ^~~~~~~~ In function 'sprintf', inlined from 'Wlc_NtkShortNames' at src/base/wlc/wlcNtk.c:1325:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ src/base/wlc/wlcNtk.c: In function 'Wlc_NtkShortNames': src/base/wlc/wlcNtk.c:1334:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=] 1334 | sprintf( pBuffer, "%s%0*d", "n", nDigits, i ); | ^~~~ src/base/wlc/wlcNtk.c:1334:27: note: directive argument in the range [1, 2147483646] 1334 | sprintf( pBuffer, "%s%0*d", "n", nDigits, i ); | ^~~~~~~~ In function 'sprintf', inlined from 'Wlc_NtkShortNames' at src/base/wlc/wlcNtk.c:1334:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ In file included from src/base/wln/wlnWriteVer.c:21: In function 'Wln_ObjFanin', inlined from 'Wln_ObjFanin2' at src/base/wln/wln.h:115:91, inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:355:17: src/base/wln/wln.h:111:167: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~^~~ src/base/wln/wln.h: In function 'Wln_WriteVerInt': src/base/wln/wln.h:51:28: note: while referencing 'Array' 51 | union { int Array[2]; | ^~~~~ In function 'Wln_ObjFanin', inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:306:13: src/base/wln/wln.h:111:167: warning: array subscript 3 is above array bounds of 'int[2]' [-Warray-bounds=] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~^~~ src/base/wln/wln.h: In function 'Wln_WriteVerInt': src/base/wln/wln.h:51:28: note: while referencing 'Array' 51 | union { int Array[2]; | ^~~~~ In function 'Wln_ObjFanin', inlined from 'Wln_ObjFanin2' at src/base/wln/wln.h:115:91, inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:306:13: src/base/wln/wln.h:111:167: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~^~~ src/base/wln/wln.h: In function 'Wln_WriteVerInt': src/base/wln/wln.h:51:28: note: while referencing 'Array' 51 | union { int Array[2]; | ^~~~~ In function 'Wln_ObjFanin', inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:306:13: src/base/wln/wln.h:111:167: warning: array subscript 3 is above array bounds of 'int[2]' [-Warray-bounds=] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~^~~ src/base/wln/wln.h: In function 'Wln_WriteVerInt': src/base/wln/wln.h:51:28: note: while referencing 'Array' 51 | union { int Array[2]; | ^~~~~ In function 'Wln_ObjFanin', inlined from 'Wln_ObjFanin2' at src/base/wln/wln.h:115:91, inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:306:13: src/base/wln/wln.h:111:167: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~^~~ src/base/wln/wln.h: In function 'Wln_WriteVerInt': src/base/wln/wln.h:51:28: note: while referencing 'Array' 51 | union { int Array[2]; | ^~~~~ `` Compiling: /src/base/acb/acbSets.c `` Compiling: /src/base/acb/acbTest.c `` Compiling: /src/base/acb/acbUtil.c `` Compiling: /src/base/bac/bacBlast.c src/base/wln/wlnNdr.c: In function 'Wln_NtkFromNdr': src/base/wln/wlnNdr.c:259:44: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=] 259 | char pName[100]; sprintf( pName, "s%0*d", nDigits, i ); | ^~~~ src/base/wln/wlnNdr.c:259:42: note: directive argument in the range [1, 2147483647] 259 | char pName[100]; sprintf( pName, "s%0*d", nDigits, i ); | ^~~~~~~ In file included from /usr/include/stdio.h:906, from ./src/aig/gia/gia.h:29, from src/base/wln/wln.h:29, from src/base/wln/wlnNdr.c:21: In function 'sprintf', inlined from 'Wln_NtkFromNdr' at src/base/wln/wlnNdr.c:259:26: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ `` Compiling: /src/base/bac/bacBac.c `` Compiling: /src/base/bac/bacCom.c `` Compiling: /src/base/bac/bacLib.c `` Compiling: /src/base/bac/bacNtk.c `` Compiling: /src/base/bac/bacPrsBuild.c `` Compiling: /src/base/bac/bacPrsTrans.c `` Compiling: /src/base/bac/bacPtr.c `` Compiling: /src/base/bac/bacPtrAbc.c `` Compiling: /src/base/bac/bacReadBlif.c `` Compiling: /src/base/bac/bacReadSmt.c `` Compiling: /src/base/bac/bacReadVer.c `` Compiling: /src/base/bac/bacWriteBlif.c `` Compiling: /src/base/bac/bacWriteSmt.c `` Compiling: /src/base/bac/bacWriteVer.c `` Compiling: /src/base/cba/cbaBlast.c `` Compiling: /src/base/cba/cbaCba.c `` Compiling: /src/base/cba/cbaCom.c `` Compiling: /src/base/cba/cbaNtk.c `` Compiling: /src/base/cba/cbaReadBlif.c `` Compiling: /src/base/cba/cbaReadVer.c `` Compiling: /src/base/cba/cbaWriteBlif.c src/base/abci/abc.c: In function 'Abc_CommandAbc9Put': src/base/abci/abc.c:30874:43: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 97 [-Wformat-overflow=] 30874 | sprintf( pSuffix, "_li%0*d", nDigits, i-Abc_NtkPoNum(pNtk) ); | ^~~~ `` Compiling: /src/base/cba/cbaWriteVer.c src/base/abci/abc.c:30874:39: note: directive argument in the range [0, 2147483647] 30874 | sprintf( pSuffix, "_li%0*d", nDigits, i-Abc_NtkPoNum(pNtk) ); | ^~~~~~~~~ In file included from /usr/include/stdio.h:906, from ./src/base/abc/abc.h:29, from src/base/abci/abc.c:21: In function 'sprintf', inlined from 'Abc_CommandAbc9Put' at src/base/abci/abc.c:30874:21: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 5 and 2147483651 bytes into a destination of size 100 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ `` Compiling: /src/base/pla/plaCom.c `` Compiling: /src/base/pla/plaHash.c `` Compiling: /src/base/pla/plaMan.c `` Compiling: /src/base/pla/plaMerge.c `` Compiling: /src/base/pla/plaSimple.c `` Compiling: /src/base/pla/plaRead.c `` Compiling: /src/base/pla/plaWrite.c `` Compiling: /src/base/test/test.c `` Compiling: /src/map/mapper/mapper.c `` Compiling: /src/map/mapper/mapperCanon.c `` Compiling: /src/map/mapper/mapperCore.c `` Compiling: /src/map/mapper/mapperCreate.c `` Compiling: /src/map/mapper/mapperCut.c `` Compiling: /src/map/mapper/mapperCutUtils.c `` Compiling: /src/map/mapper/mapperLib.c In file included from /usr/include/unistd.h:25, from src/map/mapper/mapperLib.c:21: /usr/include/features.h:195:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp] 195 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" | ^~~~~~~ `` Compiling: /src/map/mapper/mapperMatch.c `` Compiling: /src/map/mapper/mapperRefs.c `` Compiling: /src/map/mapper/mapperSuper.c `` Compiling: /src/map/mapper/mapperSwitch.c `` Compiling: /src/map/mapper/mapperTable.c `` Compiling: /src/map/mapper/mapperTime.c `` Compiling: /src/map/mapper/mapperTree.c `` Compiling: /src/map/mapper/mapperTruth.c `` Compiling: /src/map/mapper/mapperUtils.c `` Compiling: /src/map/mapper/mapperVec.c `` Compiling: /src/map/mio/mio.c In file included from /usr/include/unistd.h:25, from src/map/mio/mio.c:22: /usr/include/features.h:195:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp] 195 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" | ^~~~~~~ `` Compiling: /src/map/mio/mioApi.c `` Compiling: /src/map/mio/mioFunc.c `` Compiling: /src/map/mio/mioParse.c `` Compiling: /src/map/mio/mioRead.c `` Compiling: /src/map/mio/mioSop.c `` Compiling: /src/map/mio/mioUtils.c `` Compiling: /src/map/super/super.c `` Compiling: /src/map/super/superAnd.c `` Compiling: /src/map/super/superGate.c `` Compiling: /src/map/if/ifCom.c `` Compiling: /src/map/if/ifCache.c `` Compiling: /src/map/if/ifCore.c `` Compiling: /src/map/if/ifCut.c `` Compiling: /src/map/if/ifData2.c `` Compiling: /src/map/if/ifDec07.c `` Compiling: /src/map/if/ifDec08.c `` Compiling: /src/map/if/ifDec10.c `` Compiling: /src/map/if/ifDec16.c `` Compiling: /src/map/if/ifDec75.c `` Compiling: /src/map/if/ifDelay.c `` Compiling: /src/map/if/ifDsd.c `` Compiling: /src/map/if/ifLibBox.c `` Compiling: /src/map/if/ifLibLut.c `` Compiling: /src/map/if/ifMan.c `` Compiling: /src/map/if/ifMap.c src/map/if/ifDsd.c: In function 'If_DsdObjFindOrAdd': src/map/if/ifDsd.c:1004:29: warning: 'Dau_DecFindSets_int' accessing 128 bytes in a region of size 120 [-Wstringop-overflow=] 1004 | Vec_Int_t * vSets = Dau_DecFindSets_int( pTruth, nLits, p->pSched ); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/map/if/ifDsd.c:1004:29: note: referencing argument 3 of type 'int *[16]' In file included from src/map/if/if.h:40, from src/map/if/ifDsd.c:22: ./src/opt/dau/dau.h:114:22: note: in a call to function 'Dau_DecFindSets_int' 114 | extern Vec_Int_t * Dau_DecFindSets_int( word * pInit, int nVars, int * pSched[16] ); | ^~~~~~~~~~~~~~~~~~~ `` Compiling: /src/map/if/ifMatch2.c `` Compiling: /src/map/if/ifReduce.c `` Compiling: /src/map/if/ifSat.c `` Compiling: /src/map/if/ifSelect.c `` Compiling: /src/map/if/ifSeq.c `` Compiling: /src/map/if/ifTest.c `` Compiling: /src/map/if/ifTime.c `` Compiling: /src/map/if/ifTruth.c `` Compiling: /src/map/if/ifTune.c src/base/abci/abc.c: In function 'Abc_CommandAbc9Cone': src/base/abci/abc.c:44610:34: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 999 [-Wformat-overflow=] 44610 | sprintf( Buffer, "%s_%0*d.aig", Extra_FileNameGeneric(pAbc->pGia->pSpec), nDigits, i ); | ^~~~ src/map/mio/mioUtils.c: In function 'Mio_LibraryShortNames': src/map/mio/mioUtils.c:1719:28: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1719 | sprintf( Buffer, "g%0*d", nDigits, ++c ); | ^~~~ src/map/mio/mioUtils.c:1719:26: note: directive argument in the range [1, 2147483647] 1719 | sprintf( Buffer, "g%0*d", nDigits, ++c ); | ^~~~~~~ In file included from /usr/include/stdio.h:906, from src/map/mio/mioInt.h:27, from src/map/mio/mioUtils.c:20: In function 'sprintf', inlined from 'Mio_LibraryShortNames' at src/map/mio/mioUtils.c:1719:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 10000 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ src/base/abci/abc.c:44610:30: note: directive argument in the range [0, 2147483646] 44610 | sprintf( Buffer, "%s_%0*d.aig", Extra_FileNameGeneric(pAbc->pGia->pSpec), nDigits, i ); | ^~~~~~~~~~~~~ In function 'sprintf', inlined from 'Abc_CommandAbc9Cone' at src/base/abci/abc.c:44610:13: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output 7 or more bytes (assuming 2147483653) into a destination of size 1000 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ `` Compiling: /src/map/if/ifUtil.c `` Compiling: /src/map/amap/amapCore.c `` Compiling: /src/map/amap/amapGraph.c `` Compiling: /src/map/amap/amapLib.c `` Compiling: /src/map/amap/amapLiberty.c `` Compiling: /src/map/amap/amapMan.c `` Compiling: /src/map/amap/amapMatch.c `` Compiling: /src/map/amap/amapMerge.c `` Compiling: /src/map/amap/amapOutput.c `` Compiling: /src/map/amap/amapParse.c `` Compiling: /src/map/amap/amapPerm.c `` Compiling: /src/map/amap/amapRead.c `` Compiling: /src/map/amap/amapRule.c `` Compiling: /src/map/amap/amapUniq.c `` Compiling: /src/map/cov/covBuild.c `` Compiling: /src/map/cov/covCore.c `` Compiling: /src/map/cov/covMan.c `` Compiling: /src/map/cov/covMinEsop.c `` Compiling: /src/map/cov/covMinMan.c `` Compiling: /src/map/cov/covMinSop.c `` Compiling: /src/map/cov/covMinUtil.c `` Compiling: /src/map/scl/scl.c `` Compiling: /src/map/scl/sclBuffer.c `` Compiling: /src/map/scl/sclBufSize.c `` Compiling: /src/map/scl/sclDnsize.c `` Compiling: /src/map/scl/sclLiberty.c `` Compiling: /src/map/scl/sclLibScl.c `` Compiling: /src/map/scl/sclLibUtil.c `` Compiling: /src/map/scl/sclLoad.c `` Compiling: /src/map/scl/sclSize.c `` Compiling: /src/map/scl/sclUpsize.c `` Compiling: /src/map/scl/sclUtil.c `` Compiling: /src/map/mpm/mpmAbc.c src/map/scl/sclLibUtil.c: In function 'Abc_SclShortNames': src/map/scl/sclLibUtil.c:208:32: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 208 | sprintf( Buffer, "g%0*d_%0*d", nDigits, i, nDigits2, k ); | ^~~~ src/map/scl/sclLibUtil.c:208:30: note: directive argument in the range [0, 2147483646] 208 | sprintf( Buffer, "g%0*d_%0*d", nDigits, i, nDigits2, k ); | ^~~~~~~~~~~~ src/map/scl/sclLibUtil.c:208:30: note: directive argument in the range [0, 2147483647] In file included from /usr/include/stdio.h:906, from src/map/scl/sclLib.h:29, from src/map/scl/sclLibUtil.c:21: In function 'sprintf', inlined from 'Abc_SclShortNames' at src/map/scl/sclLibUtil.c:208:13: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 5 and 4294967297 bytes into a destination of size 10000 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ `` Compiling: /src/map/mpm/mpmCore.c `` Compiling: /src/map/mpm/mpmDsd.c `` Compiling: /src/map/mpm/mpmGates.c `` Compiling: /src/map/mpm/mpmLib.c `` Compiling: /src/map/mpm/mpmMan.c `` Compiling: /src/map/mpm/mpmMap.c `` Compiling: /src/map/mpm/mpmMig.c `` Compiling: /src/map/mpm/mpmPre.c `` Compiling: /src/map/mpm/mpmTruth.c `` Compiling: /src/map/mpm/mpmUtil.c `` Compiling: /src/misc/extra/extraUtilBitMatrix.c `` Compiling: /src/misc/extra/extraUtilCanon.c `` Compiling: /src/misc/extra/extraUtilCfs.c `` Compiling: /src/misc/extra/extraUtilCube.c `` Compiling: /src/misc/extra/extraUtilDsd.c `` Compiling: /src/misc/extra/extraUtilEnum.c `` Compiling: /src/misc/extra/extraUtilFile.c `` Compiling: /src/misc/extra/extraUtilGen.c src/misc/extra/extraUtilFile.c: In function 'Extra_FileNameAppend': src/misc/extra/extraUtilFile.c:150:25: warning: '%s' directive writing up to 499 bytes into a region of size between 1 and 500 [-Wformat-overflow=] 150 | sprintf( Buffer, "%s%s", pBase, pSuffix ); | ^~ In file included from /usr/include/stdio.h:906, from src/misc/extra/extra.h:41, from src/misc/extra/extraUtilFile.c:21: In function 'sprintf', inlined from 'Extra_FileNameAppend' at src/misc/extra/extraUtilFile.c:150:5: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 1 and 999 bytes into a destination of size 500 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ `` Compiling: /src/misc/extra/extraUtilMacc.c `` Compiling: /src/misc/extra/extraUtilMaj.c `` Compiling: /src/misc/extra/extraUtilMemory.c `` Compiling: /src/misc/extra/extraUtilMisc.c `` Compiling: /src/misc/extra/extraUtilMult.c `` Compiling: /src/misc/extra/extraUtilPath.c `` Compiling: /src/misc/extra/extraUtilPerm.c `` Compiling: /src/misc/extra/extraUtilProgress.c `` Compiling: /src/misc/extra/extraUtilReader.c `` Compiling: /src/misc/extra/extraUtilSupp.c `` Compiling: /src/misc/extra/extraUtilTruth.c `` Compiling: /src/misc/extra/extraUtilUtil.c `` Compiling: /src/misc/mvc/mvcApi.c `` Compiling: /src/misc/mvc/mvcCompare.c `` Compiling: /src/misc/mvc/mvcContain.c `` Compiling: /src/misc/mvc/mvcCover.c `` Compiling: /src/misc/mvc/mvcCube.c `` Compiling: /src/misc/mvc/mvcDivide.c `` Compiling: /src/misc/mvc/mvcDivisor.c `` Compiling: /src/misc/mvc/mvcList.c `` Compiling: /src/misc/mvc/mvcLits.c `` Compiling: /src/misc/mvc/mvcMan.c `` Compiling: /src/misc/mvc/mvcOpAlg.c `` Compiling: /src/misc/mvc/mvcOpBool.c `` Compiling: /src/misc/mvc/mvcPrint.c `` Compiling: /src/misc/mvc/mvcSort.c `` Compiling: /src/misc/mvc/mvcUtils.c `` Compiling: /src/misc/st/st.c `` Compiling: /src/misc/st/stmm.c `` Compiling: /src/misc/util/utilBridge.c `` Compiling: /src/misc/util/utilCex.c `` Compiling: /src/misc/util/utilColor.c `` Compiling: /src/misc/util/utilFile.c `` Compiling: /src/misc/util/utilIsop.c `` Compiling: /src/misc/util/utilNam.c `` Compiling: /src/misc/util/utilSignal.c `` Compiling: /src/misc/util/utilSort.c `` Compiling: /src/misc/nm/nmApi.c `` Compiling: /src/misc/nm/nmTable.c `` Compiling: /src/misc/tim/timBox.c `` Compiling: /src/misc/tim/timDump.c `` Compiling: /src/misc/tim/timMan.c `` Compiling: /src/misc/tim/timTime.c `` Compiling: /src/misc/tim/timTrav.c `` Compiling: /src/misc/bzlib/blocksort.c `` Compiling: /src/misc/bzlib/bzlib.c `` Compiling: /src/misc/bzlib/compress.c `` Compiling: /src/misc/bzlib/crctable.c `` Compiling: /src/misc/bzlib/decompress.c `` Compiling: /src/misc/bzlib/huffman.c `` Compiling: /src/misc/bzlib/randtable.c `` Compiling: /src/misc/zlib/adler32.c `` Compiling: /src/misc/zlib/compress_.c `` Compiling: /src/misc/zlib/crc32.c `` Compiling: /src/misc/zlib/deflate.c `` Compiling: /src/misc/zlib/gzclose.c `` Compiling: /src/misc/zlib/gzlib.c `` Compiling: /src/misc/zlib/gzread.c `` Compiling: /src/misc/zlib/gzwrite.c `` Compiling: /src/misc/zlib/infback.c `` Compiling: /src/misc/zlib/inffast.c `` Compiling: /src/misc/zlib/inflate.c `` Compiling: /src/misc/zlib/inftrees.c `` Compiling: /src/misc/zlib/trees.c `` Compiling: /src/misc/zlib/uncompr.c `` Compiling: /src/misc/zlib/zutil.c `` Compiling: /src/misc/mem/mem.c `` Compiling: /src/misc/bar/bar.c `` Compiling: /src/misc/bbl/bblif.c `` Compiling: /src/misc/parse/parseEqn.c `` Compiling: /src/misc/parse/parseStack.c `` Compiling: /src/opt/cut/cutApi.c `` Compiling: /src/opt/cut/cutCut.c `` Compiling: /src/opt/cut/cutMan.c `` Compiling: /src/opt/cut/cutMerge.c `` Compiling: /src/opt/cut/cutNode.c `` Compiling: /src/opt/cut/cutOracle.c `` Compiling: /src/opt/cut/cutPre22.c `` Compiling: /src/opt/cut/cutSeq.c `` Compiling: /src/opt/cut/cutTruth.c `` Compiling: /src/opt/fxu/fxu.c `` Compiling: /src/opt/fxu/fxuCreate.c `` Compiling: /src/opt/fxu/fxuHeapD.c `` Compiling: /src/opt/fxu/fxuHeapS.c `` Compiling: /src/opt/fxu/fxuList.c `` Compiling: /src/opt/fxu/fxuMatrix.c `` Compiling: /src/opt/fxu/fxuPair.c `` Compiling: /src/opt/fxu/fxuPrint.c `` Compiling: /src/opt/fxu/fxuReduce.c `` Compiling: /src/opt/fxu/fxuSelect.c `` Compiling: /src/opt/fxu/fxuSingle.c `` Compiling: /src/opt/fxu/fxuUpdate.c `` Compiling: /src/opt/fxch/Fxch.c `` Compiling: /src/opt/fxch/FxchDiv.c `` Compiling: /src/opt/fxch/FxchMan.c `` Compiling: /src/opt/fxch/FxchSCHashTable.c `` Compiling: /src/opt/rwr/rwrDec.c In file included from ./src/misc/vec/vec.h:29, from ./src/base/abc/abc.h:34, from src/opt/fxu/fxuReduce.c:19: src/opt/fxu/fxuReduce.c: In function 'Fxu_PreprocessCubePairs': ./src/misc/util/abc_global.h:264:44: warning: argument 1 value '18446744073709551614' exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] 264 | #define ABC_CALLOC(type, num) ((type *) calloc((size_t)(num), sizeof(type))) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/opt/fxu/fxuReduce.c:89:22: note: in expansion of macro 'ABC_CALLOC' 89 | pnPairCounters = ABC_CALLOC( int, 2 * nBitsMax ); | ^~~~~~~~~~ In file included from ./src/base/abc/abc.h:30: /usr/include/stdlib.h:556:14: note: in a call to allocation function 'calloc' declared here 556 | extern void *calloc (size_t __nmemb, size_t __size) | ^~~~~~ `` Compiling: /src/opt/rwr/rwrEva.c `` Compiling: /src/opt/rwr/rwrExp.c `` Compiling: /src/opt/rwr/rwrLib.c `` Compiling: /src/opt/rwr/rwrMan.c `` Compiling: /src/opt/rwr/rwrPrint.c `` Compiling: /src/opt/rwr/rwrUtil.c `` Compiling: /src/opt/mfs/mfsCore.c `` Compiling: /src/opt/mfs/mfsDiv.c `` Compiling: /src/opt/mfs/mfsInter.c `` Compiling: /src/opt/mfs/mfsMan.c `` Compiling: /src/opt/mfs/mfsResub.c `` Compiling: /src/opt/mfs/mfsSat.c `` Compiling: /src/opt/mfs/mfsStrash.c `` Compiling: /src/opt/mfs/mfsWin.c `` Compiling: /src/opt/sim/simMan.c `` Compiling: /src/opt/sim/simSeq.c `` Compiling: /src/opt/sim/simSupp.c `` Compiling: /src/opt/sim/simSwitch.c `` Compiling: /src/opt/sim/simSym.c `` Compiling: /src/opt/sim/simSymSat.c `` Compiling: /src/opt/sim/simSymSim.c `` Compiling: /src/opt/sim/simSymStr.c `` Compiling: /src/opt/sim/simUtils.c `` Compiling: /src/opt/ret/retArea.c `` Compiling: /src/opt/ret/retCore.c `` Compiling: /src/opt/ret/retDelay.c `` Compiling: /src/opt/ret/retFlow.c `` Compiling: /src/opt/ret/retIncrem.c `` Compiling: /src/opt/ret/retInit.c `` Compiling: /src/opt/ret/retLvalue.c `` Compiling: /src/opt/fret/fretMain.c `` Compiling: /src/opt/fret/fretFlow.c `` Compiling: /src/opt/fret/fretInit.c `` Compiling: /src/opt/fret/fretTime.c `` Compiling: /src/opt/res/resCore.c `` Compiling: /src/opt/res/resDivs.c `` Compiling: /src/opt/res/resFilter.c `` Compiling: /src/opt/res/resSat.c `` Compiling: /src/opt/res/resSim.c `` Compiling: /src/opt/res/resStrash.c `` Compiling: /src/opt/res/resWin.c `` Compiling: /src/opt/lpk/lpkCore.c `` Compiling: /src/opt/lpk/lpkAbcDec.c `` Compiling: /src/opt/lpk/lpkAbcMux.c `` Compiling: /src/opt/lpk/lpkAbcDsd.c `` Compiling: /src/opt/lpk/lpkAbcUtil.c `` Compiling: /src/opt/lpk/lpkCut.c `` Compiling: /src/opt/lpk/lpkMan.c `` Compiling: /src/opt/lpk/lpkMap.c `` Compiling: /src/opt/lpk/lpkMulti.c `` Compiling: /src/opt/lpk/lpkMux.c `` Compiling: /src/opt/lpk/lpkSets.c `` Compiling: /src/opt/nwk/nwkAig.c `` Compiling: /src/opt/nwk/nwkCheck.c `` Compiling: /src/opt/nwk/nwkBidec.c `` Compiling: /src/opt/nwk/nwkDfs.c `` Compiling: /src/opt/nwk/nwkFanio.c `` Compiling: /src/opt/nwk/nwkFlow.c `` Compiling: /src/opt/nwk/nwkMan.c `` Compiling: /src/opt/nwk/nwkMap.c `` Compiling: /src/opt/nwk/nwkMerge.c `` Compiling: /src/opt/nwk/nwkObj.c `` Compiling: /src/opt/nwk/nwkSpeedup.c `` Compiling: /src/opt/nwk/nwkStrash.c `` Compiling: /src/opt/nwk/nwkTiming.c `` Compiling: /src/opt/nwk/nwkUtil.c `` Compiling: /src/opt/rwt/rwtDec.c `` Compiling: /src/opt/rwt/rwtMan.c `` Compiling: /src/opt/rwt/rwtUtil.c `` Compiling: /src/opt/cgt/cgtAig.c `` Compiling: /src/opt/cgt/cgtCore.c `` Compiling: /src/opt/cgt/cgtDecide.c `` Compiling: /src/opt/cgt/cgtMan.c `` Compiling: /src/opt/cgt/cgtSat.c `` Compiling: /src/opt/csw/cswCore.c `` Compiling: /src/opt/csw/cswCut.c `` Compiling: /src/opt/csw/cswMan.c `` Compiling: /src/opt/csw/cswTable.c `` Compiling: /src/opt/dar/darBalance.c `` Compiling: /src/opt/dar/darCore.c `` Compiling: /src/opt/dar/darCut.c `` Compiling: /src/opt/dar/darData.c `` Compiling: /src/opt/dar/darLib.c `` Compiling: /src/opt/dar/darMan.c `` Compiling: /src/opt/dar/darPrec.c `` Compiling: /src/opt/dar/darRefact.c `` Compiling: /src/opt/dar/darScript.c `` Compiling: /src/opt/dau/dauCanon.c `` Compiling: /src/opt/dau/dauCore.c `` Compiling: /src/opt/dau/dauCount.c `` Compiling: /src/opt/dau/dauDivs.c `` Compiling: /src/opt/dau/dauDsd.c `` Compiling: /src/opt/dau/dauEnum.c `` Compiling: /src/opt/dau/dauGia.c `` Compiling: /src/opt/dau/dauMerge.c `` Compiling: /src/opt/dau/dauNonDsd.c `` Compiling: /src/opt/dau/dauNpn.c `` Compiling: /src/opt/dau/dauNpn2.c `` Compiling: /src/opt/dau/dauTree.c `` Compiling: /src/opt/dsc/dsc.c `` Compiling: /src/opt/sfm/sfmArea.c `` Compiling: /src/opt/sfm/sfmCnf.c `` Compiling: /src/opt/sfm/sfmCore.c `` Compiling: /src/opt/sfm/sfmDec.c `` Compiling: /src/opt/sfm/sfmLib.c `` Compiling: /src/opt/sfm/sfmNtk.c `` Compiling: /src/opt/sfm/sfmSat.c `` Compiling: /src/opt/sfm/sfmTim.c `` Compiling: /src/opt/sfm/sfmMit.c `` Compiling: /src/opt/sfm/sfmWin.c `` Compiling: /src/opt/sbd/sbd.c `` Compiling: /src/opt/sbd/sbdCnf.c `` Compiling: /src/opt/sbd/sbdCore.c `` Compiling: /src/opt/sbd/sbdCut.c In file included from ./src/misc/vec/vec.h:29, from src/opt/dau/dauInt.h:34, from src/opt/dau/dauNpn2.c:21: In function 'Vec_VecAlloc', inlined from 'Vec_VecStart' at ./src/misc/vec/vecVec.h:172:9, inlined from 'Dtt_DumpLibrary' at src/opt/dau/dauNpn2.c:937:16: ./src/misc/util/abc_global.h:263:44: warning: argument 1 range [18446744056529682432, 18446744073709551608] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] 263 | #define ABC_ALLOC(type, num) ((type *) malloc(sizeof(type) * (size_t)(num))) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecVec.h:153:26: note: in expansion of macro 'ABC_ALLOC' 153 | p->pArray = p->nCap? ABC_ALLOC( void *, p->nCap ) : NULL; | ^~~~~~~~~ In file included from src/opt/dau/dauInt.h:30: /usr/include/stdlib.h: In function 'Dtt_DumpLibrary': /usr/include/stdlib.h:553:14: note: in a call to allocation function 'malloc' declared here 553 | extern void *malloc (size_t __size) __THROW __attribute_malloc__ | ^~~~~~ `` Compiling: /src/opt/sbd/sbdCut2.c `` Compiling: /src/opt/sbd/sbdLut.c `` Compiling: /src/opt/sbd/sbdPath.c `` Compiling: /src/opt/sbd/sbdSat.c `` Compiling: /src/opt/sbd/sbdWin.c `` Compiling: /src/sat/bsat/satMem.c `` Compiling: /src/sat/bsat/satInter.c `` Compiling: /src/sat/bsat/satInterA.c `` Compiling: /src/sat/bsat/satInterB.c `` Compiling: /src/sat/bsat/satInterP.c `` Compiling: /src/sat/bsat/satProof.c `` Compiling: /src/sat/bsat/satSolver.c `` Compiling: /src/sat/bsat/satSolver2.c `` Compiling: /src/sat/bsat/satSolver2i.c `` Compiling: /src/sat/bsat/satSolver3.c `` Compiling: /src/sat/bsat/satStore.c `` Compiling: /src/sat/bsat/satTrace.c `` Compiling: /src/sat/bsat/satTruth.c `` Compiling: /src/sat/bsat/satUtil.c `` Compiling: /src/sat/xsat/xsatSolver.c `` Compiling: /src/sat/xsat/xsatSolverAPI.c `` Compiling: /src/sat/xsat/xsatCnfReader.c `` Compiling: /src/sat/satoko/solver.c `` Compiling: /src/sat/satoko/solver_api.c `` Compiling: /src/sat/satoko/cnf_reader.c `` Compiling: /src/sat/csat/csat_apis.c `` Compiling: /src/sat/msat/msatActivity.c `` Compiling: /src/sat/msat/msatClause.c `` Compiling: /src/sat/msat/msatClauseVec.c `` Compiling: /src/sat/msat/msatMem.c `` Compiling: /src/sat/msat/msatOrderH.c `` Compiling: /src/sat/msat/msatQueue.c `` Compiling: /src/sat/msat/msatRead.c `` Compiling: /src/sat/msat/msatSolverApi.c `` Compiling: /src/sat/msat/msatSolverCore.c `` Compiling: /src/sat/msat/msatSolverIo.c `` Compiling: /src/sat/msat/msatSolverSearch.c `` Compiling: /src/sat/msat/msatSort.c `` Compiling: /src/sat/msat/msatVec.c `` Compiling: /src/sat/cnf/cnfCore.c `` Compiling: /src/sat/cnf/cnfCut.c `` Compiling: /src/sat/cnf/cnfData.c `` Compiling: /src/sat/cnf/cnfFast.c `` Compiling: /src/sat/cnf/cnfMan.c `` Compiling: /src/sat/cnf/cnfMap.c `` Compiling: /src/sat/cnf/cnfPost.c `` Compiling: /src/sat/cnf/cnfUtil.c `` Compiling: /src/sat/cnf/cnfWrite.c `` Compiling: /src/sat/bmc/bmcBCore.c `` Compiling: /src/sat/bmc/bmcBmc.c `` Compiling: /src/sat/bmc/bmcBmc2.c `` Compiling: /src/sat/bmc/bmcBmc3.c `` Compiling: /src/sat/bmc/bmcBmcAnd.c `` Compiling: /src/sat/bmc/bmcBmci.c `` Compiling: /src/sat/bmc/bmcBmcG.c `` Compiling: /src/sat/bmc/bmcBmcS.c `` Compiling: /src/sat/bmc/bmcCexCare.c `` Compiling: /src/sat/bmc/bmcCexCut.c `` Compiling: /src/sat/bmc/bmcCexDepth.c `` Compiling: /src/sat/bmc/bmcCexMin1.c `` Compiling: /src/sat/bmc/bmcCexMin2.c `` Compiling: /src/sat/bmc/bmcCexTools.c `` Compiling: /src/sat/bmc/bmcChain.c `` Compiling: /src/sat/bmc/bmcClp.c `` Compiling: /src/sat/bmc/bmcEco.c `` Compiling: /src/sat/bmc/bmcExpand.c `` Compiling: /src/sat/bmc/bmcFault.c `` Compiling: /src/sat/bmc/bmcFx.c `` Compiling: /src/sat/bmc/bmcGen.c `` Compiling: /src/sat/bmc/bmcICheck.c `` Compiling: /src/sat/bmc/bmcInse.c `` Compiling: /src/sat/bmc/bmcLoad.c `` Compiling: /src/sat/bmc/bmcMaj.c `` Compiling: /src/sat/bmc/bmcMaj2.c `` Compiling: /src/sat/bmc/bmcMaj3.c `` Compiling: /src/sat/bmc/bmcMaxi.c `` Compiling: /src/sat/bmc/bmcMesh.c `` Compiling: /src/sat/bmc/bmcMesh2.c `` Compiling: /src/sat/bmc/bmcMulti.c `` Compiling: /src/sat/bmc/bmcUnroll.c `` Compiling: /src/bool/bdc/bdcCore.c `` Compiling: /src/bool/bdc/bdcDec.c `` Compiling: /src/bool/bdc/bdcSpfd.c `` Compiling: /src/bool/bdc/bdcTable.c In file included from ./src/misc/vec/vec.h:29, from ./src/aig/aig/aig.h:34, from ./src/aig/saig/saig.h:29, from src/sat/bmc/bmc.h:29, from src/sat/bmc/bmcICheck.c:21: In function 'Vec_IntAlloc', inlined from 'Vec_IntStartNatural' at ./src/misc/vec/vecInt.h:188:9, inlined from 'Bmc_PerformISearchOne' at src/sat/bmc/bmcICheck.c:433:13: ./src/misc/util/abc_global.h:263:44: warning: argument 1 range [18446744065119617024, 18446744073709551612] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] 263 | #define ABC_ALLOC(type, num) ((type *) malloc(sizeof(type) * (size_t)(num))) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecInt.h:104:26: note: in expansion of macro 'ABC_ALLOC' 104 | p->pArray = p->nCap? ABC_ALLOC( int, p->nCap ) : NULL; | ^~~~~~~~~ In file included from ./src/aig/aig/aig.h:30: /usr/include/stdlib.h: In function 'Bmc_PerformISearchOne': /usr/include/stdlib.h:553:14: note: in a call to allocation function 'malloc' declared here 553 | extern void *malloc (size_t __size) __THROW __attribute_malloc__ | ^~~~~~ `` Compiling: /src/bool/dec/decAbc.c `` Compiling: /src/bool/dec/decFactor.c `` Compiling: /src/bool/dec/decMan.c `` Compiling: /src/bool/dec/decPrint.c `` Compiling: /src/bool/dec/decUtil.c `` Compiling: /src/bool/kit/kitAig.c `` Compiling: /src/bool/kit/kitBdd.c `` Compiling: /src/bool/kit/kitCloud.c In file included from ./src/misc/vec/vec.h:29, from ./src/bool/kit/kit.h:34, from src/bool/bdc/bdcInt.h:29, from src/bool/bdc/bdcSpfd.c:21: src/bool/bdc/bdcSpfd.c: In function 'Bdc_SpfdDecompose': ./src/misc/util/abc_global.h:264:44: warning: argument 1 range [18446744071562067968, 18446744073709551615] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] 264 | #define ABC_CALLOC(type, num) ((type *) calloc((size_t)(num), sizeof(type))) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/bool/bdc/bdcSpfd.c:214:13: note: in expansion of macro 'ABC_CALLOC' 214 | pNode = ABC_CALLOC( Bdc_Nod_t, nVars ); | ^~~~~~~~~~ In file included from ./src/bool/kit/kit.h:30: /usr/include/stdlib.h:556:14: note: in a call to allocation function 'calloc' declared here 556 | extern void *calloc (size_t __nmemb, size_t __size) | ^~~~~~ `` Compiling: /src/bool/kit/cloud.c `` Compiling: /src/bool/kit/kitDsd.c `` Compiling: /src/bool/kit/kitFactor.c `` Compiling: /src/bool/kit/kitGraph.c `` Compiling: /src/bool/kit/kitHop.c `` Compiling: /src/bool/kit/kitIsop.c `` Compiling: /src/bool/kit/kitPla.c `` Compiling: /src/bool/kit/kitSop.c `` Compiling: /src/bool/kit/kitTruth.c `` Compiling: /src/bool/lucky/lucky.c `` Compiling: /src/bool/lucky/luckyFast16.c `` Compiling: /src/bool/lucky/luckyFast6.c `` Compiling: /src/bool/lucky/luckyRead.c `` Compiling: /src/bool/lucky/luckySimple.c `` Compiling: /src/bool/lucky/luckySwapIJ.c `` Compiling: /src/bool/lucky/luckySwap.c `` Compiling: /src/bool/rsb/rsbDec6.c `` Compiling: /src/bool/rsb/rsbMan.c `` Compiling: /src/bool/rpo/rpo.c `` Compiling: /src/proof/pdr/pdrCnf.c `` Compiling: /src/proof/pdr/pdrCore.c `` Compiling: /src/proof/pdr/pdrIncr.c `` Compiling: /src/proof/pdr/pdrInv.c `` Compiling: /src/proof/pdr/pdrMan.c `` Compiling: /src/proof/pdr/pdrSat.c `` Compiling: /src/proof/pdr/pdrTsim.c `` Compiling: /src/proof/pdr/pdrTsim2.c `` Compiling: /src/proof/pdr/pdrTsim3.c `` Compiling: /src/proof/pdr/pdrUtil.c `` Compiling: /src/proof/abs/absDup.c `` Compiling: /src/proof/abs/absGla.c `` Compiling: /src/proof/abs/absGlaOld.c In file included from src/bool/kit/kitDsd.c:21: In function 'Kit_DsdLitSupport', inlined from 'Kit_DsdGetSupports' at src/bool/kit/kitDsd.c:1779:35: src/bool/kit/kit.h:156:215: warning: '*_5 + _53' may be used uninitialized [-Wmaybe-uninitialized] 156 | static inline unsigned Kit_DsdLitSupport( Kit_DsdNtk_t * pNtk, int Lit ) { int Id = Abc_Lit2Var(Lit); assert( Id >= 0 && Id < pNtk->nVars + pNtk->nNodes ); return pNtk->pSupps? (Id < pNtk->nVars? (1 << Id) : pNtk->pSupps[Id - pNtk->nVars]) : 0; } | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ `` Compiling: /src/proof/abs/absIter.c `` Compiling: /src/proof/abs/absOldCex.c `` Compiling: /src/proof/abs/absOldRef.c `` Compiling: /src/proof/abs/absOldSat.c `` Compiling: /src/proof/abs/absOldSim.c `` Compiling: /src/proof/abs/absOut.c `` Compiling: /src/proof/abs/absPth.c `` Compiling: /src/proof/abs/absRef.c `` Compiling: /src/proof/abs/absRefSelect.c `` Compiling: /src/proof/abs/absRpm.c `` Compiling: /src/proof/abs/absRpmOld.c `` Compiling: /src/proof/abs/absVta.c `` Compiling: /src/proof/abs/absUtil.c `` Compiling: /src/proof/live/liveness.c `` Compiling: /src/proof/live/liveness_sim.c `` Compiling: /src/proof/live/ltl_parser.c `` Compiling: /src/proof/live/kliveness.c `` Compiling: /src/proof/live/monotone.c `` Compiling: /src/proof/live/disjunctiveMonotone.c `` Compiling: /src/proof/live/arenaViolation.c `` Compiling: /src/proof/live/kLiveConstraints.c `` Compiling: /src/proof/live/combination.c `` Compiling: /src/proof/ssc/sscClass.c `` Compiling: /src/proof/ssc/sscCore.c `` Compiling: /src/proof/ssc/sscSat.c `` Compiling: /src/proof/ssc/sscSim.c `` Compiling: /src/proof/ssc/sscUtil.c `` Compiling: /src/proof/int/intCheck.c `` Compiling: /src/proof/int/intContain.c `` Compiling: /src/proof/int/intCore.c `` Compiling: /src/proof/int/intCtrex.c `` Compiling: /src/proof/int/intDup.c `` Compiling: /src/proof/int/intFrames.c `` Compiling: /src/proof/int/intInter.c `` Compiling: /src/proof/int/intM114.c `` Compiling: /src/proof/int/intMan.c `` Compiling: /src/proof/int/intUtil.c `` Compiling: /src/proof/cec/cecCec.c `` Compiling: /src/proof/cec/cecChoice.c `` Compiling: /src/proof/cec/cecClass.c `` Compiling: /src/proof/cec/cecCore.c `` Compiling: /src/proof/cec/cecCorr.c `` Compiling: /src/proof/cec/cecIso.c `` Compiling: /src/proof/cec/cecMan.c `` Compiling: /src/proof/cec/cecPat.c `` Compiling: /src/proof/cec/cecSat.c `` Compiling: /src/proof/cec/cecSatG.c `` Compiling: /src/proof/cec/cecSatG2.c `` Compiling: /src/proof/cec/cecSatG3.c `` Compiling: /src/proof/cec/cecSeq.c `` Compiling: /src/proof/cec/cecSim.c `` Compiling: /src/proof/cec/cecSolve.c `` Compiling: /src/proof/cec/cecSolveG.c `` Compiling: /src/proof/cec/cecSplit.c `` Compiling: /src/proof/cec/cecSynth.c `` Compiling: /src/proof/cec/cecSweep.c `` Compiling: /src/proof/acec/acecCl.c `` Compiling: /src/proof/acec/acecCore.c `` Compiling: /src/proof/acec/acecCo.c `` Compiling: /src/proof/acec/acecBo.c `` Compiling: /src/proof/acec/acecRe.c `` Compiling: /src/proof/acec/acecPa.c `` Compiling: /src/proof/acec/acecPo.c `` Compiling: /src/proof/acec/acecPool.c `` Compiling: /src/proof/acec/acecCover.c `` Compiling: /src/proof/acec/acecFadds.c `` Compiling: /src/proof/acec/acecMult.c `` Compiling: /src/proof/acec/acecNorm.c `` Compiling: /src/proof/acec/acecOrder.c `` Compiling: /src/proof/acec/acecPolyn.c `` Compiling: /src/proof/acec/acecSt.c `` Compiling: /src/proof/acec/acecTree.c `` Compiling: /src/proof/acec/acecUtil.c `` Compiling: /src/proof/acec/acec2Mult.c `` Compiling: /src/proof/acec/acecXor.c `` Compiling: /src/proof/dch/dchAig.c `` Compiling: /src/proof/dch/dchChoice.c `` Compiling: /src/proof/dch/dchClass.c `` Compiling: /src/proof/dch/dchCnf.c `` Compiling: /src/proof/dch/dchCore.c `` Compiling: /src/proof/dch/dchMan.c `` Compiling: /src/proof/dch/dchSat.c `` Compiling: /src/proof/dch/dchSim.c `` Compiling: /src/proof/dch/dchSimSat.c `` Compiling: /src/proof/dch/dchSweep.c `` Compiling: /src/proof/fraig/fraigApi.c `` Compiling: /src/proof/fraig/fraigCanon.c `` Compiling: /src/proof/fraig/fraigFanout.c `` Compiling: /src/proof/fraig/fraigFeed.c `` Compiling: /src/proof/fraig/fraigMan.c `` Compiling: /src/proof/fraig/fraigMem.c `` Compiling: /src/proof/fraig/fraigNode.c `` Compiling: /src/proof/fraig/fraigPrime.c `` Compiling: /src/proof/fraig/fraigSat.c `` Compiling: /src/proof/fraig/fraigTable.c `` Compiling: /src/proof/fraig/fraigUtil.c `` Compiling: /src/proof/fraig/fraigVec.c `` Compiling: /src/proof/fra/fraBmc.c `` Compiling: /src/proof/fra/fraCec.c `` Compiling: /src/proof/fra/fraClass.c `` Compiling: /src/proof/fra/fraClau.c `` Compiling: /src/proof/fra/fraClaus.c `` Compiling: /src/proof/fra/fraCnf.c `` Compiling: /src/proof/fra/fraCore.c `` Compiling: /src/proof/fra/fraHot.c `` Compiling: /src/proof/fra/fraImp.c `` Compiling: /src/proof/fra/fraInd.c `` Compiling: /src/proof/fra/fraIndVer.c `` Compiling: /src/proof/fra/fraLcr.c `` Compiling: /src/proof/fra/fraMan.c `` Compiling: /src/proof/fra/fraPart.c `` Compiling: /src/proof/fra/fraSat.c `` Compiling: /src/proof/fra/fraSec.c `` Compiling: /src/proof/fra/fraSim.c `` Compiling: /src/proof/ssw/sswAig.c `` Compiling: /src/proof/ssw/sswBmc.c `` Compiling: /src/proof/ssw/sswClass.c `` Compiling: /src/proof/ssw/sswCnf.c `` Compiling: /src/proof/ssw/sswConstr.c `` Compiling: /src/proof/ssw/sswCore.c `` Compiling: /src/proof/ssw/sswDyn.c `` Compiling: /src/proof/ssw/sswFilter.c `` Compiling: /src/proof/ssw/sswIslands.c `` Compiling: /src/proof/ssw/sswLcorr.c `` Compiling: /src/proof/ssw/sswMan.c `` Compiling: /src/proof/ssw/sswPart.c `` Compiling: /src/proof/ssw/sswPairs.c `` Compiling: /src/proof/ssw/sswRarity.c `` Compiling: /src/proof/ssw/sswSat.c `` Compiling: /src/proof/ssw/sswSemi.c `` Compiling: /src/proof/ssw/sswSim.c `` Compiling: /src/proof/ssw/sswSimSat.c `` Compiling: /src/proof/ssw/sswSweep.c `` Compiling: /src/proof/ssw/sswUnique.c `` Compiling: /src/aig/aig/aigCheck.c `` Compiling: /src/aig/aig/aigCanon.c `` Compiling: /src/aig/aig/aigCuts.c `` Compiling: /src/aig/aig/aigDfs.c `` Compiling: /src/aig/aig/aigDup.c `` Compiling: /src/aig/aig/aigFanout.c `` Compiling: /src/aig/aig/aigFrames.c `` Compiling: /src/aig/aig/aigInter.c `` Compiling: /src/aig/aig/aigJust.c `` Compiling: /src/aig/aig/aigMan.c `` Compiling: /src/aig/aig/aigMem.c `` Compiling: /src/aig/aig/aigMffc.c `` Compiling: /src/aig/aig/aigObj.c `` Compiling: /src/aig/aig/aigOper.c `` Compiling: /src/aig/aig/aigOrder.c `` Compiling: /src/aig/aig/aigPack.c `` Compiling: /src/aig/aig/aigPart.c `` Compiling: /src/aig/aig/aigPartReg.c `` Compiling: /src/aig/aig/aigPartSat.c `` Compiling: /src/aig/aig/aigRepr.c `` Compiling: /src/aig/aig/aigRet.c `` Compiling: /src/aig/aig/aigRetF.c `` Compiling: /src/aig/aig/aigScl.c `` Compiling: /src/aig/aig/aigShow.c `` Compiling: /src/aig/aig/aigSplit.c `` Compiling: /src/aig/aig/aigTable.c `` Compiling: /src/aig/aig/aigTiming.c `` Compiling: /src/aig/aig/aigTruth.c `` Compiling: /src/aig/aig/aigTsim.c `` Compiling: /src/aig/aig/aigUtil.c `` Compiling: /src/aig/aig/aigWin.c `` Compiling: /src/aig/saig/saigCone.c `` Compiling: /src/aig/saig/saigConstr.c `` Compiling: /src/aig/saig/saigConstr2.c `` Compiling: /src/aig/saig/saigDual.c `` Compiling: /src/aig/saig/saigDup.c `` Compiling: /src/aig/saig/saigInd.c `` Compiling: /src/aig/saig/saigIoa.c `` Compiling: /src/aig/saig/saigIso.c `` Compiling: /src/aig/saig/saigIsoFast.c `` Compiling: /src/aig/saig/saigIsoSlow.c src/aig/saig/saigIoa.c: In function 'Saig_ObjName': src/aig/saig/saigIoa.c:58:29: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 14 [-Wformat-overflow=] 58 | sprintf( Buffer, "li%0*d", Abc_Base10Log(Saig_ManRegNum(p)), Aig_ObjCioId(pObj) - Saig_ManPoNum(p) ); | ^~~~ src/aig/saig/saigIoa.c:58:26: note: directive argument in the range [0, 2147483647] 58 | sprintf( Buffer, "li%0*d", Abc_Base10Log(Saig_ManRegNum(p)), Aig_ObjCioId(pObj) - Saig_ManPoNum(p) ); | ^~~~~~~~ In file included from /usr/include/stdio.h:906, from ./src/aig/aig/aig.h:29, from src/aig/saig/saig.h:29, from src/aig/saig/saigIoa.c:22: In function 'sprintf', inlined from 'Saig_ObjName' at src/aig/saig/saigIoa.c:58:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 16 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ src/aig/saig/saigIoa.c: In function 'Saig_ObjName': src/aig/saig/saigIoa.c:54:29: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 14 [-Wformat-overflow=] 54 | sprintf( Buffer, "po%0*d", Abc_Base10Log(Saig_ManPoNum(p)), Aig_ObjCioId(pObj) ); | ^~~~ src/aig/saig/saigIoa.c:54:26: note: directive argument in the range [-2147483648, 2147483646] 54 | sprintf( Buffer, "po%0*d", Abc_Base10Log(Saig_ManPoNum(p)), Aig_ObjCioId(pObj) ); | ^~~~~~~~ In function 'sprintf', inlined from 'Saig_ObjName' at src/aig/saig/saigIoa.c:54:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 16 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ src/aig/saig/saigIoa.c: In function 'Saig_ObjName': src/aig/saig/saigIoa.c:56:29: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 14 [-Wformat-overflow=] 56 | sprintf( Buffer, "lo%0*d", Abc_Base10Log(Saig_ManRegNum(p)), Aig_ObjCioId(pObj) - Saig_ManPiNum(p) ); | ^~~~ src/aig/saig/saigIoa.c:56:26: note: directive argument in the range [0, 2147483647] 56 | sprintf( Buffer, "lo%0*d", Abc_Base10Log(Saig_ManRegNum(p)), Aig_ObjCioId(pObj) - Saig_ManPiNum(p) ); | ^~~~~~~~ In function 'sprintf', inlined from 'Saig_ObjName' at src/aig/saig/saigIoa.c:56:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 16 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ src/aig/saig/saigIoa.c: In function 'Saig_ObjName': src/aig/saig/saigIoa.c:52:29: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 14 [-Wformat-overflow=] 52 | sprintf( Buffer, "pi%0*d", Abc_Base10Log(Saig_ManPiNum(p)), Aig_ObjCioId(pObj) ); | ^~~~ src/aig/saig/saigIoa.c:52:26: note: directive argument in the range [-2147483648, 2147483646] 52 | sprintf( Buffer, "pi%0*d", Abc_Base10Log(Saig_ManPiNum(p)), Aig_ObjCioId(pObj) ); | ^~~~~~~~ In function 'sprintf', inlined from 'Saig_ObjName' at src/aig/saig/saigIoa.c:52:9: /usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 16 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ `` Compiling: /src/aig/saig/saigMiter.c `` Compiling: /src/aig/saig/saigOutDec.c `` Compiling: /src/aig/saig/saigPhase.c `` Compiling: /src/aig/saig/saigRetFwd.c `` Compiling: /src/aig/saig/saigRetMin.c `` Compiling: /src/aig/saig/saigRetStep.c `` Compiling: /src/aig/saig/saigScl.c `` Compiling: /src/aig/saig/saigSimFast.c `` Compiling: /src/aig/saig/saigSimMv.c `` Compiling: /src/aig/saig/saigSimSeq.c `` Compiling: /src/aig/saig/saigStrSim.c `` Compiling: /src/aig/saig/saigSwitch.c `` Compiling: /src/aig/saig/saigSynch.c `` Compiling: /src/aig/saig/saigTempor.c `` Compiling: /src/aig/saig/saigTrans.c `` Compiling: /src/aig/saig/saigWnd.c `` Compiling: /src/aig/gia/giaAig.c `` Compiling: /src/aig/gia/giaAgi.c `` Compiling: /src/aig/gia/giaAiger.c `` Compiling: /src/aig/gia/giaAigerExt.c `` Compiling: /src/aig/gia/giaBalAig.c `` Compiling: /src/aig/gia/giaBalLut.c `` Compiling: /src/aig/gia/giaBalMap.c `` Compiling: /src/aig/gia/giaBidec.c `` Compiling: /src/aig/gia/giaCCof.c `` Compiling: /src/aig/gia/giaCex.c `` Compiling: /src/aig/gia/giaClp.c `` Compiling: /src/aig/gia/giaCof.c `` Compiling: /src/aig/gia/giaCone.c `` Compiling: /src/aig/gia/giaCSatOld.c `` Compiling: /src/aig/gia/giaCSat.c `` Compiling: /src/aig/gia/giaCSat2.c `` Compiling: /src/aig/gia/giaCSat3.c `` Compiling: /src/aig/gia/giaCSatP.c `` Compiling: /src/aig/gia/giaCTas.c `` Compiling: /src/aig/gia/giaCut.c `` Compiling: /src/aig/gia/giaDecs.c `` Compiling: /src/aig/gia/giaDeep.c In file included from ./src/misc/vec/vec.h:29, from src/aig/gia/gia.h:34, from src/aig/gia/giaCone.c:21: In function 'Vec_IntAlloc', inlined from 'Vec_IntStartNatural' at ./src/misc/vec/vecInt.h:188:9, inlined from 'Gia_ManFindPivots' at src/aig/gia/giaCone.c:393:29: ./src/misc/util/abc_global.h:263:44: warning: argument 1 range [18446744065119617024, 18446744073709551612] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] 263 | #define ABC_ALLOC(type, num) ((type *) malloc(sizeof(type) * (size_t)(num))) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecInt.h:104:26: note: in expansion of macro 'ABC_ALLOC' 104 | p->pArray = p->nCap? ABC_ALLOC( int, p->nCap ) : NULL; | ^~~~~~~~~ In file included from src/aig/gia/gia.h:30: /usr/include/stdlib.h: In function 'Gia_ManFindPivots': /usr/include/stdlib.h:553:14: note: in a call to allocation function 'malloc' declared here 553 | extern void *malloc (size_t __size) __THROW __attribute_malloc__ | ^~~~~~ `` Compiling: /src/aig/gia/giaDfs.c `` Compiling: /src/aig/gia/giaDup.c `` Compiling: /src/aig/gia/giaEdge.c `` Compiling: /src/aig/gia/giaEmbed.c `` Compiling: /src/aig/gia/giaEnable.c `` Compiling: /src/aig/gia/giaEquiv.c `` Compiling: /src/aig/gia/giaEra.c `` Compiling: /src/aig/gia/giaEra2.c `` Compiling: /src/aig/gia/giaEsop.c `` Compiling: /src/aig/gia/giaExist.c `` Compiling: /src/aig/gia/giaFalse.c `` Compiling: /src/aig/gia/giaFanout.c `` Compiling: /src/aig/gia/giaForce.c `` Compiling: /src/aig/gia/giaFrames.c In file included from ./src/misc/vec/vec.h:33, from src/aig/gia/gia.h:34, from src/aig/gia/giaEsop.c:21: In function 'Vec_StrPush', inlined from 'Eso_ManCoverPrint' at src/aig/gia/giaEsop.c:124:5: ./src/misc/vec/vecStr.h:562:27: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 562 | p->pArray[p->nSize++] = Entry; | ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In file included from ./src/misc/vec/vec.h:29: In function 'Vec_StrGrow', inlined from 'Vec_StrGrow' at ./src/misc/vec/vecStr.h:422:20, inlined from 'Vec_StrPush' at ./src/misc/vec/vecStr.h:558:13, inlined from 'Eso_ManCoverPrint' at src/aig/gia/giaEsop.c:124:5: ./src/misc/util/abc_global.h:268:28: note: at offset 16 into destination object of size 16 allocated by 'realloc' 268 | ((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (size_t)(num))) : \ | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecStr.h:426:17: note: in expansion of macro 'ABC_REALLOC' 426 | p->pArray = ABC_REALLOC( char, p->pArray, nCapMin ); | ^~~~~~~~~~~ ./src/misc/util/abc_global.h:269:20: note: at offset 16 into destination object of size 16 allocated by 'malloc' 269 | ((type *) malloc(sizeof(type) * (size_t)(num)))) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecStr.h:426:17: note: in expansion of macro 'ABC_REALLOC' 426 | p->pArray = ABC_REALLOC( char, p->pArray, nCapMin ); | ^~~~~~~~~~~ In function 'Vec_StrPush', inlined from 'Eso_ManCoverPrint' at src/aig/gia/giaEsop.c:125:5: ./src/misc/vec/vecStr.h:562:27: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 562 | p->pArray[p->nSize++] = Entry; | ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~ In function 'Vec_StrGrow', inlined from 'Vec_StrGrow' at ./src/misc/vec/vecStr.h:422:20, inlined from 'Vec_StrPush' at ./src/misc/vec/vecStr.h:558:13, inlined from 'Eso_ManCoverPrint' at src/aig/gia/giaEsop.c:125:5: ./src/misc/util/abc_global.h:268:28: note: at offset [-2147483644, -1] into destination object of size 16 allocated by 'realloc' 268 | ((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (size_t)(num))) : \ | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecStr.h:426:17: note: in expansion of macro 'ABC_REALLOC' 426 | p->pArray = ABC_REALLOC( char, p->pArray, nCapMin ); | ^~~~~~~~~~~ ./src/misc/util/abc_global.h:269:20: note: at offset [-2147483644, -1] into destination object of size 16 allocated by 'malloc' 269 | ((type *) malloc(sizeof(type) * (size_t)(num)))) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecStr.h:426:17: note: in expansion of macro 'ABC_REALLOC' 426 | p->pArray = ABC_REALLOC( char, p->pArray, nCapMin ); | ^~~~~~~~~~~ `` Compiling: /src/aig/gia/giaFront.c `` Compiling: /src/aig/gia/giaFx.c `` Compiling: /src/aig/gia/giaGen.c `` Compiling: /src/aig/gia/giaGig.c `` Compiling: /src/aig/gia/giaGlitch.c `` Compiling: /src/aig/gia/giaHash.c `` Compiling: /src/aig/gia/giaIf.c `` Compiling: /src/aig/gia/giaIff.c `` Compiling: /src/aig/gia/giaIiff.c `` Compiling: /src/aig/gia/giaIso.c `` Compiling: /src/aig/gia/giaIso2.c `` Compiling: /src/aig/gia/giaIso3.c `` Compiling: /src/aig/gia/giaJf.c `` Compiling: /src/aig/gia/giaKf.c `` Compiling: /src/aig/gia/giaLf.c `` Compiling: /src/aig/gia/giaMf.c `` Compiling: /src/aig/gia/giaMan.c `` Compiling: /src/aig/gia/giaMem.c `` Compiling: /src/aig/gia/giaMfs.c `` Compiling: /src/aig/gia/giaMini.c `` Compiling: /src/aig/gia/giaMinLut.c `` Compiling: /src/aig/gia/giaMinLut2.c `` Compiling: /src/aig/gia/giaMuxes.c `` Compiling: /src/aig/gia/giaNf.c `` Compiling: /src/aig/gia/giaOf.c `` Compiling: /src/aig/gia/giaPack.c `` Compiling: /src/aig/gia/giaPat.c `` Compiling: /src/aig/gia/giaPat2.c `` Compiling: /src/aig/gia/giaPf.c In file included from ./src/misc/vec/vec.h:29, from src/aig/gia/gia.h:34, from src/aig/gia/giaPack.c:21: In function 'Vec_IntAlloc', inlined from 'Gia_ManLutCollect' at src/aig/gia/giaPack.c:105:14: ./src/misc/util/abc_global.h:263:44: warning: argument 1 range [18446744065119617028, 18446744073709551612] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] 263 | #define ABC_ALLOC(type, num) ((type *) malloc(sizeof(type) * (size_t)(num))) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecInt.h:104:26: note: in expansion of macro 'ABC_ALLOC' 104 | p->pArray = p->nCap? ABC_ALLOC( int, p->nCap ) : NULL; | ^~~~~~~~~ In file included from src/aig/gia/gia.h:30: /usr/include/stdlib.h: In function 'Gia_ManLutCollect': /usr/include/stdlib.h:553:14: note: in a call to allocation function 'malloc' declared here 553 | extern void *malloc (size_t __size) __THROW __attribute_malloc__ | ^~~~~~ `` Compiling: /src/aig/gia/giaQbf.c `` Compiling: /src/aig/gia/giaReshape1.c `` Compiling: /src/aig/gia/giaReshape2.c `` Compiling: /src/aig/gia/giaResub.c `` Compiling: /src/aig/gia/giaResub2.c `` Compiling: /src/aig/gia/giaResub3.c `` Compiling: /src/aig/gia/giaResub6.c `` Compiling: /src/aig/gia/giaRetime.c In file included from ./src/sat/bsat/satSolver.h:29, from ./src/sat/bsat/satStore.h:36, from src/aig/gia/giaOf.c:30: src/aig/gia/giaOf.c: In function 'Of_ManComputeForwardDirconCut': src/aig/gia/giaOf.c:1324:19: warning: 'Delays' may be used uninitialized [-Wmaybe-uninitialized] 1324 | assert( Delays[0] >= 0 && Delays[nSize-1] >= 0 ); | ~~~~~~^~~ src/aig/gia/giaOf.c:1307:9: note: 'Delays' declared here 1307 | int Delays[6], Perm[6] = {0, 1, 2, 3, 4, 5}; | ^~~~~~ `` Compiling: /src/aig/gia/giaRex.c `` Compiling: /src/aig/gia/giaSatEdge.c `` Compiling: /src/aig/gia/giaSatLE.c In file included from ./src/misc/vec/vec.h:29, from src/aig/gia/gia.h:34, from src/aig/gia/giaPat2.c:21: src/aig/gia/giaPat2.c: In function 'Min_ManRemoveItem': ./src/misc/util/abc_global.h:252:47: warning: 'vLevel' may be used uninitialized [-Wmaybe-uninitialized] 252 | #define ABC_SWAP(Type, a, b) { Type t = a; a = b; b = t; } src/aig/gia/giaPat2.c:862:9: note: in expansion of macro 'ABC_SWAP' 862 | ABC_SWAP( Vec_Int_t, *vLevel0, *vLevel ); | ^~~~~~~~ src/aig/gia/giaPat2.c:854:17: note: 'vLevel' was declared here 854 | Vec_Int_t * vLevel, * vLevel0 = Vec_WecEntry(vCexes, iItem); int i; | ^~~~~~ `` Compiling: /src/aig/gia/giaSatLut.c `` Compiling: /src/aig/gia/giaSatMap.c `` Compiling: /src/aig/gia/giaSatoko.c `` Compiling: /src/aig/gia/giaSatSyn.c `` Compiling: /src/aig/gia/giaSat3.c `` Compiling: /src/aig/gia/giaScl.c `` Compiling: /src/aig/gia/giaScript.c `` Compiling: /src/aig/gia/giaShow.c `` Compiling: /src/aig/gia/giaShrink.c `` Compiling: /src/aig/gia/giaShrink6.c `` Compiling: /src/aig/gia/giaShrink7.c `` Compiling: /src/aig/gia/giaSif.c `` Compiling: /src/aig/gia/giaSim.c `` Compiling: /src/aig/gia/giaSim2.c `` Compiling: /src/aig/gia/giaSimBase.c `` Compiling: /src/aig/gia/giaSort.c `` Compiling: /src/aig/gia/giaSpeedup.c `` Compiling: /src/aig/gia/giaSplit.c `` Compiling: /src/aig/gia/giaStg.c `` Compiling: /src/aig/gia/giaStoch.c `` Compiling: /src/aig/gia/giaStr.c `` Compiling: /src/aig/gia/giaSupMin.c `` Compiling: /src/aig/gia/giaSupp.c `` Compiling: /src/aig/gia/giaSupps.c `` Compiling: /src/aig/gia/giaSweep.c `` Compiling: /src/aig/gia/giaSweeper.c `` Compiling: /src/aig/gia/giaSwitch.c `` Compiling: /src/aig/gia/giaTim.c In file included from ./src/misc/vec/vec.h:29, from src/aig/gia/gia.h:34, from src/aig/gia/giaStg.c:21: In function 'Vec_VecAlloc', inlined from 'Vec_VecStart' at ./src/misc/vec/vecVec.h:172:9, inlined from 'Gia_ManStgOneHot' at src/aig/gia/giaStg.c:347:17: ./src/misc/util/abc_global.h:263:44: warning: argument 1 range [18446744056529682432, 18446744073709551608] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] 263 | #define ABC_ALLOC(type, num) ((type *) malloc(sizeof(type) * (size_t)(num))) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./src/misc/vec/vecVec.h:153:26: note: in expansion of macro 'ABC_ALLOC' 153 | p->pArray = p->nCap? ABC_ALLOC( void *, p->nCap ) : NULL; | ^~~~~~~~~ In file included from src/aig/gia/gia.h:30: /usr/include/stdlib.h: In function 'Gia_ManStgOneHot': /usr/include/stdlib.h:553:14: note: in a call to allocation function 'malloc' declared here 553 | extern void *malloc (size_t __size) __THROW __attribute_malloc__ | ^~~~~~ `` Compiling: /src/aig/gia/giaTis.c `` Compiling: /src/aig/gia/giaTruth.c `` Compiling: /src/aig/gia/giaTsim.c `` Compiling: /src/aig/gia/giaUnate.c `` Compiling: /src/aig/gia/giaUtil.c `` Compiling: /src/aig/ioa/ioaReadAig.c `` Compiling: /src/aig/ioa/ioaWriteAig.c `` Compiling: /src/aig/ioa/ioaUtil.c `` Compiling: /src/aig/ivy/ivyBalance.c `` Compiling: /src/aig/ivy/ivyCanon.c `` Compiling: /src/aig/ivy/ivyCheck.c `` Compiling: /src/aig/ivy/ivyCut.c `` Compiling: /src/aig/ivy/ivyCutTrav.c `` Compiling: /src/aig/ivy/ivyDfs.c `` Compiling: /src/aig/ivy/ivyDsd.c `` Compiling: /src/aig/ivy/ivyFanout.c `` Compiling: /src/aig/ivy/ivyFastMap.c `` Compiling: /src/aig/ivy/ivyFraig.c `` Compiling: /src/aig/ivy/ivyHaig.c `` Compiling: /src/aig/ivy/ivyMan.c `` Compiling: /src/aig/ivy/ivyMem.c `` Compiling: /src/aig/ivy/ivyMulti.c `` Compiling: /src/aig/ivy/ivyObj.c `` Compiling: /src/aig/ivy/ivyOper.c `` Compiling: /src/aig/ivy/ivyResyn.c `` Compiling: /src/aig/ivy/ivyRwr.c `` Compiling: /src/aig/ivy/ivySeq.c `` Compiling: /src/aig/ivy/ivyShow.c `` Compiling: /src/aig/ivy/ivyTable.c `` Compiling: /src/aig/ivy/ivyUtil.c `` Compiling: /src/aig/hop/hopBalance.c `` Compiling: /src/aig/hop/hopCheck.c `` Compiling: /src/aig/hop/hopDfs.c `` Compiling: /src/aig/hop/hopMan.c `` Compiling: /src/aig/hop/hopMem.c `` Compiling: /src/aig/hop/hopObj.c `` Compiling: /src/aig/hop/hopOper.c `` Compiling: /src/aig/hop/hopTable.c `` Compiling: /src/aig/hop/hopTruth.c `` Compiling: /src/aig/hop/hopUtil.c `` Compiling: /src/bdd/cudd/cuddAPI.c `` Compiling: /src/bdd/cudd/cuddAddAbs.c `` Compiling: /src/bdd/cudd/cuddAddApply.c `` Compiling: /src/bdd/cudd/cuddAddFind.c `` Compiling: /src/bdd/cudd/cuddAddInv.c `` Compiling: /src/bdd/cudd/cuddAddIte.c `` Compiling: /src/bdd/cudd/cuddAddNeg.c `` Compiling: /src/bdd/cudd/cuddAddWalsh.c `` Compiling: /src/bdd/cudd/cuddAndAbs.c `` Compiling: /src/bdd/cudd/cuddAnneal.c `` Compiling: /src/bdd/cudd/cuddApa.c `` Compiling: /src/bdd/cudd/cuddApprox.c `` Compiling: /src/bdd/cudd/cuddBddAbs.c `` Compiling: /src/bdd/cudd/cuddBddCorr.c `` Compiling: /src/bdd/cudd/cuddBddIte.c `` Compiling: /src/bdd/cudd/cuddBridge.c `` Compiling: /src/bdd/cudd/cuddCache.c `` Compiling: /src/bdd/cudd/cuddCheck.c `` Compiling: /src/bdd/cudd/cuddClip.c `` Compiling: /src/bdd/cudd/cuddCof.c `` Compiling: /src/bdd/cudd/cuddCompose.c `` Compiling: /src/bdd/cudd/cuddDecomp.c `` Compiling: /src/bdd/cudd/cuddEssent.c `` Compiling: /src/bdd/cudd/cuddExact.c `` Compiling: /src/bdd/cudd/cuddExport.c `` Compiling: /src/bdd/cudd/cuddGenCof.c `` Compiling: /src/bdd/cudd/cuddGenetic.c `` Compiling: /src/bdd/cudd/cuddGroup.c `` Compiling: /src/bdd/cudd/cuddHarwell.c `` Compiling: /src/bdd/cudd/cuddInit.c `` Compiling: /src/bdd/cudd/cuddInteract.c `` Compiling: /src/bdd/cudd/cuddLCache.c `` Compiling: /src/bdd/cudd/cuddLevelQ.c `` Compiling: /src/bdd/cudd/cuddLinear.c `` Compiling: /src/bdd/cudd/cuddLiteral.c `` Compiling: /src/bdd/cudd/cuddMatMult.c `` Compiling: /src/bdd/cudd/cuddPriority.c `` Compiling: /src/bdd/cudd/cuddRead.c `` Compiling: /src/bdd/cudd/cuddRef.c `` Compiling: /src/bdd/cudd/cuddReorder.c `` Compiling: /src/bdd/cudd/cuddSat.c `` Compiling: /src/bdd/cudd/cuddSign.c `` Compiling: /src/bdd/cudd/cuddSolve.c `` Compiling: /src/bdd/cudd/cuddSplit.c `` Compiling: /src/bdd/cudd/cuddSubsetHB.c `` Compiling: /src/bdd/cudd/cuddSubsetSP.c `` Compiling: /src/bdd/cudd/cuddSymmetry.c `` Compiling: /src/bdd/cudd/cuddTable.c `` Compiling: /src/bdd/cudd/cuddUtil.c `` Compiling: /src/bdd/cudd/cuddWindow.c `` Compiling: /src/bdd/cudd/cuddZddCount.c `` Compiling: /src/bdd/cudd/cuddZddFuncs.c `` Compiling: /src/bdd/cudd/cuddZddGroup.c `` Compiling: /src/bdd/cudd/cuddZddIsop.c `` Compiling: /src/bdd/cudd/cuddZddLin.c `` Compiling: /src/bdd/cudd/cuddZddMisc.c `` Compiling: /src/bdd/cudd/cuddZddPort.c `` Compiling: /src/bdd/cudd/cuddZddReord.c `` Compiling: /src/bdd/cudd/cuddZddSetop.c `` Compiling: /src/bdd/cudd/cuddZddSymm.c `` Compiling: /src/bdd/cudd/cuddZddUtil.c `` Compiling: /src/bdd/extrab/extraBddAuto.c `` Compiling: /src/bdd/extrab/extraBddCas.c `` Compiling: /src/bdd/extrab/extraBddImage.c `` Compiling: /src/bdd/extrab/extraBddKmap.c `` Compiling: /src/bdd/extrab/extraBddMaxMin.c `` Compiling: /src/bdd/extrab/extraBddMisc.c `` Compiling: /src/bdd/extrab/extraBddSet.c `` Compiling: /src/bdd/extrab/extraBddSymm.c `` Compiling: /src/bdd/extrab/extraBddThresh.c `` Compiling: /src/bdd/extrab/extraBddTime.c `` Compiling: /src/bdd/extrab/extraBddUnate.c `` Compiling: /src/bdd/dsd/dsdApi.c `` Compiling: /src/bdd/dsd/dsdCheck.c `` Compiling: /src/bdd/dsd/dsdLocal.c `` Compiling: /src/bdd/dsd/dsdMan.c `` Compiling: /src/bdd/dsd/dsdProc.c `` Compiling: /src/bdd/dsd/dsdTree.c `` Compiling: /src/bdd/epd/epd.c `` Compiling: /src/bdd/mtr/mtrBasic.c `` Compiling: /src/bdd/mtr/mtrGroup.c `` Compiling: /src/bdd/reo/reoApi.c `` Compiling: /src/bdd/reo/reoCore.c `` Compiling: /src/bdd/reo/reoProfile.c `` Compiling: /src/bdd/reo/reoShuffle.c `` Compiling: /src/bdd/reo/reoSift.c `` Compiling: /src/bdd/reo/reoSwap.c `` Compiling: /src/bdd/reo/reoTransfer.c `` Compiling: /src/bdd/reo/reoUnits.c `` Compiling: /src/bdd/cas/casCore.c `` Compiling: /src/bdd/cas/casDec.c `` Compiling: /src/bdd/bbr/bbrCex.c `` Compiling: /src/bdd/bbr/bbrImage.c `` Compiling: /src/bdd/bbr/bbrNtbdd.c `` Compiling: /src/bdd/bbr/bbrReach.c `` Compiling: /src/bdd/llb/llb1Cluster.c `` Compiling: /src/bdd/llb/llb1Constr.c `` Compiling: /src/bdd/llb/llb1Core.c `` Compiling: /src/bdd/llb/llb1Group.c `` Compiling: /src/bdd/llb/llb1Hint.c `` Compiling: /src/bdd/llb/llb1Man.c `` Compiling: /src/bdd/llb/llb1Matrix.c `` Compiling: /src/bdd/llb/llb1Pivot.c `` Compiling: /src/bdd/llb/llb1Reach.c `` Compiling: /src/bdd/llb/llb1Sched.c `` Compiling: /src/bdd/llb/llb2Bad.c `` Compiling: /src/bdd/llb/llb2Core.c `` Compiling: /src/bdd/llb/llb2Driver.c `` Compiling: /src/bdd/llb/llb2Dump.c `` Compiling: /src/bdd/llb/llb2Flow.c `` Compiling: /src/bdd/llb/llb2Image.c `` Compiling: /src/bdd/llb/llb3Image.c `` Compiling: /src/bdd/llb/llb3Nonlin.c `` Compiling: /src/bdd/llb/llb4Cex.c `` Compiling: /src/bdd/llb/llb4Image.c `` Compiling: /src/bdd/llb/llb4Nonlin.c `` Compiling: /src/bdd/llb/llb4Sweep.c `` Compiling: /src/base/main/main.c `` Linking: libabc.so `` Building binary: abc ==> Entering fakeroot environment... ==> Starting package()... ==> Tidying install... -> Removing libtool files... -> Purging unwanted files... -> Removing static library files... -> Stripping unneeded symbols from binaries and libraries... -> Compressing man and info pages... ==> Checking for packaging issues... ==> Creating package "abc"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: abc 0.0.0.20221019-1 (Fri Jul 28 16:11:01 2023)