blob: 05b977f5177e2eeb048f45af0c9809b62e399967 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
From e212159f4e941c78fc03239e0884f2f0454f581f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 20 Nov 2019 15:01:04 -0800
Subject: [PATCH] fix #2727
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/util/mpz.cpp | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index a8190df1b0..9c2d3d5ffb 100644
--- a/src/util/mpz.cpp
+++ b/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;
|
