mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-14 04:41:48 +00:00
Code Activity

Add out-of-line definitions for static constexpr members to fix ODR violations

Browse source 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-13 19:34:13 +00:00
parent 7654ab4b72
commit 5305b438be
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/util/mpz.cpp
View file

@ -33,6 +33,11 @@ Revision History:
#error No multi-precision library selected.
#endif
// Out-of-line definitions for static constexpr members (required for ODR-use in C++14 and earlier)
constexpr int mpz::SMALL_BITS;
constexpr int64_t mpz::SMALL_INT_MAX;
constexpr int64_t mpz::SMALL_INT_MIN;
// Available GCD algorithms
// #define EUCLID_GCD
// #define BINARY_GCD