Eliminate '-pedantic is not an option that controls warnings' GCC message

(fix commit b43d928)

* mark.c [WRAP_MARK_SOME && (MSWIN32 || MSWINCE) && __GNUC__]
(GC_mark_some): Use "-Wpedantic" instead of "-pedantic" (in pragma
GCC diagnostic) if GCC v7+.

diff --git a/mark.c b/mark.c
index 46e3e5185e1529b9fef2593c1e603139deddbc73..21b35d260917d1154baa85a393da06491add794c 100644 (file)
--- a/mark.c
+++ b/mark.c
@@ -534,7 +534,7 @@ static void alloc_mark_stack(size_t);
          || (__clang_major__ == 3 && __clang_minor__ >= 3)
 #       pragma GCC diagnostic push
         /* Suppress "taking the address of label is non-standard" warning. */
-#       if defined(__clang__)
+#       if defined(__clang__) || __GNUC__ >= 7
 #         pragma GCC diagnostic ignored "-Wpedantic"
 #       else
           /* GCC before ~4.8 does not accept "-Wpedantic" quietly.  */