diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-14 13:01:34 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-14 13:01:34 +0000 |
| commit | 2b37b2272717449d6dd4abd1b156d43b24c44c85 (patch) | |
| tree | 40a2c2e242f4ba31fa9e53f35977d39c7e1919d5 /gcc/ada/warnsw.adb | |
| parent | a506611753ecfe5d908291f1e3ee7885d8fc7322 (diff) | |
| download | gcc-2b37b2272717449d6dd4abd1b156d43b24c44c85.tar.gz | |
2013-10-14 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document -gnateu switch.
* opt.ads (Ignore_Unrecognized_VWY_Switches): New switch.
* stylesw.adb: Ignore unrecognized switch if
Ignore_Unrecognized_VWY_Switches set.
* switch-c.adb: Implement -gnateu (sets
Ignore_Unrecognized_VWY_Switches).
* validsw.adb: Ignore unrecognized switch if
Ignore_Unrecognized_VWY_Switches set.
* warnsw.adb: Ignore unrecognized switch if
Ignore_Unrecognized_VWY_Switches set.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203536 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/warnsw.adb')
| -rw-r--r-- | gcc/ada/warnsw.adb | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/ada/warnsw.adb b/gcc/ada/warnsw.adb index 36360f96d63..a957138bded 100644 --- a/gcc/ada/warnsw.adb +++ b/gcc/ada/warnsw.adb @@ -25,6 +25,7 @@ with Err_Vars; use Err_Vars; with Opt; use Opt; +with Output; use Output; package body Warnsw is @@ -386,7 +387,11 @@ package body Warnsw is No_Warn_On_Non_Local_Exception := True; when others => - return False; + if Ignore_Unrecognized_VWY_Switches then + Write_Line ("unrecognized switch -gnatw." & C & " ignored"); + else + return False; + end if; end case; return True; @@ -672,6 +677,11 @@ package body Warnsw is Warn_On_Unchecked_Conversion := False; when others => + if Ignore_Unrecognized_VWY_Switches then + Write_Line ("unrecognized switch -gnatw" & C & " ignored"); + else + return False; + end if; return False; end case; |