diff options
Diffstat (limited to 'community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch')
| -rw-r--r-- | community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch b/community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch new file mode 100644 index 0000000000..8edb6e5f23 --- /dev/null +++ b/community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch @@ -0,0 +1,24 @@ +From 37431d6f12ba3c7f8a0f7f7eb21a67579544b1cc 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 fail to build on clang++ and g++ + +Without this patch `src/util/mpz.cpp` fails to build when `__GNUC__` is +defined. +--- + src/util/mpz.cpp | 2 ++ + 1 file changed, 2 insertions(+) + +diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp +index a8190df1b..9c2d3d5ff 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; |