Skip to content

A
abc
Commit 141c1de0 by Alan Mishchenko
Options

Compiler warnings.

parent e4d58876
Showing with 4 additions and 2 deletions
src/map/if/ifDsd.c
...@@ -2754,6 +2754,8 @@ void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fVerbose ...@@ -2754,6 +2754,8 @@ void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fVerbose
Value = Abc_TtIsUnate( pTruth, nVars ); Value = Abc_TtIsUnate( pTruth, nVars );
else if ( fThresh ) else if ( fThresh )
Value = Extra_ThreshCheck( pTruth, nVars, pW ); Value = Extra_ThreshCheck( pTruth, nVars, pW );
else
Value = 0;
Perm = 0; Perm = 0;
if ( fVeryVerbose ) if ( fVeryVerbose )
printf( "\n" ); printf( "\n" );
......
src/map/if/ifTune.c
...@@ -740,7 +740,7 @@ int If_ManSatDeriveGiaFromBits( void * pGia, Ifn_Ntk_t * p, Vec_Int_t * vValues, ...@@ -740,7 +740,7 @@ int If_ManSatDeriveGiaFromBits( void * pGia, Ifn_Ntk_t * p, Vec_Int_t * vValues,
int Type = p->Nodes[i].Type; int Type = p->Nodes[i].Type;
int nFans = p->Nodes[i].nFanins; int nFans = p->Nodes[i].nFanins;
int * pFans = p->Nodes[i].Fanins; int * pFans = p->Nodes[i].Fanins;
int iFanin = p->Nodes[i].iFirst; //int iFanin = p->Nodes[i].iFirst;
assert( nFans <= 6 ); assert( nFans <= 6 );
if ( Type == IFN_DSD_AND ) if ( Type == IFN_DSD_AND )
{ {
......
src/misc/extra/module.make
...@@ -18,6 +18,6 @@ SRC += src/misc/extra/extraBddAuto.c \ ...@@ -18,6 +18,6 @@ SRC += src/misc/extra/extraBddAuto.c \
src/misc/extra/extraUtilProgress.c \ src/misc/extra/extraUtilProgress.c \
src/misc/extra/extraUtilReader.c \ src/misc/extra/extraUtilReader.c \
src/misc/extra/extraUtilSupp.c \ src/misc/extra/extraUtilSupp.c \
src/misc/extra/extraUtilTrash.c \ src/misc/extra/extraUtilThrash.c \
src/misc/extra/extraUtilTruth.c \ src/misc/extra/extraUtilTruth.c \
src/misc/extra/extraUtilUtil.c src/misc/extra/extraUtilUtil.c
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment