Module: ppl/ppl Branch: devel Commit: c97ab86a3632ce7a0510586e3b426b588b70e800

Author: Abramo Bagnara abramo.bagnara@bugseng.com Date: Tue Oct 8 23:24:01 2024 +0200

__attribute__((weak)) does not work on MinGW, neither 32-bit nor 64-bit.

---

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

diff --git a/src/assertions.hh b/src/assertions.hh index 8b205506f..b87ddb56b 100644 --- a/src/assertions.hh +++ b/src/assertions.hh @@ -100,9 +100,10 @@ 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. +// It also does not work on MinGW. #if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK \ - && !((defined(__CYGWIN__) || defined(__MINGW32__))&& defined(__x86_64__)) + && !(defined(__CYGWIN__) && defined(__x86_64__)) \ + && !defined(__MINGW32__) #define PPL_WEAK_NORETURN __attribute__((weak, noreturn)) #else #define PPL_WEAK_NORETURN __attribute__((noreturn))