From f33c3007b2641f6f17c3511cb6f56d68d0b05453 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 21 Feb 2013 12:22:58 -0800 Subject: Compiler warnings. --- src/aig/gia/giaIf.c | 3 ++- src/aig/gia/giaStg.c | 2 +- src/aig/gia/giaTest.c | 4 ++-- src/proof/abs/absOldRef.c | 2 +- src/sat/bmc/bmcUnroll.c | 6 +++--- 5 files changed, 9 insertions(+), 8 deletions(-) diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 54af1224..931fa4a1 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -844,6 +844,7 @@ int Gia_ManFromIfStrNode( Gia_Man_t * pNew, int iObj, Vec_Int_t * vLeaves, Vec_I // write packing Vec_IntPush( vPacking, 2 ); Vec_IntPush( vPacking, Abc_Lit2Var(iObjLit1) ); + iObjLit2 = -1; } /* // write root node @@ -1093,7 +1094,7 @@ void Gia_ManTransferPacking( Gia_Man_t * pGia, Gia_Man_t * p ) { Vec_Int_t * vPackingNew; Gia_Obj_t * pObj, * pObjNew; - int i, k, Entry, nEntries, nEntries2, MaxSize = -1; + int i, k, Entry, nEntries, nEntries2; if ( pGia->vPacking == NULL ) return; nEntries = Vec_IntEntry( pGia->vPacking, 0 ); diff --git a/src/aig/gia/giaStg.c b/src/aig/gia/giaStg.c index 0cb9f4ea..40c40139 100644 --- a/src/aig/gia/giaStg.c +++ b/src/aig/gia/giaStg.c @@ -204,7 +204,7 @@ Vec_Int_t * Gia_ManStgReadLines( char * pFileName, int * pnIns, int * pnOuts, in FILE * pFile; if ( !strcmp(pFileName + strlen(pFileName) - 3, "aig") ) { - printf( "Input file \"%s\" has extension \"aig\".\n", pFileName, "aig" ); + printf( "Input file \"%s\" has extension \"%s\".\n", pFileName, "aig" ); return NULL; } pFile = fopen( pFileName, "rb" ); diff --git a/src/aig/gia/giaTest.c b/src/aig/gia/giaTest.c index 73a199e5..15f3c69b 100644 --- a/src/aig/gia/giaTest.c +++ b/src/aig/gia/giaTest.c @@ -126,7 +126,7 @@ static inline void Mig_ObjSetId( Mig_Obj_t * p, int v ) { static inline int Mig_ObjCioId( Mig_Obj_t * p ) { assert( Mig_ObjIsTerm(p) ); return Mig_FanId( p, 2 ); } static inline void Mig_ObjSetCioId( Mig_Obj_t * p, int v ) { assert( Mig_ObjIsTerm(p) ); Mig_FanSetId( p, 2, v ); } static inline int Mig_ObjPhase( Mig_Obj_t * p ) { return Mig_FanCompl( p, 2 ); } -static inline int Mig_ObjSetPhase( Mig_Obj_t * p, int v ) { Mig_FanSetCompl( p, 2, 1 ); } +static inline void Mig_ObjSetPhase( Mig_Obj_t * p, int v ) { Mig_FanSetCompl( p, 2, 1 ); } static inline Mig_Man_t * Mig_ObjMan( Mig_Obj_t * p ) { return *((Mig_Man_t**)(p - Mig_IdCell(Mig_ObjId(p)) - 1)); } static inline Mig_Obj_t ** Mig_ObjPageP( Mig_Obj_t * p ) { return *((Mig_Obj_t***)(p - Mig_IdCell(Mig_ObjId(p))) - 1);} @@ -803,7 +803,7 @@ static inline int Mpm_ObjDeriveCut( Mpm_Man_t * p, Mpm_Cut_t * pCut0, Mpm_Cut_t } } pCut->hNext = 0; - pCut->iFunc = ~(unsigned)0; + pCut->iFunc = 0; pCut->iFunc = ~pCut->iFunc; pCut->fUseless = 0; return 1; } diff --git a/src/proof/abs/absOldRef.c b/src/proof/abs/absOldRef.c index 3199803f..6cc5ff6d 100644 --- a/src/proof/abs/absOldRef.c +++ b/src/proof/abs/absOldRef.c @@ -411,7 +411,7 @@ Vec_Int_t * Saig_ManCexAbstractionFlops( Aig_Man_t * p, Gia_ParAbs_t * pPars ) int nUseStart = 0; Aig_Man_t * pAbs, * pTemp; Vec_Int_t * vFlops; - int Iter, clk = clock(), clk2 = clock();//, iFlop; + int Iter;//, clk = clock(), clk2 = clock();//, iFlop; assert( Aig_ManRegNum(p) > 0 ); if ( pPars->fVerbose ) printf( "Performing counter-example-based refinement.\n" ); diff --git a/src/sat/bmc/bmcUnroll.c b/src/sat/bmc/bmcUnroll.c index b9c414ca..c4a5a265 100644 --- a/src/sat/bmc/bmcUnroll.c +++ b/src/sat/bmc/bmcUnroll.c @@ -210,7 +210,7 @@ void Unr_ManSetup( Unr_Man_t * p ) // create const0 node pUnrObj = Unr_ManObj( p, pInts - p->pObjs ); pUnrObj->RankMax = 1; - pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = UNR_DIFF_NULL; + pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = (unsigned)UNR_DIFF_NULL; pUnrObj->Res[0] = 0; // const0 pInts += sizeof(Unr_Obj_t) / sizeof(int); // mark up the entries @@ -224,7 +224,7 @@ void Unr_ManSetup( Unr_Man_t * p ) { pObj = Gia_ManObj( p->pGia, iObj ); pUnrObj = Unr_ManObj( p, pInts - p->pObjs ); - pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = UNR_DIFF_NULL; + pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = (unsigned)UNR_DIFF_NULL; if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) ) { pUnrObj->hFan0 = Vec_IntEntry( vMap, Gia_ObjFaninId0(pObj, iObj) ); @@ -433,7 +433,7 @@ Gia_Man_t * Unr_ManUnrollSimple( Gia_Man_t * pGia, int nFrames ) void Unr_ManTest( Gia_Man_t * pGia ) { // Gia_Man_t * pFrames0, * pFrames1; - int nFrames = 10; +// int nFrames = 10; Unr_Man_t * p; p = Unr_ManAlloc( pGia ); Unr_ManSetup( p ); -- cgit v1.2.3