From 6acb3a19fe9ce9fb32f5c342d0761f9292e2706d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Mon, 11 Jul 2022 10:35:09 +0200
Subject: [PATCH] actually the warning only shows up using clang

---
 STL_Extension/include/CGAL/Uncertain.h | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/STL_Extension/include/CGAL/Uncertain.h b/STL_Extension/include/CGAL/Uncertain.h
index 47972a6c9f2..5e5003a5d5b 100644
--- a/STL_Extension/include/CGAL/Uncertain.h
+++ b/STL_Extension/include/CGAL/Uncertain.h
@@ -289,13 +289,9 @@ Uncertain<bool> operator!(Uncertain<bool> a)
   return Uncertain<bool>(!a.sup(), !a.inf());
 }
 
-#ifdef __GNUC__
-#  pragma GCC diagnostic push
 #ifdef __clang__
+#  pragma GCC diagnostic push
 #  pragma GCC diagnostic ignored "-Wunknown-warning-option"
-#else
-#  pragma GCC diagnostic ignored "-Wpragmas"
-#endif
 #  pragma GCC diagnostic ignored "-Wbitwise-instead-of-logical"
 #endif
 inline
@@ -333,7 +329,7 @@ Uncertain<bool> operator&(Uncertain<bool> a, bool b)
 {
   return Uncertain<bool>(a.inf() & b, a.sup() & b);
 }
-#ifdef __GNUC__
+#ifdef __clang__
 #  pragma GCC diagnostic pop
 #endif