void-packages/srcpkgs/z3/patches/mpz.patch

12 lines
341 B
Diff

--- src/util/mpz.cpp.orig
+++ src/util/mpz.cpp
@@ -72,7 +72,7 @@
#if defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64)
// _trailing_zeros32 already defined using intrinsics
-#else
+#elif !defined(__GNUC__)
inline uint32_t _trailing_zeros32(uint32_t x) {
uint32_t r = 0;
for (; 0 == (x & 1) && r < 32; ++r, x >>= 1);