From e149cdcd77de5023782cf2cd16e98aa20473b89c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 3 May 2020 12:15:54 -0700 Subject: Compiler warnings. --- src/aig/gia/giaResub.c | 1 - src/map/mio/mioUtils.c | 1 - 2 files changed, 2 deletions(-) diff --git a/src/aig/gia/giaResub.c b/src/aig/gia/giaResub.c index 4dd8951f..9de0ffb8 100644 --- a/src/aig/gia/giaResub.c +++ b/src/aig/gia/giaResub.c @@ -702,7 +702,6 @@ int Gia_ManFindGateGateInt( word * pOffSet, word * pOnSet, Vec_Ptr_t * vDivs, in int fCompB = Abc_LitIsCompl(iDiv1); int iDiv10 = Abc_Lit2Var(iDiv1 >> 16); int iDiv11 = Abc_Lit2Var(iDiv1 & 0xFFF); - word * pDiv0 = (word *)Vec_PtrEntry(vDivs, Abc_Lit2Var(iDiv0)); word * pDiv10 = (word *)Vec_PtrEntry(vDivs, Abc_Lit2Var(iDiv10)); word * pDiv11 = (word *)Vec_PtrEntry(vDivs, Abc_Lit2Var(iDiv11)); Abc_TtAndCompl( pDivTempB, pDiv10, Abc_LitIsCompl(iDiv10), pDiv11, Abc_LitIsCompl(iDiv11), nWords ); diff --git a/src/map/mio/mioUtils.c b/src/map/mio/mioUtils.c index 19b69861..c7180e1c 100644 --- a/src/map/mio/mioUtils.c +++ b/src/map/mio/mioUtils.c @@ -355,7 +355,6 @@ void Mio_WriteLibraryVerilog( FILE * pFile, Mio_Library_t * pLib, int fPrintSops Vec_Ptr_t * vGates = Vec_PtrAlloc( 1000 ); Vec_Ptr_t * vNames = Vec_PtrAlloc( 100 ); int i, nCells; - int fAllPins = fShort || Mio_CheckGates( pLib ); if ( fSelected ) { Mio_Cell2_t * pCells = Mio_CollectRootsNewDefault2( 6, &nCells, 0 ); -- cgit v1.2.3