From 561dc5673cea431e930668b0d87b0c4b31a36b39 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Tue, 13 Oct 2015 23:12:27 +0300
Subject: [PATCH] Add workaround for some (apparently broken) gcc versions

Thanks to Robin Watts and Vladimir Murzin.
---
 link.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/link.c b/link.c
index a074640..a77e388 100644
--- a/link.c
+++ b/link.c
@@ -34,6 +34,12 @@
 #include <caml/memory.h>
 #include <caml/unixsupport.h>
 
+#if __GNUC__ < 5
+/* At least gcc (Gentoo 4.9.3 p1.0, pie-0.6.2) 4.9.3 emits erroneous
+   clobbered diagnostics */
+#pragma GCC diagnostic ignored "-Wclobbered"
+#endif
+
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Wunused-parameter"
 #pragma GCC diagnostic ignored "-Wshadow"
-- 
2.11.4.GIT