actually the warning only shows up using clang

This commit is contained in:
Sébastien Loriot 2022-07-11 10:35:09 +02:00
parent c32e2b1416
commit 6acb3a19fe
1 changed files with 2 additions and 6 deletions

View File

@ -289,13 +289,9 @@ Uncertain<bool> operator!(Uncertain<bool> a)
return Uncertain<bool>(!a.sup(), !a.inf()); return Uncertain<bool>(!a.sup(), !a.inf());
} }
#ifdef __GNUC__
# pragma GCC diagnostic push
#ifdef __clang__ #ifdef __clang__
# pragma GCC diagnostic push
# pragma GCC diagnostic ignored "-Wunknown-warning-option" # pragma GCC diagnostic ignored "-Wunknown-warning-option"
#else
# pragma GCC diagnostic ignored "-Wpragmas"
#endif
# pragma GCC diagnostic ignored "-Wbitwise-instead-of-logical" # pragma GCC diagnostic ignored "-Wbitwise-instead-of-logical"
#endif #endif
inline inline
@ -333,7 +329,7 @@ Uncertain<bool> operator&(Uncertain<bool> a, bool b)
{ {
return Uncertain<bool>(a.inf() & b, a.sup() & b); return Uncertain<bool>(a.inf() & b, a.sup() & b);
} }
#ifdef __GNUC__ #ifdef __clang__
# pragma GCC diagnostic pop # pragma GCC diagnostic pop
#endif #endif