==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: abc 0.0.0.20221019-2 (Thu Jul 11 19:34:28 2024)
==> Retrieving sources...
-> Found abc-70cb339f869e485802159d7f2b886130793556c4.tar.gz
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha512sums...
abc-70cb339f869e485802159d7f2b886130793556c4.tar.gz ... Passed
==> Making package: abc 0.0.0.20221019-2 (Thu Jul 11 19:34:35 2024)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
-> Found abc-70cb339f869e485802159d7f2b886130793556c4.tar.gz
==> WARNING: Skipping all source file integrity checks.
==> 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 14.1.1
Found GCC_MAJOR>=5
Using CFLAGS=-march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-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/ioWriteBench.c
`` Generating dependency: /src/base/io/ioWriteBlif.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 14.1.1
Found GCC_MAJOR>=5
Using CFLAGS=-march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-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
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<T>::capacity(int) [with T = Gluco::vec<unsigned int>]':
./src/sat/glucose/Vec.h:118:13: required from 'void Gluco::vec<T>::growTo(int) [with T = Gluco::vec<unsigned int>]'
./src/sat/glucose/SolverTypes.h:294:44: required from 'void Gluco::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = int; Vec = Gluco::vec<unsigned int>; Deleted = Gluco::SimpSolver::ClauseDeleted]'
src/sat/glucose/SimpSolver.cpp:88:21: required from here
./src/sat/glucose/Vec.h:102:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./src/sat/glucose/Vec.h:40:7: note: 'class Gluco::vec<unsigned int>' declared here
`` Compiling: /src/base/abc/abcBarBuf.c
`` Compiling: /src/base/abc/abcBlifMv.c
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<T>::prelocate(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]':
./src/sat/glucose2/SolverTypes.h:301:51: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]'
./src/sat/glucose2/CGlucoseCore.h:601:20: required from here
./src/sat/glucose2/Vec.h:111:52: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here
./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vec<unsigned int>]':
./src/sat/glucose2/SolverTypes.h:301:51: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = int; Vec = Gluco2::vec<unsigned int>; Deleted = Gluco2::SimpSolver::ClauseDeleted]'
./src/sat/glucose2/SimpSolver.h:78:30: required from here
./src/sat/glucose2/Vec.h:111:52: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<unsigned int>' declared here
`` 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/Glucose.cpp:32:
./src/sat/glucose/Vec.h: In instantiation of 'void Gluco::vec<T>::capacity(int) [with T = Gluco::vec<Gluco::Solver::Watcher>]':
./src/sat/glucose/Vec.h:118:13: required from 'void Gluco::vec<T>::growTo(int) [with T = Gluco::vec<Gluco::Solver::Watcher>]'
./src/sat/glucose/SolverTypes.h:294:44: required from 'void Gluco::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Gluco::Lit; Vec = Gluco::vec<Gluco::Solver::Watcher>; Deleted = Gluco::Solver::WatcherDeleted]'
src/sat/glucose/Glucose.cpp:205:18: required from here
./src/sat/glucose/Vec.h:102:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco::vec<Gluco::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./src/sat/glucose/Vec.h:40:7: note: 'class Gluco::vec<Gluco::Solver::Watcher>' declared here
`` Compiling: /src/base/abc/abcFanio.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<T>::prelocate(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]':
./src/sat/glucose2/SolverTypes.h:301:51: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]'
./src/sat/glucose2/CGlucoseCore.h:601:20: required from here
./src/sat/glucose2/Vec.h:111:52: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here
./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vec<unsigned int>]':
./src/sat/glucose2/SolverTypes.h:301:51: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = int; Vec = Gluco2::vec<unsigned int>; Deleted = Gluco2::SimpSolver::ClauseDeleted]'
./src/sat/glucose2/SimpSolver.h:78:30: required from here
./src/sat/glucose2/Vec.h:111:52: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<unsigned int>' declared here
./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::capacity(int) [with T = Gluco2::vec<unsigned int>]':
./src/sat/glucose2/Vec.h:128:13: required from 'void Gluco2::vec<T>::growTo(int) [with T = Gluco2::vec<unsigned int>]'
./src/sat/glucose2/SolverTypes.h:300:44: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = int; Vec = Gluco2::vec<unsigned int>; Deleted = Gluco2::SimpSolver::ClauseDeleted]'
src/sat/glucose2/SimpSolver2.cpp:89:21: required from here
./src/sat/glucose2/Vec.h:104:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<unsigned int>' declared here
`` Compiling: /src/base/abc/abcFanOrder.c
`` 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
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<T>::prelocate(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]':
./src/sat/glucose2/SolverTypes.h:301:51: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]'
./src/sat/glucose2/CGlucoseCore.h:601:20: required from here
./src/sat/glucose2/Vec.h:111:52: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here
./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::capacity(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]':
./src/sat/glucose2/Vec.h:128:13: required from 'void Gluco2::vec<T>::growTo(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]'
./src/sat/glucose2/SolverTypes.h:300:44: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]'
src/sat/glucose2/Glucose2.cpp:226:18: required from here
./src/sat/glucose2/Vec.h:104:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here
`` 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
In function 'Au_ObjFaninId',
inlined from 'Au_ObjFanin' at src/base/abc/abcHieNew.c:169:70,
inlined from 'Au_ObjFanin2' at src/base/abc/abcHieNew.c:172:64,
inlined from 'Au_NtkDeriveFlatGia_rec' at src/base/abc/abcHieNew.c:1173:28:
src/base/abc/abcHieNew.c:165:117: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=]
src/base/abc/abcHieNew.c: In function 'Au_NtkDeriveFlatGia_rec':
src/base/abc/abcHieNew.c:61:9: note: while referencing 'Fanins'
In function 'Au_ObjFaninId',
inlined from 'Au_ObjFanin' at src/base/abc/abcHieNew.c:169:70,
inlined from 'Au_ObjFanin2' at src/base/abc/abcHieNew.c:172:64,
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:117: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=]
src/base/abc/abcHieNew.c: In function 'Au_NtkTerSimulate_rec':
src/base/abc/abcHieNew.c:61:9: note: while referencing 'Fanins'
`` Compiling: /src/base/abci/abc.c
`` 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
`` 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
src/base/abc/abcNtk.c: In function 'Abc_NtkCreateWithNodes':
src/base/abc/abcNtk.c:1311:26: warning: '%d' directive writing between 1 and 10 bytes into a region of size 9 [-Wformat-overflow=]
src/base/abc/abcNtk.c:1311:26: note: directive argument in the range [0, 2147483646]
In file included from /usr/include/stdio.h:980,
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/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
`` 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
src/base/abci/abcNtbdd.c: In function 'Abc_NodeBddToMuxes_rec':
src/base/abci/abcNtbdd.c:240:14: warning: self-comparison always evaluates to true [-Wtautological-compare]
src/base/abci/abcNtbdd.c:240:14: warning: self-comparison always evaluates to true [-Wtautological-compare]
`` 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
`` 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
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]
`` 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
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]
In function 'Vec_StrFree',
inlined from 'CmdCommandLoad' at src/base/cmd/cmdLoad.c:61:9:
./src/misc/vec/vecStr.h:229:13: note: call to 'free' here
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]
In function 'Vec_StrFree',
inlined from 'CmdCommandLoad' at src/base/cmd/cmdLoad.c:77:9:
./src/misc/vec/vecStr.h:229:13: note: call to 'free' here
`` Compiling: /src/base/io/ioReadBblif.c
`` Compiling: /src/base/io/ioReadBench.c
`` 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
In function 'Io_ReadPlaNetwork',
inlined from 'Io_ReadPla' at src/base/io/ioReadPla.c:341:12:
src/base/io/ioReadPla.c:451:38: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=]
src/base/io/ioReadPla.c:451:38: note: directive argument in the range [0, 2147483646]
In file included from /usr/include/stdio.h:980,
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 ());
| ~~~~~~~~~~~~~~~~~~
In function 'Io_ReadPlaNetwork',
inlined from 'Io_ReadPla' at src/base/io/ioReadPla.c:341:12:
src/base/io/ioReadPla.c:468:38: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=]
src/base/io/ioReadPla.c:468:38: note: directive argument in the range [0, 2147483646]
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/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
`` 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
In file included from /usr/include/stdio.h:980,
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:964:
/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,
| ^~~~~~~~~~~~~
src/base/abci/abc.c: In function 'Abc_CommandSymFun':
src/base/abci/abc.c:23762:24: warning: '%s' directive output between 0 and 2147483646 bytes may cause result to exceed 'INT_MAX' [-Wformat-overflow=]
src/base/abci/abc.c: In function 'Abc_CommandAbc9Put':
src/base/abci/abc.c:30874:39: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 97 [-Wformat-overflow=]
src/base/abci/abc.c:30874:39: note: directive argument in the range [0, 2147483647]
In file included from /usr/include/stdio.h:980,
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 ());
| ~~~~~~~~~~~~~~~~~~
src/base/abci/abc.c: In function 'Abc_CommandAbc9Cone':
src/base/abci/abc.c:44610:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 999 [-Wformat-overflow=]
src/base/abci/abc.c:44610:30: note: directive argument in the range [0, 2147483646]
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/base/wlc/wlcAbs.c
`` Compiling: /src/base/wlc/wlcAbs2.c
`` Compiling: /src/base/wlc/wlcAbc.c
`` 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
`` Compiling: /src/base/wlc/wlcSim.c
`` Compiling: /src/base/wlc/wlcShow.c
src/base/wlc/wlcNdr.c: In function 'Wlc_NtkFromNdr':
src/base/wlc/wlcNdr.c:495:42: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=]
src/base/wlc/wlcNdr.c:495:42: note: directive argument in the range [1, 2147483647]
In file included from /usr/include/stdio.h:980,
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/wlc/wlcStdin.c
`` Compiling: /src/base/wlc/wlcUif.c
`` Compiling: /src/base/wlc/wlcWin.c
`` Compiling: /src/base/wlc/wlcWriteVer.c
src/base/wlc/wlcNtk.c: In function 'Wlc_NtkShortNames':
src/base/wlc/wlcNtk.c:1303:27: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 98 [-Wformat-overflow=]
src/base/wlc/wlcNtk.c:1303:27: note: directive argument in the range [-2147483647, 2147483647]
In file included from /usr/include/stdio.h:980,
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:27: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 98 [-Wformat-overflow=]
src/base/wlc/wlcNtk.c:1311:27: note: directive argument in the range [-2147483647, 2147483647]
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:27: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 98 [-Wformat-overflow=]
src/base/wlc/wlcNtk.c:1318:27: note: directive argument in the range [0, 2147483646]
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:27: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 98 [-Wformat-overflow=]
src/base/wlc/wlcNtk.c:1325:27: note: directive argument in the range [0, 2147483646]
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:27: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=]
src/base/wlc/wlcNtk.c:1334:27: note: directive argument in the range [1, 2147483646]
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 ());
| ~~~~~~~~~~~~~~~~~~
`` 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
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:62: warning: array subscript 'word {aka long unsigned int}[0]' is partly outside array bounds of 'int[1]' [-Warray-bounds=]
src/base/wlc/wlcReadVer.c: In function 'Wlc_PrsDerive':
src/base/wlc/wlcReadVer.c:985:27: note: object 'Value' of size 4
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:69: warning: array subscript 'word {aka long unsigned int}[0]' is partly outside array bounds of 'int[1]' [-Warray-bounds=]
src/base/wlc/wlcReadVer.c: In function 'Wlc_PrsDerive':
src/base/wlc/wlcReadVer.c:985:27: note: object 'Value' of size 4
`` Compiling: /src/base/wln/wlnRetime.c
`` Compiling: /src/base/wln/wlnRtl.c
`` Compiling: /src/base/wln/wlnWlc.c
`` 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/wln/wlnNdr.c: In function 'Wln_NtkFromNdr':
src/base/wln/wlnNdr.c:259:42: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=]
src/base/wln/wlnNdr.c:259:42: note: directive argument in the range [1, 2147483647]
In file included from /usr/include/stdio.h:980,
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/acb/acbSets.c
`` Compiling: /src/base/acb/acbTest.c
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:66,
inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:355:17:
src/base/wln/wln.h:111:148: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=]
src/base/wln/wln.h: In function 'Wln_WriteVerInt':
src/base/wln/wln.h:51:17: note: while referencing 'Array'
In function 'Wln_ObjFanin',
inlined from 'Wln_ObjFanin2' at src/base/wln/wln.h:115:66,
inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:306:13:
src/base/wln/wln.h:111:148: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=]
src/base/wln/wln.h: In function 'Wln_WriteVerInt':
src/base/wln/wln.h:51:17: note: while referencing 'Array'
In function 'Wln_ObjFanin',
inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:306:13:
src/base/wln/wln.h:111:148: warning: array subscript 3 is above array bounds of 'int[2]' [-Warray-bounds=]
src/base/wln/wln.h: In function 'Wln_WriteVerInt':
src/base/wln/wln.h:51:17: note: while referencing 'Array'
In function 'Wln_ObjFanin',
inlined from 'Wln_ObjFanin2' at src/base/wln/wln.h:115:66,
inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:306:13:
src/base/wln/wln.h:111:148: warning: array subscript 2 is above array bounds of 'int[2]' [-Warray-bounds=]
src/base/wln/wln.h: In function 'Wln_WriteVerInt':
src/base/wln/wln.h:51:17: note: while referencing 'Array'
In function 'Wln_ObjFanin',
inlined from 'Wln_WriteVerInt' at src/base/wln/wlnWriteVer.c:306:13:
src/base/wln/wln.h:111:148: warning: array subscript 3 is above array bounds of 'int[2]' [-Warray-bounds=]
src/base/wln/wln.h: In function 'Wln_WriteVerInt':
src/base/wln/wln.h:51:17: note: while referencing 'Array'
`` Compiling: /src/base/acb/acbUtil.c
`` Compiling: /src/base/bac/bacBlast.c
`` 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
`` Compiling: /src/base/cba/cbaWriteVer.c
`` 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:196:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" []8;;https://gcc.gnu.org/onlinedocs/gcc-14.1.0/gcc/Warning-Options.html#index-Wcpp-Wcpp]8;;]
196 | # 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:196:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" []8;;https://gcc.gnu.org/onlinedocs/gcc-14.1.0/gcc/Warning-Options.html#index-Wcpp-Wcpp]8;;]
196 | # 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
src/map/mio/mioUtils.c: In function 'Mio_LibraryShortNames':
src/map/mio/mioUtils.c:1719:26: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=]
src/map/mio/mioUtils.c:1719:26: note: directive argument in the range [1, 2147483647]
In file included from /usr/include/stdio.h:980,
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 ());
| ~~~~~~~~~~~~~~~~~~
`` Compiling: /src/map/if/ifMan.c
`` Compiling: /src/map/if/ifMap.c
`` 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
`` 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
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=]
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:20: note: in a call to function 'Dau_DecFindSets_int'
`` 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
`` Compiling: /src/map/mpm/mpmCore.c
`` Compiling: /src/map/mpm/mpmDsd.c
`` Compiling: /src/map/mpm/mpmGates.c
src/map/scl/sclLibUtil.c: In function 'Abc_SclShortNames':
src/map/scl/sclLibUtil.c:208:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=]
src/map/scl/sclLibUtil.c:208:30: note: directive argument in the range [0, 2147483646]
src/map/scl/sclLibUtil.c:208:30: note: directive argument in the range [0, 2147483647]
In file included from /usr/include/stdio.h:980,
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/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
`` Compiling: /src/misc/extra/extraUtilMacc.c
`` Compiling: /src/misc/extra/extraUtilMaj.c
`` Compiling: /src/misc/extra/extraUtilMemory.c
src/misc/extra/extraUtilFile.c: In function 'Extra_FileNameAppend':
src/misc/extra/extraUtilFile.c:150:22: warning: '%s' directive writing up to 499 bytes into a region of size between 1 and 500 [-Wformat-overflow=]
In file included from /usr/include/stdio.h:980,
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/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
src/opt/fxu/fxuReduce.c: In function 'Fxu_PreprocessCubePairs':
src/opt/fxu/fxuReduce.c:89:31: warning: argument 1 value '18446744073709551614' exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
In file included from ./src/base/abc/abc.h:30,
from src/opt/fxu/fxuReduce.c:19:
/usr/include/stdlib.h:675:14: note: in a call to allocation function 'calloc' declared here
675 | extern void *calloc (size_t __nmemb, size_t __size)
| ^~~~~~
`` Compiling: /src/opt/rwr/rwrDec.c
`` 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
`` 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
In file included from ./src/misc/vec/vec.h:31,
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/vec/vecInt.h:104:35: warning: argument 1 range [18446744065119617024, 18446744073709551612] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
In file included from ./src/aig/aig/aig.h:30:
/usr/include/stdlib.h: In function 'Bmc_PerformISearchOne':
/usr/include/stdlib.h:672:14: note: in a call to allocation function 'malloc' declared here
672 | extern void *malloc (size_t __size) __THROW __attribute_malloc__
| ^~~~~~
`` 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
`` 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
`` 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
src/bool/bdc/bdcSpfd.c: In function 'Bdc_SpfdDecompose':
src/bool/bdc/bdcSpfd.c:214:28: warning: argument 1 range [18446744071562067968, 18446744073709551615] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
In file included from ./src/bool/kit/kit.h:30,
from src/bool/bdc/bdcInt.h:29,
from src/bool/bdc/bdcSpfd.c:21:
/usr/include/stdlib.h:675:14: note: in a call to allocation function 'calloc' declared here
675 | extern void *calloc (size_t __nmemb, size_t __size)
| ^~~~~~
`` 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
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:214: warning: '*<unknown>' may be used uninitialized [-Wmaybe-uninitialized]
`` 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
`` 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
src/aig/saig/saigIoa.c: In function 'Saig_ObjName':
src/aig/saig/saigIoa.c:58:26: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 14 [-Wformat-overflow=]
src/aig/saig/saigIoa.c:58:26: note: directive argument in the range [0, 2147483647]
In file included from /usr/include/stdio.h:980,
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:26: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 14 [-Wformat-overflow=]
src/aig/saig/saigIoa.c:54:26: note: directive argument in the range [-2147483648, 2147483646]
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:26: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 14 [-Wformat-overflow=]
src/aig/saig/saigIoa.c:56:26: note: directive argument in the range [0, 2147483647]
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:26: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 14 [-Wformat-overflow=]
src/aig/saig/saigIoa.c:52:26: note: directive argument in the range [-2147483648, 2147483646]
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/saigIsoSlow.c
`` 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
In file included from ./src/misc/vec/vec.h:31,
from src/aig/gia/gia.h:34,
from src/aig/gia/giaCone.c:21:
In function 'Vec_IntAlloc',
inlined from 'Gia_ManFindPivots' at src/aig/gia/giaCone.c:400:15:
./src/misc/vec/vecInt.h:104:35: warning: argument 1 range [18446744065119617024, 18446744073709551612] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
In file included from src/aig/gia/gia.h:30:
/usr/include/stdlib.h: In function 'Gia_ManFindPivots':
/usr/include/stdlib.h:672:14: note: in a call to allocation function 'malloc' declared here
672 | extern void *malloc (size_t __size) __THROW __attribute_malloc__
| ^~~~~~
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/vec/vecInt.h:104:35: warning: argument 1 range [18446744065119617024, 18446744073709551612] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
/usr/include/stdlib.h: In function 'Gia_ManFindPivots':
/usr/include/stdlib.h:672:14: note: in a call to allocation function 'malloc' declared here
672 | extern void *malloc (size_t __size) __THROW __attribute_malloc__
| ^~~~~~
`` Compiling: /src/aig/gia/giaCTas.c
`` Compiling: /src/aig/gia/giaCut.c
`` Compiling: /src/aig/gia/giaDecs.c
`` Compiling: /src/aig/gia/giaDeep.c
`` 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=]
In function 'Vec_StrAlloc',
inlined from 'Eso_ManCoverPrint' at src/aig/gia/giaEsop.c:122:12:
./src/misc/vec/vecStr.h:80:36: note: at offset [-2147483648, -4] into destination object of size [16, 9223372036854775807] allocated by 'malloc'
`` 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
`` Compiling: /src/aig/gia/giaQbf.c
In file included from ./src/misc/vec/vec.h:31,
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/vec/vecInt.h:104:35: warning: argument 1 range [18446744065119617028, 18446744073709551612] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
In file included from src/aig/gia/gia.h:30:
/usr/include/stdlib.h: In function 'Gia_ManLutCollect':
/usr/include/stdlib.h:672:14: note: in a call to allocation function 'malloc' declared here
672 | extern void *malloc (size_t __size) __THROW __attribute_malloc__
| ^~~~~~
`` 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
src/aig/gia/giaOf.c: In function 'Of_ManComputeForwardDirconCut':
src/aig/gia/giaOf.c:1324:10: warning: 'Delays' may be used uninitialized [-Wmaybe-uninitialized]
src/aig/gia/giaOf.c:1307:9: note: 'Delays' declared here
`` Compiling: /src/aig/gia/giaRex.c
`` Compiling: /src/aig/gia/giaSatEdge.c
`` Compiling: /src/aig/gia/giaSatLE.c
`` Compiling: /src/aig/gia/giaSatLut.c
`` Compiling: /src/aig/gia/giaSatMap.c
src/aig/gia/giaPat2.c: In function 'Min_ManRemoveItem':
src/aig/gia/giaPat2.c:862:44: warning: 'vLevel' may be used uninitialized [-Wmaybe-uninitialized]
src/aig/gia/giaPat2.c:854:17: note: 'vLevel' was declared here
`` 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
In file included from ./src/misc/vec/vec.h:35,
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/vec/vecVec.h:153:38: warning: argument 1 range [18446744056529682432, 18446744073709551608] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
In file included from src/aig/gia/gia.h:30:
/usr/include/stdlib.h: In function 'Gia_ManStgOneHot':
/usr/include/stdlib.h:672:14: note: in a call to allocation function 'malloc' declared here
672 | extern void *malloc (size_t __size) __THROW __attribute_malloc__
| ^~~~~~
`` Compiling: /src/aig/gia/giaSwitch.c
`` Compiling: /src/aig/gia/giaTim.c
`` 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/llb3Nonlin.c
`` Compiling: /src/bdd/llb/llb3Image.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-2 (Thu Jul 11 19:36:49 2024)
==> Cleaning up...