summaryrefslogtreecommitdiffstats
path: root/src/base
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-01-21 11:13:18 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2022-01-21 11:13:18 -0800
commitd892e63256063ba04f20ca347121116bc67a30e2 (patch)
treee43d69f8ba87694e25d95509fb72f004334fceb5 /src/base
parent79f04c66534c1a517481a2006dcbbb8e27d1688c (diff)
downloadabc-d892e63256063ba04f20ca347121116bc67a30e2.tar.gz
abc-d892e63256063ba04f20ca347121116bc67a30e2.tar.bz2
abc-d892e63256063ba04f20ca347121116bc67a30e2.zip
Compiler warnings.
Diffstat (limited to 'src/base')
-rw-r--r--src/base/wln/wlnRead.c12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/base/wln/wlnRead.c b/src/base/wln/wlnRead.c
index 492005fd..71b1b98c 100644
--- a/src/base/wln/wlnRead.c
+++ b/src/base/wln/wlnRead.c
@@ -953,7 +953,7 @@ void Rtl_NtkPrintConst( Rtl_Ntk_t * p, int * pConst )
}
fprintf( Rtl_NtkFile(p), " %d\'", pConst[0] );
for ( i = pConst[0] - 1; i >= 0; i-- )
- fprintf( Rtl_NtkFile(p), "%d", Abc_InfoHasBit(pConst+1,i) );
+ fprintf( Rtl_NtkFile(p), "%d", Abc_InfoHasBit((unsigned *)pConst+1,i) );
}
void Rtl_NtkPrintSlice( Rtl_Ntk_t * p, int * pSlice )
{
@@ -1079,7 +1079,7 @@ int Rtl_NtkReadConst( Rtl_Ntk_t * p, char * pConst )
pArray = Vec_IntEntryP( vConst, RetVal + 1 );
for ( i = Length-1; i >= Length-Width; i-- )
if ( pConst[i] == '1' )
- Abc_InfoSetBit( pArray, Length-1-i );
+ Abc_InfoSetBit( (unsigned *)pArray, Length-1-i );
}
else
{
@@ -1145,7 +1145,7 @@ int Rtl_NtkReadWire( Rtl_Ntk_t * p, int iPos )
Vec_IntClear( &p->pLib->vAttrTemp );
Vec_IntForEachEntryStart( p->pLib->vTokens, Entry, i, iPos )
{
- char * pTok = Rtl_NtkTokStr(p, i);
+ //char * pTok = Rtl_NtkTokStr(p, i);
if ( Entry == -1 )
break;
else if ( Rtl_NtkTokCheck(p, Entry, RTL_WIDTH) )
@@ -1288,7 +1288,7 @@ int Rtl_NtkReadNtk( Rtl_Lib_t * pLib, int Mod )
void Rtl_NtkReportUndefs( Rtl_Ntk_t * p )
{
Vec_Int_t * vNames, * vCounts;
- int i, iName, * pCell, nUndef = 0;
+ int i, iName, * pCell;
vNames = Vec_IntAlloc( 10 );
vCounts = Vec_IntAlloc( 10 );
Rtl_NtkForEachCell( p, pCell, i )
@@ -1429,7 +1429,7 @@ void Rtl_NtkCollectConstRange( Rtl_Ntk_t * p, int * pConst )
nLimit = 32;
//assert( pConst[0] > 0 );
for ( i = 0; i < nLimit; i++ )
- Vec_IntPush( &p->vBitTemp, Abc_InfoHasBit(pConst+1,i) );
+ Vec_IntPush( &p->vBitTemp, Abc_InfoHasBit((unsigned *)pConst+1,i) );
}
void Rtl_NtkCollectSliceRange( Rtl_Ntk_t * p, int * pSlice )
{
@@ -1671,7 +1671,7 @@ void Rtl_LibBlast( Rtl_Lib_t * pLib )
void Rtl_LibPreprocess( Rtl_Lib_t * pLib )
{
abctime clk = Abc_Clock();
- Rtl_Ntk_t * p1, * p2, * p;
+ Rtl_Ntk_t * p1 = NULL, * p2 = NULL, * p;
int i, k, Status, fFound = 0;
printf( "Performing preprocessing for verification.\n" );
// find similar modules