diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/z3/files/patch-src_util_mpz.cpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/z3/files/patch-src_util_mpz.cpp b/math/z3/files/patch-src_util_mpz.cpp new file mode 100644 index 000000000000..3dbba3d278ca --- /dev/null +++ b/math/z3/files/patch-src_util_mpz.cpp @@ -0,0 +1,11 @@ +--- src/util/mpz.cpp.orig 2019-11-19 20:58:44 UTC ++++ src/util/mpz.cpp +@@ -72,6 +72,8 @@ inline uint64_t _trailing_zeros64(uint64_t x) { + + #if defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64) + // _trailing_zeros32 already defined using intrinsics ++#elif defined(__GNUC__) ++// _trailing_zeros32 already defined using intrinsics + #else + inline uint32_t _trailing_zeros32(uint32_t x) { + uint32_t r = 0; |