diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 19:09:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 19:09:02 -0700 |
| commit | f026e6533987a1628be38cfe828f167d4aaff760 (patch) | |
| tree | c75526c8db14580f581137701a0c6f1a17e06351 /src/base | |
| parent | e149cdcd77de5023782cf2cd16e98aa20473b89c (diff) | |
| download | abc-f026e6533987a1628be38cfe828f167d4aaff760.tar.gz abc-f026e6533987a1628be38cfe828f167d4aaff760.tar.bz2 abc-f026e6533987a1628be38cfe828f167d4aaff760.zip | |
Compiler warnings and errors.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 6 | ||||
| -rw-r--r-- | src/base/abci/abcNtbdd.c | 2 |
2 files changed, 3 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 70ef45ca..9107af22 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -32841,7 +32841,6 @@ usage: ***********************************************************************/ int Abc_CommandAbc9ReadSim( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern Vec_Wrd_t * Gia_ManSimPatRead( char * pFileName ); int c, fOutputs = 0, nWords = 4, fVerbose = 0; char ** pArgvNew; int nArgcNew; @@ -32893,7 +32892,7 @@ int Abc_CommandAbc9ReadSim( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( fOutputs ) { Vec_WrdFreeP( &pAbc->pGia->vSimsPo ); - pAbc->pGia->vSimsPo = Gia_ManSimPatRead( pArgvNew[0] ); + pAbc->pGia->vSimsPo = Gia_ManSimPatRead( pArgvNew[0], NULL ); if ( Vec_WrdSize(pAbc->pGia->vSimsPo) % Gia_ManCoNum(pAbc->pGia) != 0 ) { Vec_WrdFreeP( &pAbc->pGia->vSimsPo ); @@ -32907,7 +32906,7 @@ int Abc_CommandAbc9ReadSim( Abc_Frame_t * pAbc, int argc, char ** argv ) else { Vec_WrdFreeP( &pAbc->pGia->vSimsPi ); - pAbc->pGia->vSimsPi = Gia_ManSimPatRead( pArgvNew[0] ); + pAbc->pGia->vSimsPi = Gia_ManSimPatRead( pArgvNew[0], NULL ); if ( Vec_WrdSize(pAbc->pGia->vSimsPi) % Gia_ManCiNum(pAbc->pGia) != 0 ) { Vec_WrdFreeP( &pAbc->pGia->vSimsPi ); @@ -32944,7 +32943,6 @@ usage: ***********************************************************************/ int Abc_CommandAbc9WriteSim( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Gia_ManSimPatWrite( char * pFileName, Vec_Wrd_t * vSimsIn, int nWords ); int c, fOutputs = 0, fVerbose = 0; char ** pArgvNew; int nArgcNew; diff --git a/src/base/abci/abcNtbdd.c b/src/base/abci/abcNtbdd.c index d3a19d83..aa35aa6a 100644 --- a/src/base/abci/abcNtbdd.c +++ b/src/base/abci/abcNtbdd.c @@ -286,7 +286,7 @@ int Abc_NtkBddToMuxesPerformGlo( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkNew, int Limi // complement the global functions Abc_NtkForEachCo( pNtk, pObj, i ) { - DdNode * bFunc = Abc_ObjGlobalBdd(pObj); + DdNode * bFunc = (DdNode *)Abc_ObjGlobalBdd(pObj); pObjNew = Abc_NodeBddToMuxes_rec( dd, Cudd_Regular(bFunc), pNtkNew, tBdd2Node ); if ( Cudd_IsComplement(bFunc) ) pObjNew = Abc_NtkCreateNodeInv( pNtkNew, pObjNew ); |