fix #2665

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 28, 2019 · d0dac83 · d0dac83
1 parent e24481d
commit d0dac83
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
@@ -68,12 +68,17 @@ inline uint64_t _trailing_zeros64(uint64_t x) {
     for (; 0 == (x & 1) && r < 64; ++r, x >>= 1);
     return r;
 }
+
+#if defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64)
+// _trailing_zeros32 already defined using intrinsics
+#else
 inline uint32_t _trailing_zeros32(uint32_t x) {
     uint32_t r = 0;
     for (; 0 == (x & 1) && r < 32; ++r, x >>= 1);
     return r;
 }
 #endif
+#endif
 
 
 #define _bit_min(x, y) (y + ((x - y) & ((int)(x - y) >> 31)))