Fixing another non-reproducibility issue.

Author: alanminko

src/base/abc/abc.h

@@ -1046,7 +1046,7 @@ extern ABC_DLL Vec_Int_t *        Abc_NtkFanoutCounts( Abc_Ntk_t * pNtk );
 extern ABC_DLL Vec_Ptr_t *        Abc_NtkCollectObjects( Abc_Ntk_t * pNtk );
 extern ABC_DLL Vec_Int_t *        Abc_NtkGetCiIds( Abc_Ntk_t * pNtk );
 extern ABC_DLL void               Abc_NtkReassignIds( Abc_Ntk_t * pNtk );
-extern ABC_DLL int                Abc_ObjPointerCompare( void ** pp1, void ** pp2 );
+// extern ABC_DLL int                Abc_ObjPointerCompare( void ** pp1, void ** pp2 );
 extern ABC_DLL void               Abc_NtkTransferCopy( Abc_Ntk_t * pNtk );
 extern ABC_DLL void               Abc_NtkInvertConstraints( Abc_Ntk_t * pNtk );
 extern ABC_DLL void               Abc_NtkPrintCiLevels( Abc_Ntk_t * pNtk );

src/base/abc/abcUtil.c

@@ -1925,25 +1925,16 @@ void Abc_NtkDetectMatching( Abc_Ntk_t * pNtk )
 }
 
 
-/**Function*************************************************************
-
-  Synopsis    [Compares the pointers.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-int Abc_ObjPointerCompare( void ** pp1, void ** pp2 )
-{
-    if ( *pp1 < *pp2 )
-        return -1;
-    if ( *pp1 > *pp2 ) 
-        return 1;
-    return 0; 
-}
+/// The legacy `Abc_ObjPointerCompare()` comparator is unused; keep the code here
+/// commented to document its previous behavior without exposing a prototype.
+// int Abc_ObjPointerCompare( void ** pp1, void ** pp2 )
+// {
+//     if ( *pp1 < *pp2 )
+//         return -1;
+//     if ( *pp1 > *pp2 ) 
+//         return 1;
+//     return 0; 
+// }
 
 /**Function*************************************************************
 
@@ -3564,4 +3555,3 @@ void Abc_NtkATMap( int nXVars, int nYVars, int nAdder, char ** pGPCs0, int nGPCs
 
 
 ABC_NAMESPACE_IMPL_END
-

src/base/abci/abcSweep.c

@@ -885,10 +885,9 @@ int Abc_NtkReplaceAutonomousLogic( Abc_Ntk_t * pNtk )
                 continue;
             }
             assert( !Abc_ObjIsLatch(pFanin) );
-            Vec_PtrPush( vNodes, pFanin );
+            Vec_PtrPushUnique( vNodes, pFanin );
         }
     }
-    Vec_PtrUniqify( vNodes, (int (*)(const void *, const void *))Abc_ObjPointerCompare );
     // replace these nodes by the PIs
     Vec_PtrForEachEntry( Abc_Obj_t *, vNodes, pNode, i )
     {
@@ -1027,4 +1026,3 @@ int Abc_NtkSweepBufsInvs( Abc_Ntk_t * pNtk, int fVerbose )
 
 
 ABC_NAMESPACE_IMPL_END
-