summaryrefslogblamecommitdiff
path: root/user/z3/_trailing_zeros32.patch
blob: 05b977f5177e2eeb048f45af0c9809b62e399967 (plain) (tree)






















                                                                      
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;