Fixing some update gcc.

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<<nVars) -2;
     int nSizeW = 1 << nSizeLog;
-    char pFileName[20];
+    char pFileName[200];
     unsigned * pTable;
     Vec_Wec_t * vNpns  = Vec_WecStart( 32 );
     Vec_Wec_t * vNpns_ = Vec_WecStart( 32 );
diff --git a/src/opt/dau/dauNpn2.c b/src/opt/dau/dauNpn2.c
index 58b23a8c..3c6bee4d 100644
--- a/src/opt/dau/dauNpn2.c
+++ b/src/opt/dau/dauNpn2.c
@@ -348,7 +348,7 @@ unsigned * Dtt_ManLoadClasses( int nVars, int * pnClasses )
     unsigned * pTable = NULL;
     int nSizeLog = (1<<nVars) -2;
     int nSizeW = 1 << nSizeLog;
-    char pFileName[20];
+    char pFileName[200];
     sprintf( pFileName, "tableW%d.data", nSizeLog );
     pTable = Dau_ReadFile2( pFileName, nSizeW );
     if (pTable == NULL)
diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c
index bc4e3ffc..ba4f0448 100644
--- a/src/proof/pdr/pdrInv.c
+++ b/src/proof/pdr/pdrInv.c
@@ -670,7 +670,7 @@ Vec_Str_t * Pdr_InvPrintStr( Vec_Int_t * vInv, Vec_Int_t * vCounts )
     Vec_Int_t * vMap = Pdr_InvMap( vCounts );
     int nVars = Vec_IntSize(vCounts) - Vec_IntCountZero(vCounts);
     int i, k, * pCube, * pList = Vec_IntArray(vInv);
-    char * pBuffer = ABC_ALLOC( char, nVars );
+    char * pBuffer = ABC_ALLOC( char, (size_t)(unsigned)nVars );
     for ( i = 0; i < nVars; i++ )
         pBuffer[i] = '-';
     Pdr_ForEachCube( pList, pCube, i )
diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c
index 08571a3b..fc77398a 100644
--- a/src/sat/bmc/bmcMaj.c
+++ b/src/sat/bmc/bmcMaj.c
@@ -577,7 +577,7 @@ static inline int Exa_ManEval( Exa_Man_t * p )
 void Exa_ManDumpBlif( Exa_Man_t * p, int fCompl )
 {
     char Buffer[1000];
-    char FileName[1000];
+    char FileName[1100];
     FILE * pFile;
     int i, k, iVar;
     if ( fCompl )