From 04eb273a193f40da525a38d3aaa44f25d8f193b9 Mon Sep 17 00:00:00 2001
From: Ivan Maidanski <ivmai@mail.ru>
Date: Wed, 16 Aug 2017 11:23:49 +0300
Subject: [PATCH] Eliminate '-pedantic is not an option that controls warnings'
 GCC message (fix commit 84c0313)

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

diff --git a/mark.c b/mark.c
index 179cfb57..33f2fba5 100644
--- a/mark.c
+++ b/mark.c
@@ -544,7 +544,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__)
+#       if defined(__clang__) || GC_GNUC_PREREQ(7, 0)
 #         pragma GCC diagnostic ignored "-Wpedantic"
 #       else
           /* GCC before ~4.8 does not accept "-Wpedantic" quietly.  */
-- 
2.40.0