From 60e091d993e2c44c5693cedfeffbf47428aaf823 Mon Sep 17 00:00:00 2001 From: Fred Tombs Date: Sat, 2 May 2026 10:09:50 -0400 Subject: [PATCH 1/2] Replace failing assert in lutpack with non-failing version --- src/opt/lpk/lpkCut.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opt/lpk/lpkCut.c b/src/opt/lpk/lpkCut.c index 41cfaed5f5..12dfc4ae86 100644 --- a/src/opt/lpk/lpkCut.c +++ b/src/opt/lpk/lpkCut.c @@ -197,7 +197,7 @@ unsigned * Lpk_CutTruth( Lpk_Man_t * p, Lpk_Cut_t * pCut, int fInv ) // set the initial truth tables at the fanins Abc_ObjForEachFanin( pObj, pFanin, k ) { - assert( ((unsigned)(ABC_PTRUINT_T)pFanin->pCopy) & 0xffff0000 ); + assert( ((ABC_PTRUINT_T)pFanin->pCopy) > 0xffff ); // catch small int values or NULL Hop_ManPi( pManHop, k )->pData = pFanin->pCopy; } // compute the truth table of internal nodes From db8e5d9988cf4a55ada9003d1af020b76f22eb2f Mon Sep 17 00:00:00 2001 From: Fred Tombs Date: Sat, 2 May 2026 16:15:00 -0400 Subject: [PATCH 2/2] Apply same assert fix to l144 --- src/opt/lpk/lpkCut.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opt/lpk/lpkCut.c b/src/opt/lpk/lpkCut.c index 12dfc4ae86..f19decff02 100644 --- a/src/opt/lpk/lpkCut.c +++ b/src/opt/lpk/lpkCut.c @@ -141,7 +141,7 @@ unsigned * Lpk_CutTruth_rec( Hop_Man_t * pMan, Hop_Obj_t * pObj, int nVars, Vec_ assert( !Hop_IsComplement(pObj) ); if ( pObj->pData ) { - assert( ((unsigned)(ABC_PTRUINT_T)pObj->pData) & 0xffff0000 ); + assert( ((ABC_PTRUINT_T)pObj->pData) > 0xffff ); // catch small int values return (unsigned *)pObj->pData; } // get the plan for a new truth table