From 141c1de0a278bcb18070f2d6e3edfc0b927436fb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 8 Oct 2014 10:52:32 -0700 Subject: Compiler warnings. --- src/map/if/ifDsd.c | 2 ++ src/map/if/ifTune.c | 2 +- src/misc/extra/module.make | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index cfccc362..f9f25437 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -2754,6 +2754,8 @@ void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fVerbose Value = Abc_TtIsUnate( pTruth, nVars ); else if ( fThresh ) Value = Extra_ThreshCheck( pTruth, nVars, pW ); + else + Value = 0; Perm = 0; if ( fVeryVerbose ) printf( "\n" ); diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index defafcb4..f87d7c11 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -740,7 +740,7 @@ int If_ManSatDeriveGiaFromBits( void * pGia, Ifn_Ntk_t * p, Vec_Int_t * vValues, int Type = p->Nodes[i].Type; int nFans = p->Nodes[i].nFanins; int * pFans = p->Nodes[i].Fanins; - int iFanin = p->Nodes[i].iFirst; + //int iFanin = p->Nodes[i].iFirst; assert( nFans <= 6 ); if ( Type == IFN_DSD_AND ) { diff --git a/src/misc/extra/module.make b/src/misc/extra/module.make index 87ba8559..14f2c71c 100644 --- a/src/misc/extra/module.make +++ b/src/misc/extra/module.make @@ -18,6 +18,6 @@ SRC += src/misc/extra/extraBddAuto.c \ src/misc/extra/extraUtilProgress.c \ src/misc/extra/extraUtilReader.c \ src/misc/extra/extraUtilSupp.c \ - src/misc/extra/extraUtilTrash.c \ + src/misc/extra/extraUtilThrash.c \ src/misc/extra/extraUtilTruth.c \ src/misc/extra/extraUtilUtil.c -- cgit v1.2.3