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))