From d6804597a397379f826810a736ccbe99bf56c497 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 24 Jun 2007 08:01:00 -0700
Subject: Version abc70624

---
 src/aig/dar/darObj.c | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'src/aig/dar/darObj.c')

diff --git a/src/aig/dar/darObj.c b/src/aig/dar/darObj.c
index 2db13c71..85b142e6 100644
--- a/src/aig/dar/darObj.c
+++ b/src/aig/dar/darObj.c
@@ -122,9 +122,15 @@ void Dar_ObjConnect( Dar_Man_t * p, Dar_Obj_t * pObj, Dar_Obj_t * pFan0, Dar_Obj
     pObj->pFanin1 = pFan1;
     // increment references of the fanins and add their fanouts
     if ( pFan0 != NULL )
+    {
+        assert( Dar_ObjFanin0(pObj)->Type > 0 );
         Dar_ObjRef( Dar_ObjFanin0(pObj) );
+    }
     if ( pFan1 != NULL )
+    {
+        assert( Dar_ObjFanin1(pObj)->Type > 0 );
         Dar_ObjRef( Dar_ObjFanin1(pObj) );
+    }
     // set level and phase
     if ( pFan1 != NULL )
     {
@@ -270,10 +276,12 @@ void Dar_ObjReplace( Dar_Man_t * p, Dar_Obj_t * pObjOld, Dar_Obj_t * pObjNew, in
     // the object cannot be the same
     assert( pObjOld != pObjNewR );
     // make sure object is not pointing to itself
-//    assert( pObjOld != Dar_ObjFanin0(pObjNewR) );
+    assert( pObjOld != Dar_ObjFanin0(pObjNewR) );
     assert( pObjOld != Dar_ObjFanin1(pObjNewR) );
     // recursively delete the old node - but leave the object there
+    pObjNewR->nRefs++;
     Dar_ObjDelete_rec( p, pObjOld, 0 );
+    pObjNewR->nRefs--;
     // if the new object is complemented or already used, create a buffer
     p->nObjs[pObjOld->Type]--;
     if ( Dar_IsComplement(pObjNew) || Dar_ObjRefs(pObjNew) > 0 || (fNodesOnly && !Dar_ObjIsNode(pObjNew)) )
-- 
cgit v1.2.3