Module: ppl/ppl Branch: devel Commit: bcedca2d38d714ff88f01b3bfa16269effa4807a

Author: Abramo Bagnara abramo.bagnara@bugseng.com Date: Wed Sep 11 16:27:43 2024 +0200

__attribute__((weak)) does not work on 64-bit MinGW.

---

src/assertions.hh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/assertions.hh b/src/assertions.hh index 477947b3c..8b205506f 100644 --- a/src/assertions.hh +++ b/src/assertions.hh @@ -100,8 +100,9 @@ namespace Parma_Polyhedra_Library {

// Note: __attribute__((weak)) does not work on 64-bit Cygwin. // See https://trac.sagemath.org/ticket/16152 and links therein. +// It also does not work on 64-bit MinGW. #if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK \ - && !(defined(__CYGWIN__) && defined(__x86_64__)) + && !((defined(__CYGWIN__) || defined(__MINGW32__))&& defined(__x86_64__)) #define PPL_WEAK_NORETURN __attribute__((weak, noreturn)) #else #define PPL_WEAK_NORETURN __attribute__((noreturn))