summaryrefslogtreecommitdiff
path: root/gcc/ada/switch-c.adb
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2009-07-15 09:38:34 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2009-07-15 09:38:34 +0000
commit12308590e4cef9c7d707c0401ead28a5445593da (patch)
tree439c660991c7ccaba025ac153ec4d00b702988ff /gcc/ada/switch-c.adb
parentcf77400807ed1cd8057a06a51ef5a773ea156878 (diff)
downloadgcc-12308590e4cef9c7d707c0401ead28a5445593da.tar.gz
2009-07-15 Robert Dewar <dewar@adacore.com>
* switch-c.adb, sem_ch10.adb, sem_warn.adb, sem_warn.ads: Implement new switch -gnatw.g. (Set_GNAT_Mode_Warnings): New procedure. * lib-xref.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149666 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/switch-c.adb')
-rw-r--r--gcc/ada/switch-c.adb23
1 files changed, 2 insertions, 21 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb
index f0acc45c766..b391ce3913f 100644
--- a/gcc/ada/switch-c.adb
+++ b/gcc/ada/switch-c.adb
@@ -508,28 +508,9 @@ package body Switch.C is
Ada_Version := Ada_05;
Ada_Version_Explicit := Ada_Version;
- -- Set default warnings for -gnatg
-
- Check_Unreferenced := True;
- Check_Unreferenced_Formals := True;
- Check_Withs := True;
- Constant_Condition_Warnings := True;
- Implementation_Unit_Warnings := True;
- Ineffective_Inline_Warnings := True;
- Warn_On_Assertion_Failure := True;
- Warn_On_Assumed_Low_Bound := True;
- Warn_On_Bad_Fixed_Value := True;
- Warn_On_Constant := True;
- Warn_On_Export_Import := True;
- Warn_On_Modified_Unread := True;
- Warn_On_No_Value_Assigned := True;
- Warn_On_Non_Local_Exception := False;
- Warn_On_Obsolescent_Feature := True;
- Warn_On_Redundant_Constructs := True;
- Warn_On_Object_Renames_Function := True;
- Warn_On_Unchecked_Conversion := True;
- Warn_On_Unrecognized_Pragma := True;
+ -- Set default warnings and style checks for -gnatg
+ Set_GNAT_Mode_Warnings;
Set_GNAT_Style_Check_Options;
-- Processing for G switch