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

Merge pull request #460 from calewis/fix_ub 

Make multiplications use unsigned to avoid UB on overflow
This commit is contained in:
alanminko 2025-12-24 07:23:49 -08:00 committed by GitHub
parent 7a4d8ec907 993f30ffae
commit bc0f65cbfc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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;
} }