Merge pull request #2061 from cderrien/add_wall

Add the -Wall flag.

1 files changed, 9 insertions, 0 deletions

diff --git a/src/options.adb b/src/options.adb
index 00da22ca5..9cf591d59 100644
--- a/src/options.adb
+++ b/src/options.adb
@@ -91,6 +91,14 @@ package body Options is
          return Option_Err;
       end if;
 
+      -- Handle -Wall
+      if Opt = "all" then
+         for I in Msgid_Warnings loop
+            Enable_Warning(I, True);
+         end loop;
+         return Option_Ok;
+      end if;
+
       --  Normal warnings.
       for I in Msgid_Warnings loop
          if Warning_Image (I) = Opt then
@@ -300,6 +308,7 @@ package body Options is
       P ("  -Wbody             warns for not necessary package body");
       P ("  -Wspecs            warns if a all/others spec does not apply");
       P ("  -Wunused           warns if a subprogram is never used");
+      P ("  -Wall              enables all warnings.");
       P ("  -Werror            turns warnings into errors");
 --    P ("Simulation option:");
 --    P ("  --assert-level=LEVEL     set the level which stop the");