diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-23 19:56:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-23 19:56:26 -0700 |
| commit | 85a94766a6b4e1870279110a8620cba92832367f (patch) | |
| tree | cd387f17e1110d079e313043ca912e264602f2d5 /src/aig | |
| parent | 67c47fa44aaa566d10abb154b3f89a9d427f5581 (diff) | |
| download | abc-85a94766a6b4e1870279110a8620cba92832367f.tar.gz abc-85a94766a6b4e1870279110a8620cba92832367f.tar.bz2 abc-85a94766a6b4e1870279110a8620cba92832367f.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaAiger.c | 2 | ||||
| -rw-r--r-- | src/aig/gia/giaUtil.c | 2 | ||||
| -rw-r--r-- | src/aig/miniaig/ndr.h | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 817a15fe..c2c0e969 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -399,7 +399,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fGiaSi while ( *pCur == ' ' ) pCur++; // skip till the end of line - for ( pName = pCur; *pCur && *pCur != '\n'; pCur++ ); + for ( pName = (char *)pCur; *pCur && *pCur != '\n'; pCur++ ); if ( *pCur == '\n' ) *pCur = 0; // save the name diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 0a40e63e..431be5b7 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -2618,7 +2618,7 @@ Gia_Man_t * Gia_ManComputeCofs2( Gia_Man_t * p ) Gia_ManForEachCi( p, pObj, i ) { pObj->Value = Gia_ManAppendCi(pNew); - assert( pObj->Value = Abc_Var2Lit( 1 + Gia_ObjCioId(pObj), 0 ) ); + assert( (int)pObj->Value == Abc_Var2Lit( 1 + Gia_ObjCioId(pObj), 0 ) ); } Gia_ManHashAlloc( pNew ); Gia_ManForEachRi( p, pSink, o ) diff --git a/src/aig/miniaig/ndr.h b/src/aig/miniaig/ndr.h index 78e5cd23..91663616 100644 --- a/src/aig/miniaig/ndr.h +++ b/src/aig/miniaig/ndr.h @@ -517,7 +517,7 @@ static inline void Ndr_WriteVerilog( char * pFileName, void * pDesign, char ** p Ndr_Data_t * p = (Ndr_Data_t *)pDesign; int Mod; FILE * pFile = pFileName ? fopen( pFileName, "wb" ) : stdout; - if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ); return; } + if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ? pFileName : "stdout" ); return; } Ndr_DesForEachMod( p, Mod ) Ndr_WriteVerilogModule( pFile, p, Mod, pNames, fSimple ); @@ -633,7 +633,7 @@ static inline void Ndr_Write( char * pFileName, void * pDesign ) { Ndr_Data_t * p = (Ndr_Data_t *)pDesign; int RetValue; FILE * pFile = fopen( pFileName, "wb" ); - if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ); return; } + if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ? pFileName : "stdout" ); return; } RetValue = (int)fwrite( p->pBody, 4, p->pBody[0], pFile ); RetValue = (int)fwrite( p->pHead, 1, p->pBody[0], pFile ); fclose( pFile ); |