From ee1bd8f0bee0678a289e086676adad2f35e3e2ae Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 24 Jul 2019 11:44:28 +0700 Subject: Fixing some update gcc. --- src/aig/aig/aigUtil.c | 2 +- src/aig/gia/giaAgi.c | 2 +- src/aig/gia/giaScript.c | 2 +- src/base/abci/abcExact.c | 2 +- src/base/ver/verCore.c | 2 +- src/base/wlc/wlcReadSmt.c | 2 +- src/bdd/cas/casCore.c | 2 +- src/map/if/ifDsd.c | 2 +- src/opt/dau/dauMerge.c | 2 +- src/opt/dau/dauNpn.c | 4 ++-- src/opt/dau/dauNpn2.c | 2 +- src/proof/pdr/pdrInv.c | 2 +- src/sat/bmc/bmcMaj.c | 2 +- 13 files changed, 14 insertions(+), 14 deletions(-) diff --git a/src/aig/aig/aigUtil.c b/src/aig/aig/aigUtil.c index 767015c9..52f9a184 100644 --- a/src/aig/aig/aigUtil.c +++ b/src/aig/aig/aigUtil.c @@ -725,7 +725,7 @@ void Aig_ManPrintVerbose( Aig_Man_t * p, int fHaig ) void Aig_ManDump( Aig_Man_t * p ) { static int Counter = 0; - char FileName[20]; + char FileName[200]; // dump the logic into a file sprintf( FileName, "aigbug\\%03d.blif", ++Counter ); Aig_ManDumpBlif( p, FileName, NULL, NULL ); diff --git a/src/aig/gia/giaAgi.c b/src/aig/gia/giaAgi.c index 3acf75a6..2db087d5 100644 --- a/src/aig/gia/giaAgi.c +++ b/src/aig/gia/giaAgi.c @@ -76,7 +76,7 @@ static inline int Agi_ObjIsRo( Agi_Man_t * p, int i ) { ret static inline int Agi_ObjIsPo( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_PI) == AGI_PO; } static inline int Agi_ObjIsRi( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_PI) == AGI_RI; } static inline int Agi_ObjIsCi( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_RO) == AGI_RO; } -static inline int Agi_ObjIsCo( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_RO) == AGI_PO; } +static inline int Agi_ObjIsCo( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_PO) == AGI_PO; } static inline int Agi_ObjIsNode( Agi_Man_t * p, int i ) { return p->pObjs[i] < AGI_C0; } static inline int Agi_ObjIsBuf( Agi_Man_t * p, int i ) { return Agi_ObjLit0(p, i) == Agi_ObjLit1(p, i); } static inline int Agi_ObjIsAnd( Agi_Man_t * p, int i ) { return Agi_ObjIsNode(p, i) && Agi_ObjLit0(p, i) < Agi_ObjLit1(p, i); } diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index fcf97511..127dc3a4 100644 --- a/src/aig/gia/giaScript.c +++ b/src/aig/gia/giaScript.c @@ -609,7 +609,7 @@ void Gia_ManPerformFlow( int fIsMapped, int nAnds, int nLevels, int nLutSize, in ***********************************************************************/ void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, int nCutNum, int fBalance, int fMinAve, int fUseMfs, int fVerbose ) { - char Comm1[100], Comm2[100], Comm3[100], Comm4[100]; + char Comm1[1000], Comm2[1000], Comm3[1000], Comm4[1000]; sprintf( Comm1, "&synch2 -K %d -C 500; &if -m%s -K %d -C %d; %s &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" ); sprintf( Comm2, "&dch -C 500; &if -m%s -K %d -C %d; %s &save", fMinAve?"t":"", nLutSize, nCutNum+4, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" ); sprintf( Comm3, "&synch2 -K %d -C 500; &lf -m%s -E 5 -K %d -C %d; %s &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" ); diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index b717f5b4..5c5055d1 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -388,7 +388,7 @@ static inline Ses_Store_t * Ses_StoreAlloc( int nBTLimit, int fMakeAIG, int fVer pStore->fMakeAIG = fMakeAIG; pStore->fVerbose = fVerbose; pStore->nBTLimit = nBTLimit; - memset( pStore->pEntries, 0, SES_STORE_TABLE_SIZE ); + memset( pStore->pEntries, 0, sizeof(char)*SES_STORE_TABLE_SIZE ); pStore->pSat = sat_solver_new(); diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index 8ffad68b..d8d87f4c 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -1086,7 +1086,7 @@ int Ver_ParseInitial( Ver_Man_t * pMan, Abc_Ntk_t * pNtk ) ***********************************************************************/ int Ver_ParseAssign( Ver_Man_t * pMan, Abc_Ntk_t * pNtk ) { - char Buffer[1000], Buffer2[1000]; + char Buffer[1000], Buffer2[2000]; Ver_Stream_t * p = pMan->pReader; Abc_Obj_t * pNode, * pNet; char * pWord, * pName, * pEquation; diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index 230b34ad..768ceb3e 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -746,7 +746,7 @@ int Smt_PrsBuildNode( Wlc_Ntk_t * pNtk, Smt_Prs_t * p, int iNode, int RangeOut, } else if ( Type == WLC_OBJ_ROTATE_R || Type == WLC_OBJ_ROTATE_L ) { - char Buffer[10]; + char Buffer[100]; assert( Value1 >= 0 ); sprintf( Buffer, "%d", Value1 ); NameId = Smt_PrsBuildConstant( pNtk, Buffer, -1, NULL ); diff --git a/src/bdd/cas/casCore.c b/src/bdd/cas/casCore.c index b283d6f0..21c21d20 100644 --- a/src/bdd/cas/casCore.c +++ b/src/bdd/cas/casCore.c @@ -258,7 +258,7 @@ int Abc_CascadeExperiment( char * pFileGeneric, DdManager * dd, DdNode ** pOutpu // verify the results if ( fCheck ) { - char Command[200]; + char Command[300]; sprintf( Command, "cec %s %s", FileNameIni, FileNameFin ); Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command ); } diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index 802e6892..ddfc1036 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -264,7 +264,7 @@ If_DsdObj_t * If_DsdObjAlloc( If_DsdMan_t * p, int Type, int nFans ) If_DsdMan_t * If_DsdManAlloc( int nVars, int LutSize ) { If_DsdMan_t * p; int v; - char pFileName[10]; + char pFileName[100]; assert( nVars <= DAU_MAX_VAR ); sprintf( pFileName, "%02d.dsd", nVars ); p = ABC_CALLOC( If_DsdMan_t, 1 ); diff --git a/src/opt/dau/dauMerge.c b/src/opt/dau/dauMerge.c index 534a0237..d6b3c0ba 100644 --- a/src/opt/dau/dauMerge.c +++ b/src/opt/dau/dauMerge.c @@ -589,7 +589,7 @@ char * Dau_DsdMerge( char * pDsd0i, int * pPerm0, char * pDsd1i, int * pPerm1, i int fVerbose = 0; int fCheck = 0; static int Counter = 0; - static char pRes[DAU_MAX_STR]; + static char pRes[2*DAU_MAX_STR+10]; char pDsd0[DAU_MAX_STR]; char pDsd1[DAU_MAX_STR]; int pMatches0[DAU_MAX_STR]; diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index fc261edc..2b9e1915 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -115,7 +115,7 @@ void Dau_TruthEnum(int nVars) { FILE * pFile; int RetValue; - char pFileName[20]; + char pFileName[200]; sprintf( pFileName, "tableW%d.data", nSizeLog ); pFile = fopen( pFileName, "wb" ); RetValue = fwrite( pTable, 8, nSizeW, pFile ); @@ -180,7 +180,7 @@ void Dau_NetworkEnum(int nVars) int UseTwo = 0; int nSizeLog = (1<