diff options
author | cderrien <65495526+cderrien@users.noreply.github.com> | 2022-05-16 23:35:20 +0200 |
---|---|---|
committer | Cyrille Derrien <cyrille.derrien@weeroc.com> | 2022-05-16 23:40:44 +0200 |
commit | 9f59cc8640127459cc09f3110f0dcbad4000ed2d (patch) | |
tree | 75b66b028fab2726b5d62cb160046fd4a5b4980e | |
parent | 5f6eae0920bde575fc36a9661b44adbf0dfec7c7 (diff) | |
download | ghdl-9f59cc8640127459cc09f3110f0dcbad4000ed2d.tar.gz ghdl-9f59cc8640127459cc09f3110f0dcbad4000ed2d.tar.bz2 ghdl-9f59cc8640127459cc09f3110f0dcbad4000ed2d.zip |
Add the -Wall flag.
-rw-r--r-- | src/options.adb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/options.adb b/src/options.adb index 00da22ca5..bf94c3955 100644 --- a/src/options.adb +++ b/src/options.adb @@ -90,6 +90,14 @@ package body Options is Error_Msg_Option ("unknown warning identifier: " & Opt); 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 @@ -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"); |