mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 08:35:31 +00:00
Code Activity

Update util.h - fix warning C4244

Browse source 
Add a static cast to avoid warning C4244 on MSVC
This commit is contained in:
向阳 2024-03-20 14:54:44 +08:00 • committed by GitHub
parent 1a7437144c
commit bee6c7f6ad
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/util.h
View file

@ -142,7 +142,7 @@ static inline unsigned get_num_1bits(uint64_t v) {
v = (v + (v >> 4)) & 0x0F0F0F0F0F0F0F0F;
uint64_t r = (v * 0x0101010101010101) >> 56;
SASSERT(c == r);
return r;
return static_cast<unsigned>(r);
#endif
}