luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Apply same assert fix to l144

This commit is contained in:
Fred Tombs 2026-05-02 16:15:00 -04:00
parent 60e091d993
commit db8e5d9988
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/opt/lpk/lpkCut.c
View File

@ -141,7 +141,7 @@ unsigned * Lpk_CutTruth_rec( Hop_Man_t * pMan, Hop_Obj_t * pObj, int nVars, Vec_
assert( !Hop_IsComplement(pObj) ); assert( !Hop_IsComplement(pObj) );
if ( pObj->pData ) 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; return (unsigned *)pObj->pData;
} }
// get the plan for a new truth table // get the plan for a new truth table