Another corner-case bug in zeropo.

443cc017 · Alan Mishchenko · 0656af22 · 443cc017
Commit 443cc017 authored Feb 19, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

src/base/abc/abcNtk.c
+3 -2

No files found.
--- a/src/base/abc/abcNtk.c
+++ b/src/base/abc/abcNtk.c
@@ -1462,9 +1462,10 @@ void Abc_NtkDropOneOutput( Abc_Ntk_t * pNtk, int iOutput )
 {
    Abc_Obj_t * pObj, * pConst0, * pFaninNew;
    pObj = Abc_NtkPo( pNtk, iOutput );
-    if ( Abc_ObjFanin0(pObj) == Abc_AigConst1(pNtk) && !Abc_ObjFaninC0(pObj) )
+    if ( Abc_ObjFanin0(pObj) == Abc_AigConst1(pNtk) )
    {
-        Abc_ObjXorFaninC( pObj, 0 );
+        if ( !Abc_ObjFaninC0(pObj) )
+            Abc_ObjXorFaninC( pObj, 0 );
        return;
    }
    pConst0 = Abc_ObjNot( Abc_AigConst1(pNtk) );