=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for yosys-0.46 [Makefile.conf] CONFIG := gcc 'abc' comes from a tarball. Continuing. [ 0%] Building abc/abc [ 5%] ABC: Using CC=g++ [ 5%] ABC: Using CXX=g++ [ 5%] ABC: Using AR=ar [ 5%] ABC: Using LD=g++ [ 5%] ABC: Compiling in namespace [ 5%] ABC: Compiling with CUDD [ 5%] ABC: Using libreadline [ 5%] ABC: Using pthreads [ 5%] ABC: Found GCC_VERSION 10.5.0 [ 5%] ABC: Found GCC_MAJOR>=5 [ 5%] ABC: Using explicit -lstdc++ [ 5%] ABC: Using CFLAGS=-O2 -I/usr/include -I/usr/pkg/include/python3.12 -I/usr/pkg/include -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H -DABC_NAMESPACE=abc -fpermissive -x c++ -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -Wno-unused-but-set-variable [ 5%] ABC: `` Generating dependency: /src/map/if/acd/ac_wrapper.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose/AbcGlucose.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose/AbcGlucoseCmd.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose/Glucose.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose/Options.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose/SimpSolver.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose/System.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose2/AbcGlucose2.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose2/AbcGlucoseCmd2.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose2/Glucose2.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose2/Options2.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose2/SimpSolver2.cpp [ 5%] ABC: `` Generating dependency: /src/sat/glucose2/System2.cpp [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaTransduction.cpp [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaTtopt.cpp [ 5%] ABC: `` Generating dependency: /src/base/abc/abcAig.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcBarBuf.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcBlifMv.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcCheck.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcDfs.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcFanio.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcFanOrder.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcFunc.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcHie.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcHieCec.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcHieGia.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcHieNew.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcLatch.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcLib.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcMinBase.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcNames.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcNetlist.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcNtk.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcObj.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcRefs.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcShow.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcSop.c [ 5%] ABC: `` Generating dependency: /src/base/abc/abcUtil.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abc.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcAttach.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcAuto.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcBalance.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcBidec.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcBm.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcBmc.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcCas.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcCascade.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcCollapse.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcCut.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcDar.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcDebug.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcDec.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcDetect.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcDress.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcDress2.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcDress3.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcDsd.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcEco.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcExact.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcExtract.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcFraig.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcFx.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcFxu.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcGen.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcHaig.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcIf.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcIfif.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcIfMux.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcIvy.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcLog.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcLut.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcLutmin.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcMap.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcMerge.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcMfs.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcMini.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcMiter.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcMulti.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcNtbdd.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcNpn.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcNpnSave.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcOrchestration.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcOdc.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcOrder.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcPart.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcPrint.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcProve.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcQbf.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcQuant.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcRec3.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcReconv.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcReach.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcRefactor.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcRenode.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcReorder.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcRestruct.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcResub.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcRewrite.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcRpo.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcRr.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcRunGen.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcSat.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcSaucy.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcScorr.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcSense.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcSpeedup.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcStrash.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcSweep.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcSymm.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcTim.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcTiming.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcUnate.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcUnreach.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcVerify.c [ 5%] ABC: `` Generating dependency: /src/base/abci/abcXsim.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmd.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmdAlias.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmdApi.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmdAuto.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmdFlag.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmdHist.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmdLoad.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmdPlugin.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmdStarter.c [ 5%] ABC: `` Generating dependency: /src/base/cmd/cmdUtils.c [ 5%] ABC: `` Generating dependency: /src/base/io/io.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioJson.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadAiger.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadBaf.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadBblif.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadBench.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadBlif.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadBlifAig.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadBlifMv.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadDsd.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadEdif.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadEqn.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadPla.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadPlaMo.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioReadVerilog.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioUtil.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteAiger.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteBaf.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteBblif.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteBench.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteBlif.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteBlifMv.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteBook.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteCnf.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteDot.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteEqn.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteEdgelist.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteGml.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteList.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWritePla.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteVerilog.c [ 5%] ABC: `` Generating dependency: /src/base/io/ioWriteSmv.c [ 5%] ABC: `` Generating dependency: /src/base/main/main.c [ 5%] ABC: `` Generating dependency: /src/base/main/mainFrame.c [ 5%] ABC: `` Generating dependency: /src/base/main/mainInit.c [ 5%] ABC: `` Generating dependency: /src/base/main/mainLib.c [ 5%] ABC: `` Generating dependency: /src/base/main/mainReal.c [ 5%] ABC: `` Generating dependency: /src/base/main/libSupport.c [ 5%] ABC: `` Generating dependency: /src/base/main/mainUtils.c [ 5%] ABC: `` Generating dependency: /src/base/exor/exor.c [ 5%] ABC: `` Generating dependency: /src/base/exor/exorBits.c [ 5%] ABC: `` Generating dependency: /src/base/exor/exorCubes.c [ 5%] ABC: `` Generating dependency: /src/base/exor/exorLink.c [ 5%] ABC: `` Generating dependency: /src/base/exor/exorList.c [ 5%] ABC: `` Generating dependency: /src/base/exor/exorUtil.c [ 5%] ABC: `` Generating dependency: /src/base/ver/verCore.c [ 5%] ABC: `` Generating dependency: /src/base/ver/verFormula.c [ 5%] ABC: `` Generating dependency: /src/base/ver/verParse.c [ 5%] ABC: `` Generating dependency: /src/base/ver/verStream.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcAbs.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcAbs2.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcAbc.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcPth.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcBlast.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcCom.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcGraft.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcJson.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcMem.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcNdr.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcNtk.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcReadSmt.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcReadVer.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcSim.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcShow.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcStdin.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcUif.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcWin.c [ 5%] ABC: `` Generating dependency: /src/base/wlc/wlcWriteVer.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wln.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnBlast.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnCom.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnGuide.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnMem.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnNdr.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnNtk.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnObj.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnRead.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnRetime.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnRtl.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnWlc.c [ 5%] ABC: `` Generating dependency: /src/base/wln/wlnWriteVer.c [ 5%] ABC: `` Generating dependency: /src/base/acb/acbAbc.c [ 5%] ABC: `` Generating dependency: /src/base/acb/acbAig.c [ 5%] ABC: `` Generating dependency: /src/base/acb/acbCom.c [ 5%] ABC: `` Generating dependency: /src/base/acb/acbFunc.c [ 5%] ABC: `` Generating dependency: /src/base/acb/acbMfs.c [ 5%] ABC: `` Generating dependency: /src/base/acb/acbPush.c [ 5%] ABC: `` Generating dependency: /src/base/acb/acbSets.c [ 5%] ABC: `` Generating dependency: /src/base/acb/acbTest.c [ 5%] ABC: `` Generating dependency: /src/base/acb/acbUtil.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacBlast.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacBac.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacCom.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacLib.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacNtk.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacPrsBuild.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacPrsTrans.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacPtr.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacPtrAbc.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacReadBlif.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacReadSmt.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacReadVer.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacWriteBlif.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacWriteSmt.c [ 5%] ABC: `` Generating dependency: /src/base/bac/bacWriteVer.c [ 5%] ABC: `` Generating dependency: /src/base/cba/cbaBlast.c [ 5%] ABC: `` Generating dependency: /src/base/cba/cbaCba.c [ 5%] ABC: `` Generating dependency: /src/base/cba/cbaCom.c [ 5%] ABC: `` Generating dependency: /src/base/cba/cbaNtk.c [ 5%] ABC: `` Generating dependency: /src/base/cba/cbaReadBlif.c [ 5%] ABC: `` Generating dependency: /src/base/cba/cbaReadVer.c [ 5%] ABC: `` Generating dependency: /src/base/cba/cbaWriteBlif.c [ 5%] ABC: `` Generating dependency: /src/base/cba/cbaWriteVer.c [ 5%] ABC: `` Generating dependency: /src/base/pla/plaCom.c [ 5%] ABC: `` Generating dependency: /src/base/pla/plaHash.c [ 5%] ABC: `` Generating dependency: /src/base/pla/plaMan.c [ 5%] ABC: `` Generating dependency: /src/base/pla/plaMerge.c [ 5%] ABC: `` Generating dependency: /src/base/pla/plaSimple.c [ 5%] ABC: `` Generating dependency: /src/base/pla/plaRead.c [ 5%] ABC: `` Generating dependency: /src/base/pla/plaWrite.c [ 5%] ABC: `` Generating dependency: /src/base/test/test.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapper.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperCanon.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperCore.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperCreate.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperCut.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperCutUtils.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperLib.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperMatch.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperRefs.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperSuper.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperSwitch.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperTable.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperTime.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperTree.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperTruth.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperUtils.c [ 5%] ABC: `` Generating dependency: /src/map/mapper/mapperVec.c [ 5%] ABC: `` Generating dependency: /src/map/mio/mio.c [ 5%] ABC: `` Generating dependency: /src/map/mio/mioApi.c [ 5%] ABC: `` Generating dependency: /src/map/mio/mioFunc.c [ 5%] ABC: `` Generating dependency: /src/map/mio/mioParse.c [ 5%] ABC: `` Generating dependency: /src/map/mio/mioRead.c [ 5%] ABC: `` Generating dependency: /src/map/mio/mioSop.c [ 5%] ABC: `` Generating dependency: /src/map/mio/mioUtils.c [ 5%] ABC: `` Generating dependency: /src/map/super/super.c [ 5%] ABC: `` Generating dependency: /src/map/super/superAnd.c [ 5%] ABC: `` Generating dependency: /src/map/super/superGate.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifCom.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifCache.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifCore.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifCut.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifData2.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifDec07.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifDec08.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifDec10.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifDec16.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifDec66.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifDec75.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifDelay.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifDsd.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifLibBox.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifLibLut.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifMan.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifMap.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifMatch2.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifReduce.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifSat.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifSelect.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifSeq.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifTest.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifTime.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifTruth.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifTune.c [ 5%] ABC: `` Generating dependency: /src/map/if/ifUtil.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapCore.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapGraph.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapLib.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapLiberty.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapMan.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapMatch.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapMerge.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapOutput.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapParse.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapPerm.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapRead.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapRule.c [ 5%] ABC: `` Generating dependency: /src/map/amap/amapUniq.c [ 5%] ABC: `` Generating dependency: /src/map/cov/covBuild.c [ 5%] ABC: `` Generating dependency: /src/map/cov/covCore.c [ 5%] ABC: `` Generating dependency: /src/map/cov/covMan.c [ 5%] ABC: `` Generating dependency: /src/map/cov/covMinEsop.c [ 5%] ABC: `` Generating dependency: /src/map/cov/covMinMan.c [ 5%] ABC: `` Generating dependency: /src/map/cov/covMinSop.c [ 5%] ABC: `` Generating dependency: /src/map/cov/covMinUtil.c [ 5%] ABC: `` Generating dependency: /src/map/scl/scl.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclBuffer.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclBufSize.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclDnsize.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclLiberty.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclLibScl.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclLibUtil.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclLoad.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclSize.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclUpsize.c [ 5%] ABC: `` Generating dependency: /src/map/scl/sclUtil.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmAbc.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmCore.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmDsd.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmGates.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmLib.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmMan.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmMap.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmMig.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmPre.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmTruth.c [ 5%] ABC: `` Generating dependency: /src/map/mpm/mpmUtil.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilBitMatrix.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilCanon.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilCfs.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilCube.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilDsd.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilEnum.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilFile.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilGen.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilMacc.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilMaj.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilMemory.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilMisc.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilMult.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilPath.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilPerm.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilProgress.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilReader.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilSupp.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilTruth.c [ 5%] ABC: `` Generating dependency: /src/misc/extra/extraUtilUtil.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcApi.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcCompare.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcContain.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcCover.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcCube.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcDivide.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcDivisor.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcList.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcLits.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcMan.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcOpAlg.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcOpBool.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcPrint.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcSort.c [ 5%] ABC: `` Generating dependency: /src/misc/mvc/mvcUtils.c [ 5%] ABC: `` Generating dependency: /src/misc/st/st.c [ 5%] ABC: `` Generating dependency: /src/misc/st/stmm.c [ 5%] ABC: `` Generating dependency: /src/misc/util/utilBridge.c [ 5%] ABC: `` Generating dependency: /src/misc/util/utilCex.c [ 5%] ABC: `` Generating dependency: /src/misc/util/utilColor.c [ 5%] ABC: `` Generating dependency: /src/misc/util/utilFile.c [ 5%] ABC: `` Generating dependency: /src/misc/util/utilIsop.c [ 5%] ABC: `` Generating dependency: /src/misc/util/utilNam.c [ 5%] ABC: `` Generating dependency: /src/misc/util/utilPth.c [ 5%] ABC: `` Generating dependency: /src/misc/util/utilSignal.c [ 5%] ABC: `` Generating dependency: /src/misc/util/utilSort.c [ 5%] ABC: `` Generating dependency: /src/misc/nm/nmApi.c [ 5%] ABC: `` Generating dependency: /src/misc/nm/nmTable.c [ 5%] ABC: `` Generating dependency: /src/misc/tim/timBox.c [ 5%] ABC: `` Generating dependency: /src/misc/tim/timDump.c [ 5%] ABC: `` Generating dependency: /src/misc/tim/timMan.c [ 5%] ABC: `` Generating dependency: /src/misc/tim/timTime.c [ 5%] ABC: `` Generating dependency: /src/misc/tim/timTrav.c [ 5%] ABC: `` Generating dependency: /src/misc/bzlib/blocksort.c [ 5%] ABC: `` Generating dependency: /src/misc/bzlib/bzlib.c [ 5%] ABC: `` Generating dependency: /src/misc/bzlib/compress.c [ 5%] ABC: `` Generating dependency: /src/misc/bzlib/crctable.c [ 5%] ABC: `` Generating dependency: /src/misc/bzlib/decompress.c [ 5%] ABC: `` Generating dependency: /src/misc/bzlib/huffman.c [ 5%] ABC: `` Generating dependency: /src/misc/bzlib/randtable.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/adler32.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/compress_.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/crc32.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/deflate.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/gzclose.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/gzlib.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/gzread.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/gzwrite.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/infback.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/inffast.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/inflate.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/inftrees.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/trees.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/uncompr.c [ 5%] ABC: `` Generating dependency: /src/misc/zlib/zutil.c [ 5%] ABC: `` Generating dependency: /src/misc/mem/mem.c [ 5%] ABC: `` Generating dependency: /src/misc/bar/bar.c [ 5%] ABC: `` Generating dependency: /src/misc/bbl/bblif.c [ 5%] ABC: `` Generating dependency: /src/misc/parse/parseEqn.c [ 5%] ABC: `` Generating dependency: /src/misc/parse/parseStack.c [ 5%] ABC: `` Generating dependency: /src/opt/cut/cutApi.c [ 5%] ABC: `` Generating dependency: /src/opt/cut/cutCut.c [ 5%] ABC: `` Generating dependency: /src/opt/cut/cutMan.c [ 5%] ABC: `` Generating dependency: /src/opt/cut/cutMerge.c [ 5%] ABC: `` Generating dependency: /src/opt/cut/cutNode.c [ 5%] ABC: `` Generating dependency: /src/opt/cut/cutOracle.c [ 5%] ABC: `` Generating dependency: /src/opt/cut/cutPre22.c [ 5%] ABC: `` Generating dependency: /src/opt/cut/cutSeq.c [ 5%] ABC: `` Generating dependency: /src/opt/cut/cutTruth.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxu.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuCreate.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuHeapD.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuHeapS.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuList.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuMatrix.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuPair.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuPrint.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuReduce.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuSelect.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuSingle.c [ 5%] ABC: `` Generating dependency: /src/opt/fxu/fxuUpdate.c [ 5%] ABC: `` Generating dependency: /src/opt/fxch/Fxch.c [ 5%] ABC: `` Generating dependency: /src/opt/fxch/FxchDiv.c [ 5%] ABC: `` Generating dependency: /src/opt/fxch/FxchMan.c [ 5%] ABC: `` Generating dependency: /src/opt/fxch/FxchSCHashTable.c [ 5%] ABC: `` Generating dependency: /src/opt/rwr/rwrDec.c [ 5%] ABC: `` Generating dependency: /src/opt/rwr/rwrEva.c [ 5%] ABC: `` Generating dependency: /src/opt/rwr/rwrExp.c [ 5%] ABC: `` Generating dependency: /src/opt/rwr/rwrLib.c [ 5%] ABC: `` Generating dependency: /src/opt/rwr/rwrMan.c [ 5%] ABC: `` Generating dependency: /src/opt/rwr/rwrPrint.c [ 5%] ABC: `` Generating dependency: /src/opt/rwr/rwrUtil.c [ 5%] ABC: `` Generating dependency: /src/opt/mfs/mfsCore.c [ 5%] ABC: `` Generating dependency: /src/opt/mfs/mfsDiv.c [ 5%] ABC: `` Generating dependency: /src/opt/mfs/mfsInter.c [ 5%] ABC: `` Generating dependency: /src/opt/mfs/mfsMan.c [ 5%] ABC: `` Generating dependency: /src/opt/mfs/mfsResub.c [ 5%] ABC: `` Generating dependency: /src/opt/mfs/mfsSat.c [ 5%] ABC: `` Generating dependency: /src/opt/mfs/mfsStrash.c [ 5%] ABC: `` Generating dependency: /src/opt/mfs/mfsWin.c [ 5%] ABC: `` Generating dependency: /src/opt/sim/simMan.c [ 5%] ABC: `` Generating dependency: /src/opt/sim/simSeq.c [ 5%] ABC: `` Generating dependency: /src/opt/sim/simSupp.c [ 5%] ABC: `` Generating dependency: /src/opt/sim/simSwitch.c [ 5%] ABC: `` Generating dependency: /src/opt/sim/simSym.c [ 5%] ABC: `` Generating dependency: /src/opt/sim/simSymSat.c [ 5%] ABC: `` Generating dependency: /src/opt/sim/simSymSim.c [ 5%] ABC: `` Generating dependency: /src/opt/sim/simSymStr.c [ 5%] ABC: `` Generating dependency: /src/opt/sim/simUtils.c [ 5%] ABC: `` Generating dependency: /src/opt/ret/retArea.c [ 5%] ABC: `` Generating dependency: /src/opt/ret/retCore.c [ 5%] ABC: `` Generating dependency: /src/opt/ret/retDelay.c [ 5%] ABC: `` Generating dependency: /src/opt/ret/retFlow.c [ 5%] ABC: `` Generating dependency: /src/opt/ret/retIncrem.c [ 5%] ABC: `` Generating dependency: /src/opt/ret/retInit.c [ 5%] ABC: `` Generating dependency: /src/opt/ret/retLvalue.c [ 5%] ABC: `` Generating dependency: /src/opt/fret/fretMain.c [ 5%] ABC: `` Generating dependency: /src/opt/fret/fretFlow.c [ 5%] ABC: `` Generating dependency: /src/opt/fret/fretInit.c [ 5%] ABC: `` Generating dependency: /src/opt/fret/fretTime.c [ 5%] ABC: `` Generating dependency: /src/opt/res/resCore.c [ 5%] ABC: `` Generating dependency: /src/opt/res/resDivs.c [ 5%] ABC: `` Generating dependency: /src/opt/res/resFilter.c [ 5%] ABC: `` Generating dependency: /src/opt/res/resSat.c [ 5%] ABC: `` Generating dependency: /src/opt/res/resSim.c [ 5%] ABC: `` Generating dependency: /src/opt/res/resStrash.c [ 5%] ABC: `` Generating dependency: /src/opt/res/resWin.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkCore.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkAbcDec.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkAbcMux.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkAbcDsd.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkAbcUtil.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkCut.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkMan.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkMap.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkMulti.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkMux.c [ 5%] ABC: `` Generating dependency: /src/opt/lpk/lpkSets.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkAig.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkCheck.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkBidec.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkDfs.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkFanio.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkFlow.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkMan.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkMap.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkMerge.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkObj.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkSpeedup.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkStrash.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkTiming.c [ 5%] ABC: `` Generating dependency: /src/opt/nwk/nwkUtil.c [ 5%] ABC: `` Generating dependency: /src/opt/rwt/rwtDec.c [ 5%] ABC: `` Generating dependency: /src/opt/rwt/rwtMan.c [ 5%] ABC: `` Generating dependency: /src/opt/rwt/rwtUtil.c [ 5%] ABC: `` Generating dependency: /src/opt/cgt/cgtAig.c [ 5%] ABC: `` Generating dependency: /src/opt/cgt/cgtCore.c [ 5%] ABC: `` Generating dependency: /src/opt/cgt/cgtDecide.c [ 5%] ABC: `` Generating dependency: /src/opt/cgt/cgtMan.c [ 5%] ABC: `` Generating dependency: /src/opt/cgt/cgtSat.c [ 5%] ABC: `` Generating dependency: /src/opt/csw/cswCore.c [ 5%] ABC: `` Generating dependency: /src/opt/csw/cswCut.c [ 5%] ABC: `` Generating dependency: /src/opt/csw/cswMan.c [ 5%] ABC: `` Generating dependency: /src/opt/csw/cswTable.c [ 5%] ABC: `` Generating dependency: /src/opt/dar/darBalance.c [ 5%] ABC: `` Generating dependency: /src/opt/dar/darCore.c [ 5%] ABC: `` Generating dependency: /src/opt/dar/darCut.c [ 5%] ABC: `` Generating dependency: /src/opt/dar/darData.c [ 5%] ABC: `` Generating dependency: /src/opt/dar/darLib.c [ 5%] ABC: `` Generating dependency: /src/opt/dar/darMan.c [ 5%] ABC: `` Generating dependency: /src/opt/dar/darPrec.c [ 5%] ABC: `` Generating dependency: /src/opt/dar/darRefact.c [ 5%] ABC: `` Generating dependency: /src/opt/dar/darScript.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauCanon.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauCore.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauCount.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauDivs.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauDsd.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauEnum.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauGia.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauMerge.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauNonDsd.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauNpn.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauNpn2.c [ 5%] ABC: `` Generating dependency: /src/opt/dau/dauTree.c [ 5%] ABC: `` Generating dependency: /src/opt/dsc/dsc.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmArea.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmCnf.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmCore.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmDec.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmLib.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmNtk.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmSat.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmTim.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmMit.c [ 5%] ABC: `` Generating dependency: /src/opt/sfm/sfmWin.c [ 5%] ABC: `` Generating dependency: /src/opt/sbd/sbd.c [ 5%] ABC: `` Generating dependency: /src/opt/sbd/sbdCnf.c [ 5%] ABC: `` Generating dependency: /src/opt/sbd/sbdCore.c [ 5%] ABC: `` Generating dependency: /src/opt/sbd/sbdCut.c [ 5%] ABC: `` Generating dependency: /src/opt/sbd/sbdCut2.c [ 5%] ABC: `` Generating dependency: /src/opt/sbd/sbdLut.c [ 5%] ABC: `` Generating dependency: /src/opt/sbd/sbdPath.c [ 5%] ABC: `` Generating dependency: /src/opt/sbd/sbdSat.c [ 5%] ABC: `` Generating dependency: /src/opt/sbd/sbdWin.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satMem.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satInter.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satInterA.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satInterB.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satInterP.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satProof.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satSolver.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satSolver2.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satSolver2i.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satSolver3.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satStore.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satTrace.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satTruth.c [ 5%] ABC: `` Generating dependency: /src/sat/bsat/satUtil.c [ 5%] ABC: `` Generating dependency: /src/sat/xsat/xsatSolver.c [ 5%] ABC: `` Generating dependency: /src/sat/xsat/xsatSolverAPI.c [ 5%] ABC: `` Generating dependency: /src/sat/xsat/xsatCnfReader.c [ 5%] ABC: `` Generating dependency: /src/sat/satoko/solver.c [ 5%] ABC: `` Generating dependency: /src/sat/satoko/solver_api.c [ 5%] ABC: `` Generating dependency: /src/sat/satoko/cnf_reader.c [ 5%] ABC: `` Generating dependency: /src/sat/csat/csat_apis.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatActivity.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatClause.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatClauseVec.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatMem.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatOrderH.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatQueue.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatRead.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatSolverApi.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatSolverCore.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatSolverIo.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatSolverSearch.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatSort.c [ 5%] ABC: `` Generating dependency: /src/sat/msat/msatVec.c [ 5%] ABC: `` Generating dependency: /src/sat/cnf/cnfCore.c [ 5%] ABC: `` Generating dependency: /src/sat/cnf/cnfCut.c [ 5%] ABC: `` Generating dependency: /src/sat/cnf/cnfData.c [ 5%] ABC: `` Generating dependency: /src/sat/cnf/cnfFast.c [ 5%] ABC: `` Generating dependency: /src/sat/cnf/cnfMan.c [ 5%] ABC: `` Generating dependency: /src/sat/cnf/cnfMap.c [ 5%] ABC: `` Generating dependency: /src/sat/cnf/cnfPost.c [ 5%] ABC: `` Generating dependency: /src/sat/cnf/cnfUtil.c [ 5%] ABC: `` Generating dependency: /src/sat/cnf/cnfWrite.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcBCore.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcBmc.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcBmc2.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcBmc3.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcBmcAnd.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcBmci.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcBmcG.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcBmcS.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcCexCare.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcCexCut.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcCexDepth.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcCexMin1.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcCexMin2.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcCexTools.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcChain.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcClp.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcEco.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcExpand.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcFault.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcFx.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcGen.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcICheck.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcInse.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcLoad.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcMaj.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcMaj2.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcMaj3.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcMaxi.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcMesh.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcMesh2.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcMulti.c [ 5%] ABC: `` Generating dependency: /src/sat/bmc/bmcUnroll.c [ 5%] ABC: `` Generating dependency: /src/bool/bdc/bdcCore.c [ 5%] ABC: `` Generating dependency: /src/bool/bdc/bdcDec.c [ 5%] ABC: `` Generating dependency: /src/bool/bdc/bdcSpfd.c [ 5%] ABC: `` Generating dependency: /src/bool/bdc/bdcTable.c [ 5%] ABC: `` Generating dependency: /src/bool/dec/decAbc.c [ 5%] ABC: `` Generating dependency: /src/bool/dec/decFactor.c [ 5%] ABC: `` Generating dependency: /src/bool/dec/decMan.c [ 5%] ABC: `` Generating dependency: /src/bool/dec/decPrint.c [ 5%] ABC: `` Generating dependency: /src/bool/dec/decUtil.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitAig.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitBdd.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitCloud.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/cloud.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitDsd.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitFactor.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitGraph.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitHop.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitIsop.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitPla.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitSop.c [ 5%] ABC: `` Generating dependency: /src/bool/kit/kitTruth.c [ 5%] ABC: `` Generating dependency: /src/bool/lucky/lucky.c [ 5%] ABC: `` Generating dependency: /src/bool/lucky/luckyFast16.c [ 5%] ABC: `` Generating dependency: /src/bool/lucky/luckyFast6.c [ 5%] ABC: `` Generating dependency: /src/bool/lucky/luckyRead.c [ 5%] ABC: `` Generating dependency: /src/bool/lucky/luckySimple.c [ 5%] ABC: `` Generating dependency: /src/bool/lucky/luckySwapIJ.c [ 5%] ABC: `` Generating dependency: /src/bool/lucky/luckySwap.c [ 5%] ABC: `` Generating dependency: /src/bool/rsb/rsbDec6.c [ 5%] ABC: `` Generating dependency: /src/bool/rsb/rsbMan.c [ 5%] ABC: `` Generating dependency: /src/bool/rpo/rpo.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrCnf.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrCore.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrIncr.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrInv.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrMan.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrSat.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrTsim.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrTsim2.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrTsim3.c [ 5%] ABC: `` Generating dependency: /src/proof/pdr/pdrUtil.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absDup.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absGla.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absGlaOld.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absIter.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absOldCex.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absOldRef.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absOldSat.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absOldSim.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absOut.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absPth.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absRef.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absRefSelect.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absRpm.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absRpmOld.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absVta.c [ 5%] ABC: `` Generating dependency: /src/proof/abs/absUtil.c [ 5%] ABC: `` Generating dependency: /src/proof/live/liveness.c [ 5%] ABC: `` Generating dependency: /src/proof/live/liveness_sim.c [ 5%] ABC: `` Generating dependency: /src/proof/live/ltl_parser.c [ 5%] ABC: `` Generating dependency: /src/proof/live/kliveness.c [ 5%] ABC: `` Generating dependency: /src/proof/live/monotone.c [ 5%] ABC: `` Generating dependency: /src/proof/live/disjunctiveMonotone.c [ 5%] ABC: `` Generating dependency: /src/proof/live/arenaViolation.c [ 5%] ABC: `` Generating dependency: /src/proof/live/kLiveConstraints.c [ 5%] ABC: `` Generating dependency: /src/proof/live/combination.c [ 5%] ABC: `` Generating dependency: /src/proof/ssc/sscClass.c [ 5%] ABC: `` Generating dependency: /src/proof/ssc/sscCore.c [ 5%] ABC: `` Generating dependency: /src/proof/ssc/sscSat.c [ 5%] ABC: `` Generating dependency: /src/proof/ssc/sscSim.c [ 5%] ABC: `` Generating dependency: /src/proof/ssc/sscUtil.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intCheck.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intContain.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intCore.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intCtrex.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intDup.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intFrames.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intInter.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intM114.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intMan.c [ 5%] ABC: `` Generating dependency: /src/proof/int/intUtil.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecCec.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecChoice.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecClass.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecCore.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecCorr.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecIso.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecMan.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecPat.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecProve.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSat.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSatG.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSatG2.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSatG3.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSeq.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSim.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSolve.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSolveG.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSplit.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSynth.c [ 5%] ABC: `` Generating dependency: /src/proof/cec/cecSweep.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecCl.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecCore.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecCo.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecBo.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecRe.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecPa.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecPo.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecPool.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecCover.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecFadds.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecMult.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecNorm.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecOrder.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecPolyn.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecSt.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecTree.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecUtil.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acec2Mult.c [ 5%] ABC: `` Generating dependency: /src/proof/acec/acecXor.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchAig.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchChoice.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchClass.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchCnf.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchCore.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchMan.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchSat.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchSim.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchSimSat.c [ 5%] ABC: `` Generating dependency: /src/proof/dch/dchSweep.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigApi.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigCanon.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigFanout.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigFeed.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigMan.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigMem.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigNode.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigPrime.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigSat.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigTable.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigUtil.c [ 5%] ABC: `` Generating dependency: /src/proof/fraig/fraigVec.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraBmc.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraCec.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraClass.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraClau.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraClaus.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraCnf.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraCore.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraHot.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraImp.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraInd.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraIndVer.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraLcr.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraMan.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraPart.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraSat.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraSec.c [ 5%] ABC: `` Generating dependency: /src/proof/fra/fraSim.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswAig.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswBmc.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswClass.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswCnf.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswConstr.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswCore.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswDyn.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswFilter.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswIslands.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswLcorr.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswMan.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswPart.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswPairs.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswRarity.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswSat.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswSemi.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswSim.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswSimSat.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswSweep.c [ 5%] ABC: `` Generating dependency: /src/proof/ssw/sswUnique.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigCheck.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigCanon.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigCuts.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigDfs.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigDup.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigFanout.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigFrames.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigInter.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigJust.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigMan.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigMem.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigMffc.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigObj.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigOper.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigOrder.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigPack.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigPart.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigPartReg.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigPartSat.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigRepr.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigRet.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigRetF.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigScl.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigShow.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigSplit.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigTable.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigTiming.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigTruth.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigTsim.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigUtil.c [ 5%] ABC: `` Generating dependency: /src/aig/aig/aigWin.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigCone.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigConstr.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigConstr2.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigDual.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigDup.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigInd.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigIoa.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigIso.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigIsoFast.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigIsoSlow.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigMiter.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigOutDec.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigPhase.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigRetFwd.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigRetMin.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigRetStep.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigScl.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigSimFast.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigSimMv.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigSimSeq.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigStrSim.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigSwitch.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigSynch.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigTempor.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigTrans.c [ 5%] ABC: `` Generating dependency: /src/aig/saig/saigWnd.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaAig.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaAgi.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaAiger.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaAigerExt.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaBalAig.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaBalLut.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaBalMap.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaBidec.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCCof.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCex.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaClp.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCof.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCone.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCSatOld.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCSat.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCSat2.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCSat3.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCSatP.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCTas.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaCut.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaDecs.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaDeep.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaDfs.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaDup.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaEdge.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaEmbed.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaEnable.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaEquiv.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaEra.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaEra2.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaEsop.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaExist.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaFalse.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaFanout.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaForce.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaFrames.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaFront.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaFx.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaGen.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaGig.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaGlitch.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaHash.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaIf.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaIff.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaIiff.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaIso.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaIso2.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaIso3.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaJf.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaKf.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaLf.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaMf.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaMan.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaMem.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaMfs.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaMini.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaMinLut.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaMinLut2.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaMulFind.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaMuxes.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaNf.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaOf.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaPack.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaPat.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaPat2.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaPf.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaQbf.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaReshape1.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaReshape2.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaResub.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaResub2.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaResub3.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaResub6.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaRetime.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaRex.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSatEdge.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSatLE.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSatLut.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSatMap.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSatoko.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSatSyn.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSat3.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaScl.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaScript.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaShow.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaShrink.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaShrink6.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaShrink7.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSif.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSim.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSim2.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSimBase.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSort.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSpeedup.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSplit.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaStg.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaStoch.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaStr.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSupMin.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSupp.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSupps.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSweep.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSweeper.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaSwitch.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaTim.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaTis.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaTranStoch.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaTruth.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaTsim.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaUnate.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaUtil.c [ 5%] ABC: `` Generating dependency: /src/aig/gia/giaBound.c [ 5%] ABC: `` Generating dependency: /src/aig/ioa/ioaReadAig.c [ 5%] ABC: `` Generating dependency: /src/aig/ioa/ioaWriteAig.c [ 5%] ABC: `` Generating dependency: /src/aig/ioa/ioaUtil.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyBalance.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyCanon.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyCheck.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyCut.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyCutTrav.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyDfs.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyDsd.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyFanout.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyFastMap.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyFraig.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyHaig.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyMan.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyMem.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyMulti.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyObj.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyOper.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyResyn.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyRwr.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivySeq.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyShow.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyTable.c [ 5%] ABC: `` Generating dependency: /src/aig/ivy/ivyUtil.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopBalance.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopCheck.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopDfs.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopMan.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopMem.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopObj.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopOper.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopTable.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopTruth.c [ 5%] ABC: `` Generating dependency: /src/aig/hop/hopUtil.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAPI.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAddAbs.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAddApply.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAddFind.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAddInv.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAddIte.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAddNeg.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAddWalsh.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAndAbs.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddAnneal.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddApa.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddApprox.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddBddAbs.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddBddCorr.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddBddIte.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddBridge.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddCache.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddCheck.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddClip.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddCof.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddCompose.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddDecomp.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddEssent.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddExact.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddExport.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddGenCof.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddGenetic.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddGroup.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddHarwell.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddInit.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddInteract.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddLCache.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddLevelQ.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddLinear.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddLiteral.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddMatMult.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddPriority.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddRead.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddRef.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddReorder.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddSat.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddSign.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddSolve.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddSplit.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddSubsetHB.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddSubsetSP.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddSymmetry.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddTable.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddUtil.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddWindow.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddCount.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddFuncs.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddGroup.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddIsop.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddLin.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddMisc.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddPort.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddReord.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddSetop.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddSymm.c [ 5%] ABC: `` Generating dependency: /src/bdd/cudd/cuddZddUtil.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddAuto.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddCas.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddImage.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddKmap.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddMaxMin.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddMisc.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddSet.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddSymm.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddThresh.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddTime.c [ 5%] ABC: `` Generating dependency: /src/bdd/extrab/extraBddUnate.c [ 5%] ABC: `` Generating dependency: /src/bdd/dsd/dsdApi.c [ 5%] ABC: `` Generating dependency: /src/bdd/dsd/dsdCheck.c [ 5%] ABC: `` Generating dependency: /src/bdd/dsd/dsdLocal.c [ 5%] ABC: `` Generating dependency: /src/bdd/dsd/dsdMan.c [ 5%] ABC: `` Generating dependency: /src/bdd/dsd/dsdProc.c [ 5%] ABC: `` Generating dependency: /src/bdd/dsd/dsdTree.c [ 5%] ABC: `` Generating dependency: /src/bdd/epd/epd.c [ 5%] ABC: `` Generating dependency: /src/bdd/mtr/mtrBasic.c [ 5%] ABC: `` Generating dependency: /src/bdd/mtr/mtrGroup.c [ 5%] ABC: `` Generating dependency: /src/bdd/reo/reoApi.c [ 5%] ABC: `` Generating dependency: /src/bdd/reo/reoCore.c [ 5%] ABC: `` Generating dependency: /src/bdd/reo/reoProfile.c [ 5%] ABC: `` Generating dependency: /src/bdd/reo/reoShuffle.c [ 5%] ABC: `` Generating dependency: /src/bdd/reo/reoSift.c [ 5%] ABC: `` Generating dependency: /src/bdd/reo/reoSwap.c [ 5%] ABC: `` Generating dependency: /src/bdd/reo/reoTransfer.c [ 5%] ABC: `` Generating dependency: /src/bdd/reo/reoUnits.c [ 5%] ABC: `` Generating dependency: /src/bdd/cas/casCore.c [ 5%] ABC: `` Generating dependency: /src/bdd/cas/casDec.c [ 5%] ABC: `` Generating dependency: /src/bdd/bbr/bbrCex.c [ 5%] ABC: `` Generating dependency: /src/bdd/bbr/bbrImage.c [ 5%] ABC: `` Generating dependency: /src/bdd/bbr/bbrNtbdd.c [ 5%] ABC: `` Generating dependency: /src/bdd/bbr/bbrReach.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Cluster.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Constr.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Core.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Group.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Hint.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Man.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Matrix.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Pivot.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Reach.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb1Sched.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb2Bad.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb2Core.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb2Driver.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb2Dump.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb2Flow.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb2Image.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb3Image.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb3Nonlin.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb4Cex.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb4Image.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb4Nonlin.c [ 5%] ABC: `` Generating dependency: /src/bdd/llb/llb4Sweep.c [ 5%] ABC: Using CC=g++ [ 5%] ABC: Using CXX=g++ [ 5%] ABC: Using AR=ar [ 5%] ABC: Using LD=g++ [ 5%] ABC: Compiling in namespace [ 5%] ABC: Compiling with CUDD [ 5%] ABC: Using libreadline [ 5%] ABC: Using pthreads [ 5%] ABC: Found GCC_VERSION 10.5.0 [ 5%] ABC: Found GCC_MAJOR>=5 [ 5%] ABC: Using explicit -lstdc++ [ 5%] ABC: Using CFLAGS=-O2 -I/usr/include -I/usr/pkg/include/python3.12 -I/usr/pkg/include -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DABC_USE_STDINT_H -DABC_NAMESPACE=abc -fpermissive -x c++ -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -Wno-unused-but-set-variable [ 5%] ABC: `` Compiling: /src/map/if/acd/ac_wrapper.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose/AbcGlucose.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose/AbcGlucoseCmd.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose/Glucose.cpp src/sat/glucose/Glucose.cpp: In member function 'void abc::Gluco::Solver::printIncrementalStats()': src/sat/glucose/Glucose.cpp:1189:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1189 | printf("c restarts : %ld\n", starts); | ~~^ ~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose/Glucose.cpp:1190:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1190 | printf("c nb ReduceDB : %ld\n", nbReduceDB); | ~~^ ~~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose/Glucose.cpp:1191:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1191 | printf("c nb removed Clauses : %ld\n", nbRemovedClauses); | ~~^ ~~~~~~~~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose/Glucose.cpp:1192:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1192 | printf("c nb learnts DL2 : %ld\n", nbDL2); | ~~^ ~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose/Glucose.cpp:1193:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1193 | printf("c nb learnts size 2 : %ld\n", nbBin); | ~~^ ~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose/Glucose.cpp:1194:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1194 | printf("c nb learnts size 1 : %ld\n", nbUn); | ~~^ ~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose/Glucose.cpp:1196:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1196 | printf("c conflicts : %ld\n", conflicts); | ~~^ ~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose/Glucose.cpp:1197:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1197 | printf("c decisions : %ld\n", decisions); | ~~^ ~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose/Glucose.cpp:1198:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1198 | printf("c propagations : %ld\n", propagations); | ~~^ ~~~~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld [ 5%] ABC: `` Compiling: /src/sat/glucose/Options.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose/SimpSolver.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose/System.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose2/AbcGlucose2.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose2/AbcGlucoseCmd2.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose2/Glucose2.cpp src/sat/glucose2/Glucose2.cpp: In member function 'void abc::Gluco2::Solver::printIncrementalStats()': src/sat/glucose2/Glucose2.cpp:1371:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1371 | printf("c restarts : %ld\n", starts); | ~~^ ~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose2/Glucose2.cpp:1372:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1372 | printf("c nb ReduceDB : %ld\n", nbReduceDB); | ~~^ ~~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose2/Glucose2.cpp:1373:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1373 | printf("c nb removed Clauses : %ld\n", nbRemovedClauses); | ~~^ ~~~~~~~~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose2/Glucose2.cpp:1374:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1374 | printf("c nb learnts DL2 : %ld\n", nbDL2); | ~~^ ~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose2/Glucose2.cpp:1375:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1375 | printf("c nb learnts size 2 : %ld\n", nbBin); | ~~^ ~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose2/Glucose2.cpp:1376:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1376 | printf("c nb learnts size 1 : %ld\n", nbUn); | ~~^ ~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose2/Glucose2.cpp:1378:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1378 | printf("c conflicts : %ld\n", conflicts); | ~~^ ~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose2/Glucose2.cpp:1379:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1379 | printf("c decisions : %ld\n", decisions); | ~~^ ~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld src/sat/glucose2/Glucose2.cpp:1380:39: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'int64_t' {aka 'long long int'} [-Wformat=] 1380 | printf("c propagations : %ld\n", propagations); | ~~^ ~~~~~~~~~~~~ | | | | | int64_t {aka long long int} | long int | %lld [ 5%] ABC: `` Compiling: /src/sat/glucose2/Options2.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose2/SimpSolver2.cpp [ 5%] ABC: `` Compiling: /src/sat/glucose2/System2.cpp [ 5%] ABC: `` Compiling: /src/aig/gia/giaTransduction.cpp [ 5%] ABC: `` Compiling: /src/aig/gia/giaTtopt.cpp [ 5%] ABC: `` Compiling: /src/base/abc/abcAig.c [ 5%] ABC: `` Compiling: /src/base/abc/abcBarBuf.c [ 5%] ABC: `` Compiling: /src/base/abc/abcBlifMv.c [ 5%] ABC: `` Compiling: /src/base/abc/abcCheck.c [ 5%] ABC: `` Compiling: /src/base/abc/abcDfs.c [ 5%] ABC: `` Compiling: /src/base/abc/abcFanio.c [ 5%] ABC: `` Compiling: /src/base/abc/abcFanOrder.c [ 5%] ABC: `` Compiling: /src/base/abc/abcFunc.c [ 5%] ABC: `` Compiling: /src/base/abc/abcHie.c [ 5%] ABC: `` Compiling: /src/base/abc/abcHieCec.c [ 5%] ABC: `` Compiling: /src/base/abc/abcHieGia.c [ 5%] ABC: `` Compiling: /src/base/abc/abcHieNew.c In file included from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/misc/extra/extra.h:44, from src/base/abc/abcHieNew.c:28: src/base/abc/abcHieNew.c: In function 'void abc::Au_NtkDeriveFlatGia_rec(abc::Gia_Man_t*, abc::Au_Ntk_t*)': src/base/abc/abcHieNew.c:165:127: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds] 165 | static inline int Au_ObjFaninId( Au_Obj_t * p, int i ) { assert(i >= 0 && i < (int)p->nFanins && p->Fanins[i]); return Au_Lit2Var(p->Fanins[i]); } | ~~~~~~~~~~~^ src/base/abc/abcHieNew.c:61:28: note: while referencing 'abc::Au_Obj_t_::Fanins' 61 | int Fanins[2]; // fanin literals | ^~~~~~ In file included from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/misc/extra/extra.h:44, from src/base/abc/abcHieNew.c:28: src/base/abc/abcHieNew.c: In function 'void abc::Au_NtkTerSimulate_rec(abc::Au_Ntk_t*)': src/base/abc/abcHieNew.c:165:127: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds] 165 | static inline int Au_ObjFaninId( Au_Obj_t * p, int i ) { assert(i >= 0 && i < (int)p->nFanins && p->Fanins[i]); return Au_Lit2Var(p->Fanins[i]); } | ~~~~~~~~~~~^ src/base/abc/abcHieNew.c:61:28: note: while referencing 'abc::Au_Obj_t_::Fanins' 61 | int Fanins[2]; // fanin literals | ^~~~~~ [ 5%] ABC: `` Compiling: /src/base/abc/abcLatch.c [ 5%] ABC: `` Compiling: /src/base/abc/abcLib.c [ 5%] ABC: `` Compiling: /src/base/abc/abcMinBase.c [ 5%] ABC: `` Compiling: /src/base/abc/abcNames.c src/base/abc/abcNames.c: In function 'void abc::Abc_NtkAddDummyPiNames(abc::Abc_Ntk_t*)': src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 1998 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ src/base/abc/abcNames.c:125:12: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 2000 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/abc/abcNames.c: In function 'void abc::Abc_NtkAddDummyPoNames(abc::Abc_Ntk_t*)': src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 1998 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ src/base/abc/abcNames.c:125:12: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 2000 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/abc/abcNames.c: In function 'void abc::Abc_NtkAddDummyBoxNames(abc::Abc_Ntk_t*)': src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 1999 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ src/base/abc/abcNames.c:125:12: note: 'sprintf' output between 3 and 2147483649 bytes into a destination of size 2000 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 2000 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ src/base/abc/abcNames.c:125:12: note: 'sprintf' output 2 or more bytes (assuming 2147483648) into a destination of size 2000 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 2000 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ src/base/abc/abcNames.c:125:12: note: 'sprintf' output 2 or more bytes (assuming 2147483648) into a destination of size 2000 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 5%] ABC: `` Compiling: /src/base/abc/abcNetlist.c [ 5%] ABC: `` Compiling: /src/base/abc/abcNtk.c [ 5%] ABC: `` Compiling: /src/base/abc/abcObj.c [ 5%] ABC: `` Compiling: /src/base/abc/abcRefs.c [ 5%] ABC: `` Compiling: /src/base/abc/abcShow.c [ 5%] ABC: `` Compiling: /src/base/abc/abcSop.c [ 5%] ABC: `` Compiling: /src/base/abc/abcUtil.c [ 5%] ABC: `` Compiling: /src/base/abci/abc.c [ 5%] ABC: `` Compiling: /src/base/abci/abcAttach.c [ 5%] ABC: `` Compiling: /src/base/abci/abcAuto.c [ 5%] ABC: `` Compiling: /src/base/abci/abcBalance.c [ 5%] ABC: `` Compiling: /src/base/abci/abcBidec.c [ 5%] ABC: `` Compiling: /src/base/abci/abcBm.c [ 5%] ABC: `` Compiling: /src/base/abci/abcBmc.c [ 5%] ABC: `` Compiling: /src/base/abci/abcCas.c [ 5%] ABC: `` Compiling: /src/base/abci/abcCascade.c [ 5%] ABC: `` Compiling: /src/base/abci/abcCollapse.c [ 5%] ABC: `` Compiling: /src/base/abci/abcCut.c [ 5%] ABC: `` Compiling: /src/base/abci/abcDar.c [ 5%] ABC: `` Compiling: /src/base/abci/abcDebug.c [ 5%] ABC: `` Compiling: /src/base/abci/abcDec.c [ 5%] ABC: `` Compiling: /src/base/abci/abcDetect.c [ 5%] ABC: `` Compiling: /src/base/abci/abcDress.c [ 5%] ABC: `` Compiling: /src/base/abci/abcDress2.c [ 5%] ABC: `` Compiling: /src/base/abci/abcDress3.c [ 5%] ABC: `` Compiling: /src/base/abci/abcDsd.c [ 5%] ABC: `` Compiling: /src/base/abci/abcEco.c [ 5%] ABC: `` Compiling: /src/base/abci/abcExact.c [ 5%] ABC: `` Compiling: /src/base/abci/abcExtract.c [ 5%] ABC: `` Compiling: /src/base/abci/abcFraig.c [ 5%] ABC: `` Compiling: /src/base/abci/abcFx.c [ 5%] ABC: `` Compiling: /src/base/abci/abcFxu.c [ 5%] ABC: `` Compiling: /src/base/abci/abcGen.c [ 5%] ABC: `` Compiling: /src/base/abci/abcHaig.c [ 5%] ABC: `` Compiling: /src/base/abci/abcIf.c [ 5%] ABC: `` Compiling: /src/base/abci/abcIfif.c [ 5%] ABC: `` Compiling: /src/base/abci/abcIfMux.c [ 5%] ABC: `` Compiling: /src/base/abci/abcIvy.c [ 5%] ABC: `` Compiling: /src/base/abci/abcLog.c [ 5%] ABC: `` Compiling: /src/base/abci/abcLut.c [ 5%] ABC: `` Compiling: /src/base/abci/abcLutmin.c [ 5%] ABC: `` Compiling: /src/base/abci/abcMap.c [ 5%] ABC: `` Compiling: /src/base/abci/abcMerge.c [ 5%] ABC: `` Compiling: /src/base/abci/abcMfs.c [ 5%] ABC: `` Compiling: /src/base/abci/abcMini.c [ 5%] ABC: `` Compiling: /src/base/abci/abcMiter.c [ 5%] ABC: `` Compiling: /src/base/abci/abcMulti.c [ 5%] ABC: `` Compiling: /src/base/abci/abcNtbdd.c [ 5%] ABC: `` Compiling: /src/base/abci/abcNpn.c [ 5%] ABC: `` Compiling: /src/base/abci/abcNpnSave.c [ 5%] ABC: `` Compiling: /src/base/abci/abcOrchestration.c [ 5%] ABC: `` Compiling: /src/base/abci/abcOdc.c [ 5%] ABC: `` Compiling: /src/base/abci/abcOrder.c [ 5%] ABC: `` Compiling: /src/base/abci/abcPart.c [ 5%] ABC: `` Compiling: /src/base/abci/abcPrint.c [ 5%] ABC: `` Compiling: /src/base/abci/abcProve.c [ 5%] ABC: `` Compiling: /src/base/abci/abcQbf.c [ 5%] ABC: `` Compiling: /src/base/abci/abcQuant.c [ 5%] ABC: `` Compiling: /src/base/abci/abcRec3.c [ 5%] ABC: `` Compiling: /src/base/abci/abcReconv.c [ 5%] ABC: `` Compiling: /src/base/abci/abcReach.c [ 5%] ABC: `` Compiling: /src/base/abci/abcRefactor.c [ 5%] ABC: `` Compiling: /src/base/abci/abcRenode.c [ 5%] ABC: `` Compiling: /src/base/abci/abcReorder.c [ 5%] ABC: `` Compiling: /src/base/abci/abcRestruct.c [ 5%] ABC: `` Compiling: /src/base/abci/abcResub.c [ 5%] ABC: `` Compiling: /src/base/abci/abcRewrite.c [ 5%] ABC: `` Compiling: /src/base/abci/abcRpo.c [ 5%] ABC: `` Compiling: /src/base/abci/abcRr.c [ 5%] ABC: `` Compiling: /src/base/abci/abcRunGen.c [ 5%] ABC: `` Compiling: /src/base/abci/abcSat.c [ 5%] ABC: `` Compiling: /src/base/abci/abcSaucy.c [ 5%] ABC: `` Compiling: /src/base/abci/abcScorr.c [ 5%] ABC: `` Compiling: /src/base/abci/abcSense.c [ 5%] ABC: `` Compiling: /src/base/abci/abcSpeedup.c [ 5%] ABC: `` Compiling: /src/base/abci/abcStrash.c [ 5%] ABC: `` Compiling: /src/base/abci/abcSweep.c [ 5%] ABC: `` Compiling: /src/base/abci/abcSymm.c [ 5%] ABC: `` Compiling: /src/base/abci/abcTim.c [ 5%] ABC: `` Compiling: /src/base/abci/abcTiming.c [ 5%] ABC: `` Compiling: /src/base/abci/abcUnate.c [ 5%] ABC: `` Compiling: /src/base/abci/abcUnreach.c [ 5%] ABC: `` Compiling: /src/base/abci/abcVerify.c [ 5%] ABC: `` Compiling: /src/base/abci/abcXsim.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmd.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmdAlias.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmdApi.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmdAuto.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmdFlag.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmdHist.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmdLoad.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmdPlugin.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmdStarter.c [ 5%] ABC: `` Compiling: /src/base/cmd/cmdUtils.c [ 5%] ABC: `` Compiling: /src/base/io/io.c [ 5%] ABC: `` Compiling: /src/base/io/ioJson.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadAiger.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadBaf.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadBblif.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadBench.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadBlif.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadBlifAig.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadBlifMv.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadDsd.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadEdif.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadEqn.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadPla.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadPlaMo.c [ 5%] ABC: `` Compiling: /src/base/io/ioReadVerilog.c [ 5%] ABC: `` Compiling: /src/base/io/ioUtil.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteAiger.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteBaf.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteBblif.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteBench.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteBlif.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteBlifMv.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteBook.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteCnf.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteDot.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteEqn.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteEdgelist.c src/base/io/ioWriteEdgelist.c: In function 'int abc::Io_NtkEdgelistWriteNodeGate(FILE*, abc::Abc_Obj_t*, int, int)': src/base/io/ioWriteEdgelist.c:678:29: warning: format '%lu' expects argument of type 'long unsigned int', but argument 3 has type 'abc::word' {aka 'long long unsigned int'} [-Wformat=] 678 | fprintf( pFile, " %lu", Mio_GateReadTruth(pGate) ); | ~~^ ~~~~~~~~~~~~~~~~~~~~~~~~ | | | | long unsigned int abc::word {aka long long unsigned int} | %llu src/base/io/ioWriteEdgelist.c:693:25: warning: format '%lu' expects argument of type 'long unsigned int', but argument 3 has type 'abc::word' {aka 'long long unsigned int'} [-Wformat=] 693 | fprintf( pFile, " %lu", Mio_GateReadTruth(pGate) ); | ~~^ ~~~~~~~~~~~~~~~~~~~~~~~~ | | | | long unsigned int abc::word {aka long long unsigned int} | %llu [ 5%] ABC: `` Compiling: /src/base/io/ioWriteGml.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteList.c [ 5%] ABC: `` Compiling: /src/base/io/ioWritePla.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteVerilog.c [ 5%] ABC: `` Compiling: /src/base/io/ioWriteSmv.c [ 5%] ABC: `` Compiling: /src/base/main/main.c [ 5%] ABC: `` Compiling: /src/base/main/mainFrame.c [ 5%] ABC: `` Compiling: /src/base/main/mainInit.c [ 5%] ABC: `` Compiling: /src/base/main/mainLib.c [ 5%] ABC: `` Compiling: /src/base/main/mainReal.c [ 5%] ABC: `` Compiling: /src/base/main/libSupport.c [ 5%] ABC: `` Compiling: /src/base/main/mainUtils.c [ 5%] ABC: `` Compiling: /src/base/exor/exor.c [ 5%] ABC: `` Compiling: /src/base/exor/exorBits.c [ 5%] ABC: `` Compiling: /src/base/exor/exorCubes.c [ 5%] ABC: `` Compiling: /src/base/exor/exorLink.c [ 5%] ABC: `` Compiling: /src/base/exor/exorList.c [ 5%] ABC: `` Compiling: /src/base/exor/exorUtil.c [ 5%] ABC: `` Compiling: /src/base/ver/verCore.c [ 5%] ABC: `` Compiling: /src/base/ver/verFormula.c [ 5%] ABC: `` Compiling: /src/base/ver/verParse.c [ 5%] ABC: `` Compiling: /src/base/ver/verStream.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcAbs.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcAbs2.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcAbc.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcPth.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcBlast.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcCom.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcGraft.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcJson.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcMem.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcNdr.c In file included from src/base/wlc/wlcNdr.c:22: In function 'void abc::Ndr_DataPushArray(abc::Ndr_Data_t*, int, int, int*)', inlined from 'void abc::Ndr_DataPushString(abc::Ndr_Data_t*, int, int, char*)' at /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/miniaig/ndr.h:222:26, inlined from 'void abc::Ndr_AddObject(void*, int, int, int, int, int, int, int, int*, int, int*, char*)' at /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/miniaig/ndr.h:588:23: /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/miniaig/ndr.h:209:11: warning: 'void* memcpy(void*, const void*, size_t)' reading 8 bytes from a region of size 4 [-Wstringop-overflow=] 209 | memcpy( p->pBody + p->nSize, pArray, (size_t)4*nArray ); | ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 5%] ABC: `` Compiling: /src/base/wlc/wlcNtk.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcReadSmt.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcReadVer.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcSim.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcShow.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcStdin.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcUif.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcWin.c [ 5%] ABC: `` Compiling: /src/base/wlc/wlcWriteVer.c [ 5%] ABC: `` Compiling: /src/base/wln/wln.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnBlast.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnCom.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnGuide.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnMem.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnNdr.c In file included from src/base/wln/wlnNdr.c:22: In function 'void abc::Ndr_DataPushArray(abc::Ndr_Data_t*, int, int, int*)', inlined from 'void abc::Ndr_DataPushString(abc::Ndr_Data_t*, int, int, char*)' at /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/miniaig/ndr.h:222:26, inlined from 'void abc::Ndr_AddObject(void*, int, int, int, int, int, int, int, int*, int, int*, char*)' at /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/miniaig/ndr.h:588:23: /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/miniaig/ndr.h:209:11: warning: 'void* memcpy(void*, const void*, size_t)' reading 8 bytes from a region of size 4 [-Wstringop-overflow=] 209 | memcpy( p->pBody + p->nSize, pArray, (size_t)4*nArray ); | ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 5%] ABC: `` Compiling: /src/base/wln/wlnNtk.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnObj.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnRead.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnRetime.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnRtl.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnWlc.c [ 5%] ABC: `` Compiling: /src/base/wln/wlnWriteVer.c In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h: In function 'void abc::Wln_WriteVerInt(FILE*, abc::Wln_Ntk_t*)': src/base/wln/wln.h:111:169: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~~~^ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:51:28: note: while referencing 'abc::Wln_Vec_t_::::Array' 51 | union { int Array[2]; | ^~~~~ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:111:169: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~~~^ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:51:28: note: while referencing 'abc::Wln_Vec_t_::::Array' 51 | union { int Array[2]; | ^~~~~ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:111:169: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~~~^ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:51:28: note: while referencing 'abc::Wln_Vec_t_::::Array' 51 | union { int Array[2]; | ^~~~~ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:111:169: warning: array subscript 3 is above array bounds of 'int [2]' [-Warray-bounds] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~~~^ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:51:28: note: while referencing 'abc::Wln_Vec_t_::::Array' 51 | union { int Array[2]; | ^~~~~ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:111:169: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~~~^ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:51:28: note: while referencing 'abc::Wln_Vec_t_::::Array' 51 | union { int Array[2]; | ^~~~~ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:111:169: warning: array subscript 3 is above array bounds of 'int [2]' [-Warray-bounds] 111 | static inline int Wln_ObjFanin( Wln_Ntk_t * p, int i, int f ) { return Wln_ObjFaninNum(p, i) > 2 ? p->vFanins[i].pArray[0][f] : p->vFanins[i].Array[f]; } | ~~~~~~~~~~~~~~~~~~~~~^ In file included from src/base/wln/wlnWriteVer.c:21: src/base/wln/wln.h:51:28: note: while referencing 'abc::Wln_Vec_t_::::Array' 51 | union { int Array[2]; | ^~~~~ [ 5%] ABC: `` Compiling: /src/base/acb/acbAbc.c [ 5%] ABC: `` Compiling: /src/base/acb/acbAig.c [ 5%] ABC: `` Compiling: /src/base/acb/acbCom.c [ 5%] ABC: `` Compiling: /src/base/acb/acbFunc.c [ 5%] ABC: `` Compiling: /src/base/acb/acbMfs.c [ 5%] ABC: `` Compiling: /src/base/acb/acbPush.c [ 5%] ABC: `` Compiling: /src/base/acb/acbSets.c [ 5%] ABC: `` Compiling: /src/base/acb/acbTest.c [ 5%] ABC: `` Compiling: /src/base/acb/acbUtil.c [ 5%] ABC: `` Compiling: /src/base/bac/bacBlast.c [ 5%] ABC: `` Compiling: /src/base/bac/bacBac.c [ 5%] ABC: `` Compiling: /src/base/bac/bacCom.c [ 5%] ABC: `` Compiling: /src/base/bac/bacLib.c [ 5%] ABC: `` Compiling: /src/base/bac/bacNtk.c [ 5%] ABC: `` Compiling: /src/base/bac/bacPrsBuild.c [ 5%] ABC: `` Compiling: /src/base/bac/bacPrsTrans.c [ 5%] ABC: `` Compiling: /src/base/bac/bacPtr.c [ 5%] ABC: `` Compiling: /src/base/bac/bacPtrAbc.c [ 5%] ABC: `` Compiling: /src/base/bac/bacReadBlif.c [ 5%] ABC: `` Compiling: /src/base/bac/bacReadSmt.c [ 5%] ABC: `` Compiling: /src/base/bac/bacReadVer.c [ 5%] ABC: `` Compiling: /src/base/bac/bacWriteBlif.c [ 5%] ABC: `` Compiling: /src/base/bac/bacWriteSmt.c [ 5%] ABC: `` Compiling: /src/base/bac/bacWriteVer.c [ 5%] ABC: `` Compiling: /src/base/cba/cbaBlast.c [ 5%] ABC: `` Compiling: /src/base/cba/cbaCba.c [ 5%] ABC: `` Compiling: /src/base/cba/cbaCom.c [ 5%] ABC: `` Compiling: /src/base/cba/cbaNtk.c [ 5%] ABC: `` Compiling: /src/base/cba/cbaReadBlif.c [ 5%] ABC: `` Compiling: /src/base/cba/cbaReadVer.c [ 5%] ABC: `` Compiling: /src/base/cba/cbaWriteBlif.c [ 5%] ABC: `` Compiling: /src/base/cba/cbaWriteVer.c [ 5%] ABC: `` Compiling: /src/base/pla/plaCom.c [ 5%] ABC: `` Compiling: /src/base/pla/plaHash.c [ 5%] ABC: `` Compiling: /src/base/pla/plaMan.c [ 5%] ABC: `` Compiling: /src/base/pla/plaMerge.c [ 5%] ABC: `` Compiling: /src/base/pla/plaSimple.c src/base/pla/plaSimple.c: In function 'abc::Vec_Wrd_t* abc::Pla_ManFxMinimize(abc::word*, int)': src/base/pla/plaSimple.c:243:48: warning: 'pDirs[0]' may be used uninitialized in this function [-Wmaybe-uninitialized] 243 | Pla_TtSetBit(pDc, i ^ (1 << pDirs[v])); | ~~~~~~~^ [ 5%] ABC: `` Compiling: /src/base/pla/plaRead.c [ 5%] ABC: `` Compiling: /src/base/pla/plaWrite.c [ 5%] ABC: `` Compiling: /src/base/test/test.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapper.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperCanon.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperCore.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperCreate.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperCut.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperCutUtils.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperLib.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperMatch.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperRefs.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperSuper.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperSwitch.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperTable.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperTime.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperTree.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperTruth.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperUtils.c [ 5%] ABC: `` Compiling: /src/map/mapper/mapperVec.c [ 5%] ABC: `` Compiling: /src/map/mio/mio.c [ 5%] ABC: `` Compiling: /src/map/mio/mioApi.c [ 5%] ABC: `` Compiling: /src/map/mio/mioFunc.c [ 5%] ABC: `` Compiling: /src/map/mio/mioParse.c [ 5%] ABC: `` Compiling: /src/map/mio/mioRead.c [ 5%] ABC: `` Compiling: /src/map/mio/mioSop.c [ 5%] ABC: `` Compiling: /src/map/mio/mioUtils.c [ 5%] ABC: `` Compiling: /src/map/super/super.c [ 5%] ABC: `` Compiling: /src/map/super/superAnd.c [ 5%] ABC: `` Compiling: /src/map/super/superGate.c [ 5%] ABC: `` Compiling: /src/map/if/ifCom.c [ 5%] ABC: `` Compiling: /src/map/if/ifCache.c [ 5%] ABC: `` Compiling: /src/map/if/ifCore.c [ 5%] ABC: `` Compiling: /src/map/if/ifCut.c [ 5%] ABC: `` Compiling: /src/map/if/ifData2.c [ 5%] ABC: `` Compiling: /src/map/if/ifDec07.c [ 5%] ABC: `` Compiling: /src/map/if/ifDec08.c [ 5%] ABC: `` Compiling: /src/map/if/ifDec10.c [ 5%] ABC: `` Compiling: /src/map/if/ifDec16.c src/map/if/ifDec16.c: In function 'abc::If_Grp_t abc::If_CluCheck(abc::If_Man_t*, abc::word*, int, int, int, int, int, abc::If_Grp_t*, abc::word*, abc::word*, abc::word*, int)': src/map/if/ifDec16.c:342:24: warning: 'pTruth' may be used uninitialized in this function [-Wmaybe-uninitialized] 342 | pOut[w] = pIn[w]; | ~~~~~^ [ 5%] ABC: `` Compiling: /src/map/if/ifDec66.c [ 5%] ABC: `` Compiling: /src/map/if/ifDec75.c [ 5%] ABC: `` Compiling: /src/map/if/ifDelay.c [ 5%] ABC: `` Compiling: /src/map/if/ifDsd.c [ 5%] ABC: `` Compiling: /src/map/if/ifLibBox.c [ 5%] ABC: `` Compiling: /src/map/if/ifLibLut.c [ 5%] ABC: `` Compiling: /src/map/if/ifMan.c [ 5%] ABC: `` Compiling: /src/map/if/ifMap.c src/map/if/ifMap.c: In function 'void abc::If_ObjPerformMappingAnd(abc::If_Man_t*, abc::If_Obj_t*, int, int, int)': src/map/if/ifMap.c:206:41: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 206 | If_CutPerm(pCut)[v] = IF_BIG_CHAR; In file included from src/map/if/ifMap.c:21: src/map/if/if.h:318:24: note: at offset 0 to object 'abc::If_Cut_t_::pLeaves' with size 0 declared here 318 | int pLeaves[0]; | ^~~~~~~ src/map/if/ifMap.c:450:41: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 450 | If_CutPerm(pCut)[v] = IF_BIG_CHAR; In file included from src/map/if/ifMap.c:21: src/map/if/if.h:318:24: note: at offset 0 to object 'abc::If_Cut_t_::pLeaves' with size 0 declared here 318 | int pLeaves[0]; | ^~~~~~~ [ 5%] ABC: `` Compiling: /src/map/if/ifMatch2.c [ 5%] ABC: `` Compiling: /src/map/if/ifReduce.c [ 5%] ABC: `` Compiling: /src/map/if/ifSat.c [ 5%] ABC: `` Compiling: /src/map/if/ifSelect.c [ 5%] ABC: `` Compiling: /src/map/if/ifSeq.c [ 5%] ABC: `` Compiling: /src/map/if/ifTest.c [ 5%] ABC: `` Compiling: /src/map/if/ifTime.c [ 5%] ABC: `` Compiling: /src/map/if/ifTruth.c [ 5%] ABC: `` Compiling: /src/map/if/ifTune.c [ 5%] ABC: `` Compiling: /src/map/if/ifUtil.c [ 5%] ABC: `` Compiling: /src/map/amap/amapCore.c [ 5%] ABC: `` Compiling: /src/map/amap/amapGraph.c [ 5%] ABC: `` Compiling: /src/map/amap/amapLib.c [ 5%] ABC: `` Compiling: /src/map/amap/amapLiberty.c src/map/amap/amapLiberty.c: In function 'int abc::Amap_LibertyBuildItem(abc::Amap_Tree_t*, char**, char*)': src/map/amap/amapLiberty.c:966:77: warning: '%s' directive writing up to 4999 bytes into a region of size 955 [-Wformat-overflow=] 966 | sprintf( p->pError, "File \"%s\". Line %6d. Failed to parse entry \"%s\".\n", | ^~ src/map/amap/amapLiberty.c:966:16: note: 'sprintf' output 49 or more bytes (assuming 5048) into a destination of size 1000 966 | sprintf( p->pError, "File \"%s\". Line %6d. Failed to parse entry \"%s\".\n", | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 967 | p->pFileName, p->nLines, Amap_LibertyGetString(p, Key) ); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 5%] ABC: `` Compiling: /src/map/amap/amapMan.c [ 5%] ABC: `` Compiling: /src/map/amap/amapMatch.c [ 5%] ABC: `` Compiling: /src/map/amap/amapMerge.c [ 5%] ABC: `` Compiling: /src/map/amap/amapOutput.c [ 5%] ABC: `` Compiling: /src/map/amap/amapParse.c [ 5%] ABC: `` Compiling: /src/map/amap/amapPerm.c [ 5%] ABC: `` Compiling: /src/map/amap/amapRead.c [ 5%] ABC: `` Compiling: /src/map/amap/amapRule.c [ 5%] ABC: `` Compiling: /src/map/amap/amapUniq.c [ 5%] ABC: `` Compiling: /src/map/cov/covBuild.c [ 5%] ABC: `` Compiling: /src/map/cov/covCore.c [ 5%] ABC: `` Compiling: /src/map/cov/covMan.c [ 5%] ABC: `` Compiling: /src/map/cov/covMinEsop.c [ 5%] ABC: `` Compiling: /src/map/cov/covMinMan.c [ 5%] ABC: `` Compiling: /src/map/cov/covMinSop.c [ 5%] ABC: `` Compiling: /src/map/cov/covMinUtil.c [ 5%] ABC: `` Compiling: /src/map/scl/scl.c [ 5%] ABC: `` Compiling: /src/map/scl/sclBuffer.c [ 5%] ABC: `` Compiling: /src/map/scl/sclBufSize.c [ 5%] ABC: `` Compiling: /src/map/scl/sclDnsize.c [ 5%] ABC: `` Compiling: /src/map/scl/sclLiberty.c [ 5%] ABC: `` Compiling: /src/map/scl/sclLibScl.c [ 5%] ABC: `` Compiling: /src/map/scl/sclLibUtil.c [ 5%] ABC: `` Compiling: /src/map/scl/sclLoad.c [ 5%] ABC: `` Compiling: /src/map/scl/sclSize.c [ 5%] ABC: `` Compiling: /src/map/scl/sclUpsize.c [ 5%] ABC: `` Compiling: /src/map/scl/sclUtil.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmAbc.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmCore.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmDsd.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmGates.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmLib.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmMan.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmMap.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmMig.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmPre.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmTruth.c [ 5%] ABC: `` Compiling: /src/map/mpm/mpmUtil.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilBitMatrix.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilCanon.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilCfs.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilCube.c In file included from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/misc/vec/vec.h:29, from src/misc/extra/extraUtilCube.c:25: src/misc/extra/extraUtilCube.c: In function 'void abc::Abc_EnumerateCubeStates()': /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/misc/util/abc_global.h:264:50: warning: product '536870912 * 8' of arguments 1 and 2 exceeds 'SIZE_MAX' [-Walloc-size-larger-than=] 264 | #define ABC_CALLOC(type, num) ((type *) calloc((size_t)(num), sizeof(type))) | ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/misc/extra/extraUtilCube.c:200:27: note: in expansion of macro 'ABC_CALLOC' 200 | word State, * pHash = ABC_CALLOC( word, 1 << 29 ); // 4 GB | ^~~~~~~~~~ In file included from src/misc/extra/extraUtilCube.c:22: /usr/include/stdlib.h:109:7: note: in a call to allocation function 'void* calloc(size_t, size_t)' declared here 109 | void *calloc(size_t, size_t); | ^~~~~~ [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilDsd.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilEnum.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilFile.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilGen.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilMacc.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilMaj.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilMemory.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilMisc.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilMult.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilPath.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilPerm.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilProgress.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilReader.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilSupp.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilTruth.c [ 5%] ABC: `` Compiling: /src/misc/extra/extraUtilUtil.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcApi.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcCompare.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcContain.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcCover.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcCube.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcDivide.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcDivisor.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcList.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcLits.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcMan.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcOpAlg.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcOpBool.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcPrint.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcSort.c [ 5%] ABC: `` Compiling: /src/misc/mvc/mvcUtils.c [ 5%] ABC: `` Compiling: /src/misc/st/st.c [ 5%] ABC: `` Compiling: /src/misc/st/stmm.c [ 5%] ABC: `` Compiling: /src/misc/util/utilBridge.c [ 5%] ABC: `` Compiling: /src/misc/util/utilCex.c [ 5%] ABC: `` Compiling: /src/misc/util/utilColor.c [ 5%] ABC: `` Compiling: /src/misc/util/utilFile.c [ 5%] ABC: `` Compiling: /src/misc/util/utilIsop.c [ 5%] ABC: `` Compiling: /src/misc/util/utilNam.c [ 5%] ABC: `` Compiling: /src/misc/util/utilPth.c [ 5%] ABC: `` Compiling: /src/misc/util/utilSignal.c [ 5%] ABC: `` Compiling: /src/misc/util/utilSort.c [ 5%] ABC: `` Compiling: /src/misc/nm/nmApi.c [ 5%] ABC: `` Compiling: /src/misc/nm/nmTable.c [ 5%] ABC: `` Compiling: /src/misc/tim/timBox.c [ 5%] ABC: `` Compiling: /src/misc/tim/timDump.c [ 5%] ABC: `` Compiling: /src/misc/tim/timMan.c [ 5%] ABC: `` Compiling: /src/misc/tim/timTime.c [ 5%] ABC: `` Compiling: /src/misc/tim/timTrav.c [ 5%] ABC: `` Compiling: /src/misc/bzlib/blocksort.c [ 5%] ABC: `` Compiling: /src/misc/bzlib/bzlib.c [ 5%] ABC: `` Compiling: /src/misc/bzlib/compress.c [ 5%] ABC: `` Compiling: /src/misc/bzlib/crctable.c [ 5%] ABC: `` Compiling: /src/misc/bzlib/decompress.c [ 5%] ABC: `` Compiling: /src/misc/bzlib/huffman.c [ 5%] ABC: `` Compiling: /src/misc/bzlib/randtable.c [ 5%] ABC: `` Compiling: /src/misc/zlib/adler32.c [ 5%] ABC: `` Compiling: /src/misc/zlib/compress_.c [ 5%] ABC: `` Compiling: /src/misc/zlib/crc32.c [ 5%] ABC: `` Compiling: /src/misc/zlib/deflate.c [ 5%] ABC: `` Compiling: /src/misc/zlib/gzclose.c [ 5%] ABC: `` Compiling: /src/misc/zlib/gzlib.c [ 5%] ABC: `` Compiling: /src/misc/zlib/gzread.c [ 5%] ABC: `` Compiling: /src/misc/zlib/gzwrite.c [ 5%] ABC: `` Compiling: /src/misc/zlib/infback.c [ 5%] ABC: `` Compiling: /src/misc/zlib/inffast.c [ 5%] ABC: `` Compiling: /src/misc/zlib/inflate.c [ 5%] ABC: `` Compiling: /src/misc/zlib/inftrees.c [ 5%] ABC: `` Compiling: /src/misc/zlib/trees.c In file included from src/misc/zlib/trees.c:127: src/misc/zlib/trees.h:75:49: warning: 'visibility' attribute ignored [-Wattributes] 75 | const uch ZLIB_INTERNAL _dist_code[DIST_CODE_LEN] = { | ^ src/misc/zlib/trees.h:104:59: warning: 'visibility' attribute ignored [-Wattributes] 104 | const uch ZLIB_INTERNAL _length_code[MAX_MATCH-MIN_MATCH+1]= { | ^ [ 5%] ABC: `` Compiling: /src/misc/zlib/uncompr.c [ 5%] ABC: `` Compiling: /src/misc/zlib/zutil.c [ 5%] ABC: `` Compiling: /src/misc/mem/mem.c [ 5%] ABC: `` Compiling: /src/misc/bar/bar.c [ 5%] ABC: `` Compiling: /src/misc/bbl/bblif.c [ 5%] ABC: `` Compiling: /src/misc/parse/parseEqn.c [ 5%] ABC: `` Compiling: /src/misc/parse/parseStack.c [ 5%] ABC: `` Compiling: /src/opt/cut/cutApi.c [ 5%] ABC: `` Compiling: /src/opt/cut/cutCut.c [ 5%] ABC: `` Compiling: /src/opt/cut/cutMan.c [ 5%] ABC: `` Compiling: /src/opt/cut/cutMerge.c [ 5%] ABC: `` Compiling: /src/opt/cut/cutNode.c [ 5%] ABC: `` Compiling: /src/opt/cut/cutOracle.c [ 5%] ABC: `` Compiling: /src/opt/cut/cutPre22.c [ 5%] ABC: `` Compiling: /src/opt/cut/cutSeq.c [ 5%] ABC: `` Compiling: /src/opt/cut/cutTruth.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxu.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuCreate.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuHeapD.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuHeapS.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuList.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuMatrix.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuPair.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuPrint.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuReduce.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuSelect.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuSingle.c [ 5%] ABC: `` Compiling: /src/opt/fxu/fxuUpdate.c [ 5%] ABC: `` Compiling: /src/opt/fxch/Fxch.c [ 5%] ABC: `` Compiling: /src/opt/fxch/FxchDiv.c [ 5%] ABC: `` Compiling: /src/opt/fxch/FxchMan.c [ 5%] ABC: `` Compiling: /src/opt/fxch/FxchSCHashTable.c [ 5%] ABC: `` Compiling: /src/opt/rwr/rwrDec.c [ 5%] ABC: `` Compiling: /src/opt/rwr/rwrEva.c [ 5%] ABC: `` Compiling: /src/opt/rwr/rwrExp.c [ 5%] ABC: `` Compiling: /src/opt/rwr/rwrLib.c [ 5%] ABC: `` Compiling: /src/opt/rwr/rwrMan.c [ 5%] ABC: `` Compiling: /src/opt/rwr/rwrPrint.c [ 5%] ABC: `` Compiling: /src/opt/rwr/rwrUtil.c [ 5%] ABC: `` Compiling: /src/opt/mfs/mfsCore.c [ 5%] ABC: `` Compiling: /src/opt/mfs/mfsDiv.c [ 5%] ABC: `` Compiling: /src/opt/mfs/mfsInter.c [ 5%] ABC: `` Compiling: /src/opt/mfs/mfsMan.c [ 5%] ABC: `` Compiling: /src/opt/mfs/mfsResub.c [ 5%] ABC: `` Compiling: /src/opt/mfs/mfsSat.c [ 5%] ABC: `` Compiling: /src/opt/mfs/mfsStrash.c [ 5%] ABC: `` Compiling: /src/opt/mfs/mfsWin.c [ 5%] ABC: `` Compiling: /src/opt/sim/simMan.c [ 5%] ABC: `` Compiling: /src/opt/sim/simSeq.c [ 5%] ABC: `` Compiling: /src/opt/sim/simSupp.c [ 5%] ABC: `` Compiling: /src/opt/sim/simSwitch.c [ 5%] ABC: `` Compiling: /src/opt/sim/simSym.c [ 5%] ABC: `` Compiling: /src/opt/sim/simSymSat.c [ 5%] ABC: `` Compiling: /src/opt/sim/simSymSim.c [ 5%] ABC: `` Compiling: /src/opt/sim/simSymStr.c [ 5%] ABC: `` Compiling: /src/opt/sim/simUtils.c [ 5%] ABC: `` Compiling: /src/opt/ret/retArea.c [ 5%] ABC: `` Compiling: /src/opt/ret/retCore.c [ 5%] ABC: `` Compiling: /src/opt/ret/retDelay.c [ 5%] ABC: `` Compiling: /src/opt/ret/retFlow.c [ 5%] ABC: `` Compiling: /src/opt/ret/retIncrem.c [ 5%] ABC: `` Compiling: /src/opt/ret/retInit.c [ 5%] ABC: `` Compiling: /src/opt/ret/retLvalue.c [ 5%] ABC: `` Compiling: /src/opt/fret/fretMain.c [ 5%] ABC: `` Compiling: /src/opt/fret/fretFlow.c [ 5%] ABC: `` Compiling: /src/opt/fret/fretInit.c [ 5%] ABC: `` Compiling: /src/opt/fret/fretTime.c [ 5%] ABC: `` Compiling: /src/opt/res/resCore.c [ 5%] ABC: `` Compiling: /src/opt/res/resDivs.c [ 5%] ABC: `` Compiling: /src/opt/res/resFilter.c [ 5%] ABC: `` Compiling: /src/opt/res/resSat.c [ 5%] ABC: `` Compiling: /src/opt/res/resSim.c [ 5%] ABC: `` Compiling: /src/opt/res/resStrash.c [ 5%] ABC: `` Compiling: /src/opt/res/resWin.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkCore.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkAbcDec.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkAbcMux.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkAbcDsd.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkAbcUtil.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkCut.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkMan.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkMap.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkMulti.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkMux.c [ 5%] ABC: `` Compiling: /src/opt/lpk/lpkSets.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkAig.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkCheck.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkBidec.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkDfs.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkFanio.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkFlow.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkMan.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkMap.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkMerge.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkObj.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkSpeedup.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkStrash.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkTiming.c [ 5%] ABC: `` Compiling: /src/opt/nwk/nwkUtil.c [ 5%] ABC: `` Compiling: /src/opt/rwt/rwtDec.c [ 5%] ABC: `` Compiling: /src/opt/rwt/rwtMan.c [ 5%] ABC: `` Compiling: /src/opt/rwt/rwtUtil.c [ 5%] ABC: `` Compiling: /src/opt/cgt/cgtAig.c [ 5%] ABC: `` Compiling: /src/opt/cgt/cgtCore.c [ 5%] ABC: `` Compiling: /src/opt/cgt/cgtDecide.c [ 5%] ABC: `` Compiling: /src/opt/cgt/cgtMan.c [ 5%] ABC: `` Compiling: /src/opt/cgt/cgtSat.c [ 5%] ABC: `` Compiling: /src/opt/csw/cswCore.c [ 5%] ABC: `` Compiling: /src/opt/csw/cswCut.c [ 5%] ABC: `` Compiling: /src/opt/csw/cswMan.c [ 5%] ABC: `` Compiling: /src/opt/csw/cswTable.c [ 5%] ABC: `` Compiling: /src/opt/dar/darBalance.c [ 5%] ABC: `` Compiling: /src/opt/dar/darCore.c [ 5%] ABC: `` Compiling: /src/opt/dar/darCut.c [ 5%] ABC: `` Compiling: /src/opt/dar/darData.c [ 5%] ABC: `` Compiling: /src/opt/dar/darLib.c [ 5%] ABC: `` Compiling: /src/opt/dar/darMan.c [ 5%] ABC: `` Compiling: /src/opt/dar/darPrec.c [ 5%] ABC: `` Compiling: /src/opt/dar/darRefact.c [ 5%] ABC: `` Compiling: /src/opt/dar/darScript.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauCanon.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauCore.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauCount.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauDivs.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauDsd.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauEnum.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauGia.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauMerge.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauNonDsd.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauNpn.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauNpn2.c [ 5%] ABC: `` Compiling: /src/opt/dau/dauTree.c src/opt/dau/dauTree.c: In function 'abc::Dss_Fun_t* abc::Dss_ManBooleanAnd(abc::Dss_Man_t*, abc::Dss_Ent_t*, int)': src/opt/dau/dauTree.c:1492:22: warning: array subscript i is outside array bounds of 'unsigned char [0]' [-Warray-bounds] 1492 | pFun->pFans[i] = (unsigned char)Abc_Lit2LitV( pMapDsd2Truth, pPermDsd[i] ); | ~~~~~~~~~~~~~^ src/opt/dau/dauTree.c:36:20: note: while referencing 'abc::Dss_Fun_t_::pFans' 36 | unsigned char pFans[0]; // fanins | ^~~~~ src/opt/dau/dauTree.c: In function 'abc::Dss_Ent_t* abc::Dss_ManSharedMap(abc::Dss_Man_t*, int*, int*, int**, unsigned int)': src/opt/dau/dauTree.c:1528:48: warning: array subscript is outside array bounds of 'unsigned char [0]' [-Warray-bounds] 1528 | pEnt->pShared[2*pEnt->nShared+0] = (unsigned char)i; | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ src/opt/dau/dauTree.c:48:20: note: while referencing 'abc::Dss_Ent_t_::pShared' 48 | unsigned char pShared[0]; // shared literals | ^~~~~~~ src/opt/dau/dauTree.c:1529:48: warning: array subscript is outside array bounds of 'unsigned char [0]' [-Warray-bounds] 1529 | pEnt->pShared[2*pEnt->nShared+1] = (unsigned char)Abc_LitNotCond( pMapGtoL[g], Abc_LitIsCompl(pFans[1][i]) ); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ src/opt/dau/dauTree.c:48:20: note: while referencing 'abc::Dss_Ent_t_::pShared' 48 | unsigned char pShared[0]; // shared literals | ^~~~~~~ [ 5%] ABC: `` Compiling: /src/opt/dsc/dsc.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmArea.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmCnf.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmCore.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmDec.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmLib.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmNtk.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmSat.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmTim.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmMit.c [ 5%] ABC: `` Compiling: /src/opt/sfm/sfmWin.c [ 5%] ABC: `` Compiling: /src/opt/sbd/sbd.c [ 5%] ABC: `` Compiling: /src/opt/sbd/sbdCnf.c [ 5%] ABC: `` Compiling: /src/opt/sbd/sbdCore.c [ 5%] ABC: `` Compiling: /src/opt/sbd/sbdCut.c [ 5%] ABC: `` Compiling: /src/opt/sbd/sbdCut2.c [ 5%] ABC: `` Compiling: /src/opt/sbd/sbdLut.c [ 5%] ABC: `` Compiling: /src/opt/sbd/sbdPath.c [ 5%] ABC: `` Compiling: /src/opt/sbd/sbdSat.c [ 5%] ABC: `` Compiling: /src/opt/sbd/sbdWin.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satMem.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satInter.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satInterA.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satInterB.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satInterP.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satProof.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satSolver.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satSolver2.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satSolver2i.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satSolver3.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satStore.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satTrace.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satTruth.c [ 5%] ABC: `` Compiling: /src/sat/bsat/satUtil.c [ 5%] ABC: `` Compiling: /src/sat/xsat/xsatSolver.c In file included from src/sat/xsat/xsatSolver.c:30: src/sat/xsat/xsatSolver.h: In function 'void abc::xSAT_SolverPrintState(abc::xSAT_Solver_t*)': src/sat/xsat/xsatSolver.h:227:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 227 | printf( "conflicts : %10ld\n", s->Stats.nConflicts ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld src/sat/xsat/xsatSolver.h:228:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 228 | printf( "decisions : %10ld\n", s->Stats.nDecisions ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld src/sat/xsat/xsatSolver.h:229:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 229 | printf( "propagations : %10ld\n", s->Stats.nPropagations ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld [ 5%] ABC: `` Compiling: /src/sat/xsat/xsatSolverAPI.c In file included from src/sat/xsat/xsatSolverAPI.c:29: src/sat/xsat/xsatSolver.h: In function 'void abc::xSAT_SolverPrintState(abc::xSAT_Solver_t*)': src/sat/xsat/xsatSolver.h:227:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 227 | printf( "conflicts : %10ld\n", s->Stats.nConflicts ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld src/sat/xsat/xsatSolver.h:228:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 228 | printf( "decisions : %10ld\n", s->Stats.nDecisions ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld src/sat/xsat/xsatSolver.h:229:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 229 | printf( "propagations : %10ld\n", s->Stats.nPropagations ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld src/sat/xsat/xsatSolverAPI.c: In function 'void abc::xSAT_SolverPrintStats(abc::xSAT_Solver_t*)': src/sat/xsat/xsatSolverAPI.c:341:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 341 | printf( "conflicts : %10ld\n", s->Stats.nConflicts ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld src/sat/xsat/xsatSolverAPI.c:342:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 342 | printf( "decisions : %10ld\n", s->Stats.nDecisions ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld src/sat/xsat/xsatSolverAPI.c:343:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 343 | printf( "propagations : %10ld\n", s->Stats.nPropagations ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld [ 5%] ABC: `` Compiling: /src/sat/xsat/xsatCnfReader.c In file included from src/sat/xsat/xsatCnfReader.c:30: src/sat/xsat/xsatSolver.h: In function 'void abc::xSAT_SolverPrintState(abc::xSAT_Solver_t*)': src/sat/xsat/xsatSolver.h:227:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 227 | printf( "conflicts : %10ld\n", s->Stats.nConflicts ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld src/sat/xsat/xsatSolver.h:228:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 228 | printf( "decisions : %10ld\n", s->Stats.nDecisions ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld src/sat/xsat/xsatSolver.h:229:34: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'abc::iword' {aka 'long long int'} [-Wformat=] 229 | printf( "propagations : %10ld\n", s->Stats.nPropagations ); | ~~~~^ ~~~~~~~~~~~~~~~~~~~~~~ | | | | long int abc::iword {aka long long int} | %10lld [ 5%] ABC: `` Compiling: /src/sat/satoko/solver.c [ 5%] ABC: `` Compiling: /src/sat/satoko/solver_api.c [ 5%] ABC: `` Compiling: /src/sat/satoko/cnf_reader.c [ 5%] ABC: `` Compiling: /src/sat/csat/csat_apis.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatActivity.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatClause.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatClauseVec.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatMem.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatOrderH.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatQueue.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatRead.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatSolverApi.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatSolverCore.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatSolverIo.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatSolverSearch.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatSort.c [ 5%] ABC: `` Compiling: /src/sat/msat/msatVec.c [ 5%] ABC: `` Compiling: /src/sat/cnf/cnfCore.c [ 5%] ABC: `` Compiling: /src/sat/cnf/cnfCut.c [ 5%] ABC: `` Compiling: /src/sat/cnf/cnfData.c [ 5%] ABC: `` Compiling: /src/sat/cnf/cnfFast.c [ 5%] ABC: `` Compiling: /src/sat/cnf/cnfMan.c [ 5%] ABC: `` Compiling: /src/sat/cnf/cnfMap.c [ 5%] ABC: `` Compiling: /src/sat/cnf/cnfPost.c [ 5%] ABC: `` Compiling: /src/sat/cnf/cnfUtil.c [ 5%] ABC: `` Compiling: /src/sat/cnf/cnfWrite.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcBCore.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcBmc.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcBmc2.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcBmc3.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcBmcAnd.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcBmci.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcBmcG.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcBmcS.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcCexCare.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcCexCut.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcCexDepth.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcCexMin1.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcCexMin2.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcCexTools.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcChain.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcClp.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcEco.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcExpand.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcFault.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcFx.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcGen.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcICheck.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcInse.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcLoad.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcMaj.c src/sat/bmc/bmcMaj.c: In function 'void abc::Exa_NpnCascadeTest6()': src/sat/bmc/bmcMaj.c:4041:62: warning: format '%lx' expects argument of type 'long unsigned int', but argument 3 has type 'abc::word' {aka 'long long unsigned int'} [-Wformat=] 4041 | sprintf( Command, "lutexact -I 6 -N 2 -K 5 -gvc %016lx", Truth ); | ~~~~~^ ~~~~~ | | | | | abc::word {aka long long unsigned int} | long unsigned int | %016llx [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcMaj2.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcMaj3.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcMaxi.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcMesh.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcMesh2.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcMulti.c [ 5%] ABC: `` Compiling: /src/sat/bmc/bmcUnroll.c [ 5%] ABC: `` Compiling: /src/bool/bdc/bdcCore.c [ 5%] ABC: `` Compiling: /src/bool/bdc/bdcDec.c [ 5%] ABC: `` Compiling: /src/bool/bdc/bdcSpfd.c src/bool/bdc/bdcSpfd.c: In function 'abc::Vec_Wrd_t* abc::Bdc_SpfdDecomposeTest__(abc::Vec_Int_t**)': src/bool/bdc/bdcSpfd.c:602:28: warning: product '250000000 * 24' of arguments 1 and 2 exceeds 'SIZE_MAX' [-Walloc-size-larger-than=] 602 | p = (Bdc_Ent_t *)calloc( nFuncs, sizeof(Bdc_Ent_t) ); | ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/bool/kit/kit.h:30, from src/bool/bdc/bdcInt.h:29, from src/bool/bdc/bdcSpfd.c:21: /usr/include/stdlib.h:109:7: note: in a call to allocation function 'void* calloc(size_t, size_t)' declared here 109 | void *calloc(size_t, size_t); | ^~~~~~ [ 5%] ABC: `` Compiling: /src/bool/bdc/bdcTable.c [ 5%] ABC: `` Compiling: /src/bool/dec/decAbc.c [ 5%] ABC: `` Compiling: /src/bool/dec/decFactor.c [ 5%] ABC: `` Compiling: /src/bool/dec/decMan.c [ 5%] ABC: `` Compiling: /src/bool/dec/decPrint.c [ 5%] ABC: `` Compiling: /src/bool/dec/decUtil.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitAig.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitBdd.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitCloud.c [ 5%] ABC: `` Compiling: /src/bool/kit/cloud.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitDsd.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitFactor.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitGraph.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitHop.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitIsop.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitPla.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitSop.c [ 5%] ABC: `` Compiling: /src/bool/kit/kitTruth.c [ 5%] ABC: `` Compiling: /src/bool/lucky/lucky.c [ 5%] ABC: `` Compiling: /src/bool/lucky/luckyFast16.c [ 5%] ABC: `` Compiling: /src/bool/lucky/luckyFast6.c [ 5%] ABC: `` Compiling: /src/bool/lucky/luckyRead.c [ 5%] ABC: `` Compiling: /src/bool/lucky/luckySimple.c [ 5%] ABC: `` Compiling: /src/bool/lucky/luckySwapIJ.c [ 5%] ABC: `` Compiling: /src/bool/lucky/luckySwap.c [ 5%] ABC: `` Compiling: /src/bool/rsb/rsbDec6.c [ 5%] ABC: `` Compiling: /src/bool/rsb/rsbMan.c [ 5%] ABC: `` Compiling: /src/bool/rpo/rpo.c [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrCnf.c [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrCore.c [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrIncr.c [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrInv.c In file included from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/misc/vec/vec.h:29, from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/aig/aig.h:34, from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/saig/saig.h:29, from src/proof/pdr/pdrInt.h:28, from src/proof/pdr/pdrInv.c:21: src/proof/pdr/pdrInv.c: In function 'abc::Vec_Str_t* abc::Pdr_InvPrintStr(abc::Vec_Int_t*, abc::Vec_Int_t*)': /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/misc/util/abc_global.h:263:50: warning: argument 1 range [2147483648, 4294967295] exceeds maximum object size 2147483647 [-Walloc-size-larger-than=] 263 | #define ABC_ALLOC(type, num) ((type *) malloc(sizeof(type) * (size_t)(num))) | ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/proof/pdr/pdrInv.c:712:22: note: in expansion of macro 'ABC_ALLOC' 712 | char * pBuffer = ABC_ALLOC( char, (size_t)(unsigned)nVars ); | ^~~~~~~~~ In file included from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/aig/aig.h:30, from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/aig/saig/saig.h:29, from src/proof/pdr/pdrInt.h:28, from src/proof/pdr/pdrInv.c:21: /usr/include/stdlib.h:117:7: note: in a call to allocation function 'void* malloc(size_t)' declared here 117 | void *malloc(size_t); | ^~~~~~ [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrMan.c [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrSat.c [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrTsim.c [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrTsim2.c [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrTsim3.c [ 5%] ABC: `` Compiling: /src/proof/pdr/pdrUtil.c [ 5%] ABC: `` Compiling: /src/proof/abs/absDup.c [ 5%] ABC: `` Compiling: /src/proof/abs/absGla.c [ 5%] ABC: `` Compiling: /src/proof/abs/absGlaOld.c [ 5%] ABC: `` Compiling: /src/proof/abs/absIter.c [ 5%] ABC: `` Compiling: /src/proof/abs/absOldCex.c [ 5%] ABC: `` Compiling: /src/proof/abs/absOldRef.c [ 5%] ABC: `` Compiling: /src/proof/abs/absOldSat.c [ 5%] ABC: `` Compiling: /src/proof/abs/absOldSim.c [ 5%] ABC: `` Compiling: /src/proof/abs/absOut.c [ 5%] ABC: `` Compiling: /src/proof/abs/absPth.c [ 5%] ABC: `` Compiling: /src/proof/abs/absRef.c [ 5%] ABC: `` Compiling: /src/proof/abs/absRefSelect.c [ 5%] ABC: `` Compiling: /src/proof/abs/absRpm.c [ 5%] ABC: `` Compiling: /src/proof/abs/absRpmOld.c [ 5%] ABC: `` Compiling: /src/proof/abs/absVta.c [ 5%] ABC: `` Compiling: /src/proof/abs/absUtil.c [ 5%] ABC: `` Compiling: /src/proof/live/liveness.c [ 5%] ABC: `` Compiling: /src/proof/live/liveness_sim.c [ 5%] ABC: `` Compiling: /src/proof/live/ltl_parser.c [ 5%] ABC: `` Compiling: /src/proof/live/kliveness.c [ 5%] ABC: `` Compiling: /src/proof/live/monotone.c [ 5%] ABC: `` Compiling: /src/proof/live/disjunctiveMonotone.c [ 5%] ABC: `` Compiling: /src/proof/live/arenaViolation.c [ 5%] ABC: `` Compiling: /src/proof/live/kLiveConstraints.c [ 5%] ABC: `` Compiling: /src/proof/live/combination.c [ 5%] ABC: `` Compiling: /src/proof/ssc/sscClass.c [ 5%] ABC: `` Compiling: /src/proof/ssc/sscCore.c [ 5%] ABC: `` Compiling: /src/proof/ssc/sscSat.c [ 5%] ABC: `` Compiling: /src/proof/ssc/sscSim.c [ 5%] ABC: `` Compiling: /src/proof/ssc/sscUtil.c [ 5%] ABC: `` Compiling: /src/proof/int/intCheck.c [ 5%] ABC: `` Compiling: /src/proof/int/intContain.c [ 5%] ABC: `` Compiling: /src/proof/int/intCore.c [ 5%] ABC: `` Compiling: /src/proof/int/intCtrex.c [ 5%] ABC: `` Compiling: /src/proof/int/intDup.c [ 5%] ABC: `` Compiling: /src/proof/int/intFrames.c [ 5%] ABC: `` Compiling: /src/proof/int/intInter.c [ 5%] ABC: `` Compiling: /src/proof/int/intM114.c [ 5%] ABC: `` Compiling: /src/proof/int/intMan.c [ 5%] ABC: `` Compiling: /src/proof/int/intUtil.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecCec.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecChoice.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecClass.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecCore.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecCorr.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecIso.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecMan.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecPat.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecProve.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSat.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSatG.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSatG2.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSatG3.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSeq.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSim.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSolve.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSolveG.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSplit.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSynth.c [ 5%] ABC: `` Compiling: /src/proof/cec/cecSweep.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecCl.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecCore.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecCo.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecBo.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecRe.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecPa.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecPo.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecPool.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecCover.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecFadds.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecMult.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecNorm.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecOrder.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecPolyn.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecSt.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecTree.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecUtil.c [ 5%] ABC: `` Compiling: /src/proof/acec/acec2Mult.c [ 5%] ABC: `` Compiling: /src/proof/acec/acecXor.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchAig.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchChoice.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchClass.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchCnf.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchCore.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchMan.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchSat.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchSim.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchSimSat.c [ 5%] ABC: `` Compiling: /src/proof/dch/dchSweep.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigApi.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigCanon.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigFanout.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigFeed.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigMan.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigMem.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigNode.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigPrime.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigSat.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigTable.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigUtil.c [ 5%] ABC: `` Compiling: /src/proof/fraig/fraigVec.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraBmc.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraCec.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraClass.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraClau.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraClaus.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraCnf.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraCore.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraHot.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraImp.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraInd.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraIndVer.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraLcr.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraMan.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraPart.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraSat.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraSec.c [ 5%] ABC: `` Compiling: /src/proof/fra/fraSim.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswAig.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswBmc.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswClass.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswCnf.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswConstr.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswCore.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswDyn.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswFilter.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswIslands.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswLcorr.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswMan.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswPart.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswPairs.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswRarity.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswSat.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswSemi.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswSim.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswSimSat.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswSweep.c [ 5%] ABC: `` Compiling: /src/proof/ssw/sswUnique.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigCheck.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigCanon.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigCuts.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigDfs.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigDup.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigFanout.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigFrames.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigInter.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigJust.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigMan.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigMem.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigMffc.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigObj.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigOper.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigOrder.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigPack.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigPart.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigPartReg.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigPartSat.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigRepr.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigRet.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigRetF.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigScl.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigShow.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigSplit.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigTable.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigTiming.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigTruth.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigTsim.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigUtil.c [ 5%] ABC: `` Compiling: /src/aig/aig/aigWin.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigCone.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigConstr.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigConstr2.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigDual.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigDup.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigInd.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigIoa.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigIso.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigIsoFast.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigIsoSlow.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigMiter.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigOutDec.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigPhase.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigRetFwd.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigRetMin.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigRetStep.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigScl.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigSimFast.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigSimMv.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigSimSeq.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigStrSim.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigSwitch.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigSynch.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigTempor.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigTrans.c [ 5%] ABC: `` Compiling: /src/aig/saig/saigWnd.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaAig.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaAgi.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaAiger.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaAigerExt.c src/aig/gia/giaAigerExt.c: In function 'abc::Vec_Str_t* abc::Gia_AigerWriteCellMappingDoc(abc::Gia_Man_t*)': src/aig/gia/giaAigerExt.c:317:12: warning: unused variable 'iFan' [-Wunused-variable] 317 | int i, iFan, nCells = 0, nInstances = 0, nSize = 8, nSize2 = 0; | ^~~~ [ 5%] ABC: `` Compiling: /src/aig/gia/giaBalAig.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaBalLut.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaBalMap.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaBidec.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCCof.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCex.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaClp.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCof.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCone.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCSatOld.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCSat.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCSat2.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCSat3.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCSatP.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCTas.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaCut.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaDecs.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaDeep.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaDfs.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaDup.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaEdge.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaEmbed.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaEnable.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaEquiv.c In file included from /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/misc/vec/vec.h:29, from src/aig/gia/gia.h:34, from src/aig/gia/giaEquiv.c:21: src/aig/gia/giaEquiv.c: In function 'void abc::Gia_ManTransferEquivs2(abc::Gia_Man_t*, abc::Gia_Man_t*)': /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/misc/util/abc_global.h:264:50: warning: argument 1 range [2147483648, 4294967295] exceeds maximum object size 2147483647 [-Walloc-size-larger-than=] 264 | #define ABC_CALLOC(type, num) ((type *) calloc((size_t)(num), sizeof(type))) | ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaEquiv.c:2761:20: note: in expansion of macro 'ABC_CALLOC' 2761 | pOld->pReprs = ABC_CALLOC( Gia_Rpr_t, Gia_ManObjNum(pOld) ); | ^~~~~~~~~~ In file included from src/aig/gia/gia.h:30, from src/aig/gia/giaEquiv.c:21: /usr/include/stdlib.h:109:7: note: in a call to allocation function 'void* calloc(size_t, size_t)' declared here 109 | void *calloc(size_t, size_t); | ^~~~~~ [ 5%] ABC: `` Compiling: /src/aig/gia/giaEra.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaEra2.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaEsop.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaExist.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaFalse.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaFanout.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaForce.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaFrames.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaFront.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaFx.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaGen.c src/aig/gia/giaGen.c: In function 'void abc::Gia_ManGenNeuronDumpVerilog(abc::Vec_Wrd_t*, int, int)': src/aig/gia/giaGen.c:1037:39: warning: format '%lX' expects argument of type 'long unsigned int', but argument 4 has type 'abc::word' {aka 'long long unsigned int'} [-Wformat=] 1037 | fprintf( pFile, "assign o = %d'h%lX", nOBits, Vec_WrdEntryLast(vData) ); | ~~^ ~~~~~~~~~~~~~~~~~~~~~~~ | | | | long unsigned int abc::word {aka long long unsigned int} | %llX src/aig/gia/giaGen.c:1040:45: warning: format '%lX' expects argument of type 'long unsigned int', but argument 4 has type 'abc::word' {aka 'long long unsigned int'} [-Wformat=] 1040 | fprintf( pFile, "\n + %d'h%lX * i[%d:%d]", nOBits, Data, nIBits*(i+1)-1, nIBits*i ); | ~~^ ~~~~ | | | | long unsigned int abc::word {aka long long unsigned int} | %llX [ 5%] ABC: `` Compiling: /src/aig/gia/giaGig.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaGlitch.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaHash.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaIf.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaIff.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaIiff.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaIso.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaIso2.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaIso3.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaJf.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaKf.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaLf.c src/aig/gia/giaLf.c: In function 'abc::Lf_Cut_t* abc::Lf_ObjCutBest(abc::Lf_Man_t*, int)': src/aig/gia/giaLf.c:583:20: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 583 | pCut->pLeaves[0] = Gia_ObjFaninId0( pMux, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:584:20: warning: array subscript 1 is outside array bounds of 'int [0]' [-Warray-bounds] 584 | pCut->pLeaves[1] = Gia_ObjFaninId1( pMux, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:585:20: warning: array subscript 2 is outside array bounds of 'int [0]' [-Warray-bounds] 585 | pCut->pLeaves[2] = Gia_ObjFaninId2( p->pGia, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c: In function 'float abc::Lf_CutRef_rec(abc::Lf_Man_t*, abc::Lf_Cut_t*)': src/aig/gia/giaLf.c:583:20: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 583 | pCut->pLeaves[0] = Gia_ObjFaninId0( pMux, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:584:20: warning: array subscript 1 is outside array bounds of 'int [0]' [-Warray-bounds] 584 | pCut->pLeaves[1] = Gia_ObjFaninId1( pMux, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:585:20: warning: array subscript 2 is outside array bounds of 'int [0]' [-Warray-bounds] 585 | pCut->pLeaves[2] = Gia_ObjFaninId2( p->pGia, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:557:24: warning: array subscript i is outside array bounds of 'int [0]' [-Warray-bounds] 557 | pCut->pLeaves[i] = Prev - Gia_AigerReadUnsigned(&pPlace), Prev = pCut->pLeaves[i]; | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c: In function 'float abc::Lf_CutDeref_rec(abc::Lf_Man_t*, abc::Lf_Cut_t*)': src/aig/gia/giaLf.c:583:20: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 583 | pCut->pLeaves[0] = Gia_ObjFaninId0( pMux, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:584:20: warning: array subscript 1 is outside array bounds of 'int [0]' [-Warray-bounds] 584 | pCut->pLeaves[1] = Gia_ObjFaninId1( pMux, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:585:20: warning: array subscript 2 is outside array bounds of 'int [0]' [-Warray-bounds] 585 | pCut->pLeaves[2] = Gia_ObjFaninId2( p->pGia, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:557:24: warning: array subscript i is outside array bounds of 'int [0]' [-Warray-bounds] 557 | pCut->pLeaves[i] = Prev - Gia_AigerReadUnsigned(&pPlace), Prev = pCut->pLeaves[i]; | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c: In function 'void abc::Lf_ObjMergeOrder(abc::Lf_Man_t*, int)': src/aig/gia/giaLf.c:360:17: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 360 | p->pLeaves[0] = i; | ~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:360:17: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 360 | p->pLeaves[0] = i; | ~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:360:17: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 360 | p->pLeaves[0] = i; | ~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:360:17: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 360 | p->pLeaves[0] = i; | ~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:583:20: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 583 | pCut->pLeaves[0] = Gia_ObjFaninId0( pMux, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:584:20: warning: array subscript 1 is outside array bounds of 'int [0]' [-Warray-bounds] 584 | pCut->pLeaves[1] = Gia_ObjFaninId1( pMux, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ src/aig/gia/giaLf.c:585:20: warning: array subscript 2 is outside array bounds of 'int [0]' [-Warray-bounds] 585 | pCut->pLeaves[2] = Gia_ObjFaninId2( p->pGia, iObj ); | ~~~~~~~~~~~~~~~^ src/aig/gia/giaLf.c:52:21: note: while referencing 'abc::Lf_Cut_t_::pLeaves' 52 | int pLeaves[0]; // leaves | ^~~~~~~ [ 5%] ABC: `` Compiling: /src/aig/gia/giaMf.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaMan.c src/aig/gia/giaMan.c: In function 'void abc::Gia_ManDumpVerilogNoInter(abc::Gia_Man_t*, char*, abc::Vec_Int_t*, int, int)': src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-178956970, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-178956970, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-536870911, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-536870911, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-715827881, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c: In function 'void abc::Gia_ManDumpVerilogNoInterAssign(abc::Gia_Man_t*, char*, abc::Vec_Int_t*, int, int)': src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-178956970, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-178956970, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-536870911, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-536870911, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-715827881, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c: In function 'void abc::Gia_ManDumpInterface(abc::Gia_Man_t*, char*)': src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-178956970, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-178956970, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-536870911, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-536870911, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-715827881, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c: In function 'void abc::Gia_ManDumpInterfaceAssign(abc::Gia_Man_t*, char*)': src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-178956970, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-178956970, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-536870911, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-536870911, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [-715827881, 178956970] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c: In function 'void abc::Gia_ManDumpVerilogNand(abc::Gia_Man_t*, char*)': src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/aig/gia/giaMan.c:1387:30: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 9999 [-Wformat-overflow=] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~ src/aig/gia/giaMan.c:1387:27: note: directive argument in the range [0, 2147483647] 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ^~~~~~~~~~ src/aig/gia/giaMan.c:1387:16: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 10000 1387 | sprintf( pBuffer, "%c%0*d%c", c, d, i, c ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 5%] ABC: `` Compiling: /src/aig/gia/giaMem.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaMfs.c src/aig/gia/giaMfs.c: In function 'abc::Gia_Man_t* abc::Gia_ManPerformMfs(abc::Gia_Man_t*, abc::Sfm_Par_t*)': src/aig/gia/giaMfs.c:555:22: warning: 'nNodes' may be used uninitialized in this function [-Wmaybe-uninitialized] 555 | Abc_Print( 1, "The network has %d nodes changed by \"&mfs\".\n", nNodes ); | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 5%] ABC: `` Compiling: /src/aig/gia/giaMini.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaMinLut.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaMinLut2.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaMulFind.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaMuxes.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaNf.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaOf.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaPack.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaPat.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaPat2.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaPf.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaQbf.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaReshape1.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaReshape2.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaResub.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaResub2.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaResub3.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaResub6.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaRetime.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaRex.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSatEdge.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSatLE.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSatLut.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSatMap.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSatoko.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSatSyn.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSat3.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaScl.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaScript.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaShow.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaShrink.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaShrink6.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaShrink7.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSif.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSim.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSim2.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSimBase.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSort.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSpeedup.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSplit.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaStg.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaStoch.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaStr.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSupMin.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSupp.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSupps.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSweep.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSweeper.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaSwitch.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaTim.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaTis.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaTranStoch.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaTruth.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaTsim.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaUnate.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaUtil.c [ 5%] ABC: `` Compiling: /src/aig/gia/giaBound.c [ 5%] ABC: `` Compiling: /src/aig/ioa/ioaReadAig.c [ 5%] ABC: `` Compiling: /src/aig/ioa/ioaWriteAig.c [ 5%] ABC: `` Compiling: /src/aig/ioa/ioaUtil.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyBalance.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyCanon.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyCheck.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyCut.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyCutTrav.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyDfs.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyDsd.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyFanout.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyFastMap.c src/aig/ivy/ivyFastMap.c: In function 'void abc::Ivy_FastMapNodeArea2(abc::Ivy_Man_t*, abc::Ivy_Obj_t*, int)': src/aig/ivy/ivyFastMap.c:400:25: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 400 | pSupp0->pArray[0] = Ivy_ObjFaninId0(pObj); | ~~~~~~~~~~~~~~~~^ src/aig/ivy/ivyFastMap.c:52:17: note: while referencing 'abc::Ivy_Supp_t_::pArray' 52 | int pArray[0]; // the support nodes | ^~~~~~ src/aig/ivy/ivyFastMap.c:407:25: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 407 | pSupp1->pArray[0] = Ivy_ObjFaninId1(pObj); | ~~~~~~~~~~~~~~~~^ src/aig/ivy/ivyFastMap.c:52:17: note: while referencing 'abc::Ivy_Supp_t_::pArray' 52 | int pArray[0]; // the support nodes | ^~~~~~ src/aig/ivy/ivyFastMap.c: In function 'void abc::Ivy_FastMapPerform(abc::Ivy_Man_t*, int, int, int)': src/aig/ivy/ivyFastMap.c:486:25: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 486 | pSupp0->pArray[0] = Ivy_ObjFaninId0(pObj); | ~~~~~~~~~~~~~~~~^ src/aig/ivy/ivyFastMap.c:52:17: note: while referencing 'abc::Ivy_Supp_t_::pArray' 52 | int pArray[0]; // the support nodes | ^~~~~~ src/aig/ivy/ivyFastMap.c:494:25: warning: array subscript 0 is outside array bounds of 'int [0]' [-Warray-bounds] 494 | pSupp1->pArray[0] = Ivy_ObjFaninId1(pObj); | ~~~~~~~~~~~~~~~~^ src/aig/ivy/ivyFastMap.c:52:17: note: while referencing 'abc::Ivy_Supp_t_::pArray' 52 | int pArray[0]; // the support nodes | ^~~~~~ [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyFraig.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyHaig.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyMan.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyMem.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyMulti.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyObj.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyOper.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyResyn.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyRwr.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivySeq.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyShow.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyTable.c [ 5%] ABC: `` Compiling: /src/aig/ivy/ivyUtil.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopBalance.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopCheck.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopDfs.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopMan.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopMem.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopObj.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopOper.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopTable.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopTruth.c [ 5%] ABC: `` Compiling: /src/aig/hop/hopUtil.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAPI.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAddAbs.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAddApply.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAddFind.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAddInv.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAddIte.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAddNeg.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAddWalsh.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAndAbs.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddAnneal.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddApa.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddApprox.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddBddAbs.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddBddCorr.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddBddIte.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddBridge.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddCache.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddCheck.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddClip.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddCof.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddCompose.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddDecomp.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddEssent.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddExact.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddExport.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddGenCof.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddGenetic.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddGroup.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddHarwell.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddInit.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddInteract.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddLCache.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddLevelQ.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddLinear.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddLiteral.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddMatMult.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddPriority.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddRead.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddRef.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddReorder.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddSat.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddSign.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddSolve.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddSplit.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddSubsetHB.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddSubsetSP.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddSymmetry.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddTable.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddUtil.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddWindow.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddCount.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddFuncs.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddGroup.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddIsop.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddLin.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddMisc.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddPort.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddReord.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddSetop.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddSymm.c [ 5%] ABC: `` Compiling: /src/bdd/cudd/cuddZddUtil.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddAuto.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddCas.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddImage.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddKmap.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddMaxMin.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddMisc.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddSet.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddSymm.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddThresh.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddTime.c [ 5%] ABC: `` Compiling: /src/bdd/extrab/extraBddUnate.c [ 5%] ABC: `` Compiling: /src/bdd/dsd/dsdApi.c [ 5%] ABC: `` Compiling: /src/bdd/dsd/dsdCheck.c [ 5%] ABC: `` Compiling: /src/bdd/dsd/dsdLocal.c [ 5%] ABC: `` Compiling: /src/bdd/dsd/dsdMan.c [ 5%] ABC: `` Compiling: /src/bdd/dsd/dsdProc.c [ 5%] ABC: `` Compiling: /src/bdd/dsd/dsdTree.c [ 5%] ABC: `` Compiling: /src/bdd/epd/epd.c [ 5%] ABC: `` Compiling: /src/bdd/mtr/mtrBasic.c [ 5%] ABC: `` Compiling: /src/bdd/mtr/mtrGroup.c [ 5%] ABC: `` Compiling: /src/bdd/reo/reoApi.c [ 5%] ABC: `` Compiling: /src/bdd/reo/reoCore.c [ 5%] ABC: `` Compiling: /src/bdd/reo/reoProfile.c [ 5%] ABC: `` Compiling: /src/bdd/reo/reoShuffle.c [ 5%] ABC: `` Compiling: /src/bdd/reo/reoSift.c [ 5%] ABC: `` Compiling: /src/bdd/reo/reoSwap.c [ 5%] ABC: `` Compiling: /src/bdd/reo/reoTransfer.c [ 5%] ABC: `` Compiling: /src/bdd/reo/reoUnits.c [ 5%] ABC: `` Compiling: /src/bdd/cas/casCore.c [ 5%] ABC: `` Compiling: /src/bdd/cas/casDec.c [ 5%] ABC: `` Compiling: /src/bdd/bbr/bbrCex.c [ 5%] ABC: `` Compiling: /src/bdd/bbr/bbrImage.c [ 5%] ABC: `` Compiling: /src/bdd/bbr/bbrNtbdd.c [ 5%] ABC: `` Compiling: /src/bdd/bbr/bbrReach.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Cluster.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Constr.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Core.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Group.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Hint.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Man.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Matrix.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Pivot.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Reach.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb1Sched.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb2Bad.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb2Core.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb2Driver.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb2Dump.c src/bdd/llb/llb2Dump.c: In function 'void abc::Llb_ManDumpReached(abc::DdManager*, abc::DdNode*, char*, char*)': src/bdd/llb/llb2Dump.c:48:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 1998 [-Wformat-overflow=] 48 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/bdd/llb/llb2Dump.c:48:22: note: directive argument in the range [0, 2147483647] 48 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ src/bdd/llb/llb2Dump.c:48:12: note: 'sprintf' output between 4 and 2147483650 bytes into a destination of size 2000 48 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 5%] ABC: `` Compiling: /src/bdd/llb/llb2Flow.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb2Image.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb3Image.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb3Nonlin.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb4Cex.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb4Image.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb4Nonlin.c [ 5%] ABC: `` Compiling: /src/bdd/llb/llb4Sweep.c [ 5%] ABC: `` Building binary: abc ld: src/base/abc/abcUtil.o: in function `abc::Abc_NodeRecognizeMux(abc::Abc_Obj_t_*, abc::Abc_Obj_t_**, abc::Abc_Obj_t_**)': /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/base/abc/abcUtil.c:1503: undefined reference to `abc::Abc_ObjChild1(abc::Abc_Obj_t_*)' ld: /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/base/abc/abcUtil.c:1478: undefined reference to `abc::Abc_ObjChild1(abc::Abc_Obj_t_*)' ld: /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/base/abc/abcUtil.c:1450: undefined reference to `abc::Abc_ObjChild1(abc::Abc_Obj_t_*)' ld: /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/base/abc/abcUtil.c:1451: undefined reference to `abc::Abc_ObjChild1(abc::Abc_Obj_t_*)' ld: /usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/base/abc/abcUtil.c:1462: undefined reference to `abc::Abc_ObjChild1(abc::Abc_Obj_t_*)' ld: src/base/abc/abcUtil.o:/usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/src/base/abc/abcUtil.c:1444: more undefined references to `abc::Abc_ObjChild1(abc::Abc_Obj_t_*)' follow gmake[1]: *** [/usr/pkgsrc/devel/yosys/work/yosys-0.46/abc/Makefile:226: abc] Error 1 gmake: *** [Makefile:818: abc/abc] Error 2 *** Error code 2 Stop. make[1]: stopped in /usr/pkgsrc/devel/yosys *** Error code 1 Stop. make: stopped in /usr/pkgsrc/devel/yosys