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

(fix commits 84c0313, 04eb273)

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

diff --git a/mark.c b/mark.c
index abdb9a2e0c2aa03cc23179ac564a8e2b2a2842cc..c0d1def5a02ecbf636d891670b31cd0f26309969 100644 (file)
--- a/mark.c
+++ b/mark.c
@@ -532,7 +532,7 @@ static void alloc_mark_stack(size_t);
 #     if GC_GNUC_PREREQ(4, 7) || GC_CLANG_PREREQ(3, 3)
 #       pragma GCC diagnostic push
         /* Suppress "taking the address of label is non-standard" warning. */
-#       if defined(__clang__) || GC_GNUC_PREREQ(7, 0)
+#       if defined(__clang__) || GC_GNUC_PREREQ(6, 4)
 #         pragma GCC diagnostic ignored "-Wpedantic"
 #       else
           /* GCC before ~4.8 does not accept "-Wpedantic" quietly.  */