diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-17 10:32:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-17 10:32:38 -0700 |
| commit | 5f163c01520291189da1479abed8ecc8937d52b7 (patch) | |
| tree | f9999226a62552036f6ee412859937749c138379 /src/base | |
| parent | 61a88f164c07a73fe64cdfe389194ffb94f74343 (diff) | |
| download | abc-5f163c01520291189da1479abed8ecc8937d52b7.tar.gz abc-5f163c01520291189da1479abed8ecc8937d52b7.tar.bz2 abc-5f163c01520291189da1479abed8ecc8937d52b7.zip | |
Fixing broken build and compiler warnings.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/acb/acbUtil.c | 2 | ||||
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index e7003adf..2243541b 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -1015,7 +1015,7 @@ void Acb_NtkRunSim( char * pFileName[4], int nWords, int nBeam, int LevL, int Le { extern int Gia_Sim4Try( char * pFileName0, char * pFileName1, char * pFileName2, int nWords, int nBeam, int LevL, int LevU, int fOrder, int fFancy, int fUseBuf, int fVerbose ); extern void Acb_NtkRunEco( char * pFileNames[4], int fCheck, int fRandom, int fVerbose, int fVeryVerbose ); - char * pFileNames[4] = { pFileName[2], pFileName[1], fUseWeights ? "weights.txt" : NULL, pFileName[2] }; + char * pFileNames[4] = { pFileName[2], pFileName[1], fUseWeights ? (char *)"weights.txt" : NULL, pFileName[2] }; if ( Gia_Sim4Try( pFileName[0], pFileName[1], pFileName[2], nWords, nBeam, LevL, LevU, fOrder, fFancy, fUseBuf, fVerbose ) ) Acb_NtkRunEco( pFileNames, 1, fRandom, fVerbose, fVeryVerbose ); } diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 47564d14..ca5e615b 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -489,7 +489,7 @@ static inline void Wlc_NtkPrintDistribAddOne( Vec_Ptr_t * vTypes, Vec_Ptr_t * vO { Vec_Wrd_t * vType = (Vec_Wrd_t *)Vec_PtrEntry( vTypes, Type ); Vec_Wrd_t * vOccur = (Vec_Wrd_t *)Vec_PtrEntry( vOccurs, Type ); - word Entry = 0; int i; + word Entry; int i; Vec_WrdForEachEntry( vType, Entry, i ) if ( Entry == Sign ) { @@ -513,7 +513,7 @@ void Wlc_NtkPrintDistrib( Wlc_Ntk_t * p, int fTwoSides, int fVerbose ) Wlc_Obj_t * pObj, * pObjRange = NULL; int nCountRange = 0; Vec_Ptr_t * vTypes, * vOccurs; Vec_Int_t * vAnds = Vec_IntStart( WLC_OBJ_NUMBER ); - word Sign; + word Sign = 0; int i, k, s, s0, s1; if ( Wlc_NtkPoNum(p) != 2 ) fTwoSides = 0; |