From 8b6de217f6476649763ba95a0acf18fcea69557a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 5 Feb 2017 11:08:44 -0800 Subject: Compiler warnings. --- src/proof/pdr/pdrMan.c | 40 ++++++++++++++++++++++------------------ 1 file changed, 22 insertions(+), 18 deletions(-) diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c index f682e946..13e0b23c 100644 --- a/src/proof/pdr/pdrMan.c +++ b/src/proof/pdr/pdrMan.c @@ -53,16 +53,18 @@ Vec_Int_t * Pdr_ManDeriveFlopPriorities3( Gia_Man_t * p, int fMuxCtrls ) Gia_ManCreateRefs(p); // discount references if ( fDiscount ) - Gia_ManForEachAnd( p, pObj, i ) { - if ( !Gia_ObjIsMuxType(pObj) ) - continue; - pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); - pData0 = Gia_Regular(pData0); - pData1 = Gia_Regular(pData1); - p->pRefs[Gia_ObjId(p, pCtrl)]--; - if ( pData0 == pData1 ) - p->pRefs[Gia_ObjId(p, pData0)]--; + Gia_ManForEachAnd( p, pObj, i ) + { + if ( !Gia_ObjIsMuxType(pObj) ) + continue; + pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); + pData0 = Gia_Regular(pData0); + pData1 = Gia_Regular(pData1); + p->pRefs[Gia_ObjId(p, pCtrl)]--; + if ( pData0 == pData1 ) + p->pRefs[Gia_ObjId(p, pData0)]--; + } } // create flop costs vCosts = Vec_IntAlloc( Gia_ManRegNum(p) ); @@ -160,16 +162,18 @@ Vec_Int_t * Pdr_ManDeriveFlopPriorities2( Gia_Man_t * p, int fMuxCtrls ) Gia_ManCreateRefs(p); // discount references if ( fDiscount ) - Gia_ManForEachAnd( p, pObj, i ) { - if ( !Gia_ObjIsMuxType(pObj) ) - continue; - pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); - pData0 = Gia_Regular(pData0); - pData1 = Gia_Regular(pData1); - p->pRefs[Gia_ObjId(p, pCtrl)]--; - if ( pData0 == pData1 ) - p->pRefs[Gia_ObjId(p, pData0)]--; + Gia_ManForEachAnd( p, pObj, i ) + { + if ( !Gia_ObjIsMuxType(pObj) ) + continue; + pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); + pData0 = Gia_Regular(pData0); + pData1 = Gia_Regular(pData1); + p->pRefs[Gia_ObjId(p, pCtrl)]--; + if ( pData0 == pData1 ) + p->pRefs[Gia_ObjId(p, pData0)]--; + } } Gia_ManForEachRo( p, pObj, i ) { -- cgit v1.2.3