From 33f9e03e83b9f977db89ba64171a7bab2cb013d0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 1 Feb 2017 15:01:59 +0100
Subject: [PATCH] [buddy] update the warning flags to match Spot's

* m4/gccwarns.m4: Add more flags taken from Spot.
Also add -Wno-long-long to suppress one warning.
---
 buddy/m4/gccwarns.m4 | 22 +++++++++++++++-------
 1 file changed, 15 insertions(+), 7 deletions(-)

diff --git a/buddy/m4/gccwarns.m4 b/buddy/m4/gccwarns.m4
index 2205c9f83..6a91d7e2b 100644
--- a/buddy/m4/gccwarns.m4
+++ b/buddy/m4/gccwarns.m4
@@ -23,17 +23,25 @@ EOF
   cf_save_CFLAGS="$CFLAGS"
   ac_cv_prog_gcc_warn_flags="-W -Wall"
   for cf_opt in \
-   Wbad-function-cast \
+   Werror \
+   Wint-to-void-pointer-cast \
+   Wzero-as-null-pointer-constant \
    Wcast-align \
-   Winline \
-   Wnested-externs \
    Wpointer-arith \
    Wwrite-strings \
+   Wcast-qual \
+   Wdocumentation \
    Wmissing-declarations \
-   Wmissing-prototypes \
-   Wstrict-prototypes \
-   Wshadow \
-   Wcast-qual
+   Wnoexcept \
+   Woverloaded-virtual \
+   Wmisleading-indentation \
+   Wimplicit-fallthrough \
+   Wlogical-op \
+   Wduplicated-cond \
+   Wnull-dereference \
+   Wsuggest-override \
+   Wpedantic \
+   Wno-long-long
   do
     CFLAGS="$cf_save_CFLAGS $ac_cv_prog_gcc_warn_flags -$cf_opt"
     if AC_TRY_EVAL(ac_compile); then