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

Make multiplications use unsigned to avoid UB on overflow 

Signed-off-by: Drew Lewis <cannada@google.com>
This commit is contained in:
Drew Lewis 2025-12-18 16:59:29 +00:00
parent f8726e5e97
commit 993f30ffae
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/base/abc/abcAig.c
View File

@ -90,10 +90,10 @@ struct Abc_Aig_t_
static unsigned Abc_HashKey2( Abc_Obj_t * p0, Abc_Obj_t * p1, int TableSize ) static unsigned Abc_HashKey2( Abc_Obj_t * p0, Abc_Obj_t * p1, int TableSize )
{ {
unsigned Key = 0; unsigned Key = 0;
Key ^= Abc_ObjRegular(p0)->Id * 7937; Key ^= (unsigned)Abc_ObjRegular(p0)->Id * 7937;
Key ^= Abc_ObjRegular(p1)->Id * 2971; Key ^= (unsigned)Abc_ObjRegular(p1)->Id * 2971;
Key ^= Abc_ObjIsComplement(p0) * 911; Key ^= (unsigned)Abc_ObjIsComplement(p0) * 911;
Key ^= Abc_ObjIsComplement(p1) * 353; Key ^= (unsigned)Abc_ObjIsComplement(p1) * 353;
return Key % TableSize; return Key % TableSize;
} }