From 3169bd96b784cbc86bb523cb6de094580299fdb6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 5 Dec 2016 17:48:21 -0800 Subject: Compiler warnings. --- src/aig/miniaig/minilut.h | 4 ++-- src/base/abci/abc.c | 2 +- src/proof/acec/acecPolyn.c | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/aig/miniaig/minilut.h b/src/aig/miniaig/minilut.h index 953f0bd3..5040f4b7 100644 --- a/src/aig/miniaig/minilut.h +++ b/src/aig/miniaig/minilut.h @@ -214,8 +214,8 @@ static Mini_Lut_t * Mini_LutLoad( char * pFileName ) p->nSize = p->nCap = nSize; RetValue = fread( &p->nRegs, sizeof(int), 1, pFile ); RetValue = fread( &p->LutSize, sizeof(int), 1, pFile ); - p->pArray = MINI_LUT_ALLOC( int, p->nCap * p->LutSize ); - p->pTruths = MINI_LUT_ALLOC( int, p->nCap * Mini_LutWordNum(p->LutSize) ); + p->pArray = MINI_LUT_ALLOC( int, p->nCap * p->LutSize ); + p->pTruths = MINI_LUT_ALLOC( unsigned, p->nCap * Mini_LutWordNum(p->LutSize) ); RetValue = fread( p->pArray, sizeof(int), p->nCap * p->LutSize, pFile ); RetValue = fread( p->pTruths, sizeof(int), p->nCap * Mini_LutWordNum(p->LutSize), pFile ); fclose( pFile ); diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 9f04926d..7da88d3c 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -11867,7 +11867,7 @@ int Abc_CommandTestColor( Abc_Frame_t * pAbc, int argc, char ** argv ) ***********************************************************************/ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) { - Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); + //Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); int nCutMax = 1; int nLeafMax = 4; int nDivMax = 2; diff --git a/src/proof/acec/acecPolyn.c b/src/proof/acec/acecPolyn.c index 042e0c59..53ddf710 100644 --- a/src/proof/acec/acecPolyn.c +++ b/src/proof/acec/acecPolyn.c @@ -429,7 +429,7 @@ void Gia_PolynBuild2( Gia_Man_t * pGia, int fSigned, int fVerbose, int fVeryVerb { Hsh_VecMan_t * pHashC = Hsh_VecManStart( 1000 ); // hash table for constants Hsh_VecMan_t * pHashM = Hsh_VecManStart( 1000 ); // hash table for monomials - Vec_Wec_t * vLit2Mono = Vec_WecStart( Gia_ManObjNum(pGia) * 2 ); + //Vec_Wec_t * vLit2Mono = Vec_WecStart( Gia_ManObjNum(pGia) * 2 ); Hsh_VecManStop( pHashC ); Hsh_VecManStop( pHashM ); -- cgit v1.2.3