mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 02:15:19 +00:00
Code Activity

fix warning C4244 in util.h (#7171)

Browse source 
Add a static cast to avoid warning C4244 on MSVC
This commit is contained in:
向阳 2024-03-20 17:31:23 +08:00 committed by GitHub
parent 1a7437144c
commit a9054bc73b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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/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
}