diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-17 10:36:08 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-17 10:36:08 +0000 |
| commit | b61312b331e3e1a335e8ddf1a39106d930c963db (patch) | |
| tree | 7e6216d9fa11b4629a2e436fb370d6da4b817706 /gcc/ada/warnsw.ads | |
| parent | 8a075a7ecb50169bcecf74b2975ac77e885abc25 (diff) | |
| download | gcc-b61312b331e3e1a335e8ddf1a39106d930c963db.tar.gz | |
2013-10-17 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document -gnatw.y/-gnatw.Y.
* opt.ads (List_Body_Required_Info): New flag.
* prep.adb: Minor reformatting.
* sem_ch7.adb (Unit_Requires_Body_Info): New
procedure (Analyze_Package_Specification): Add call to
Unit_Requires_Body_Info.
* ug_words: Add entries for -gnatw.y and -gnatw.Y.
* usage.adb: Add line for new warning switch -gnatw.y/.Y.
* vms_data.ads: Add entry for [NO_]WHY_SPEC_NEEDS_BODY warning
qualifier.
* warnsw.ads, warnsw.adb: Implement new warning switch -gnatw.y/.Y.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203748 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/warnsw.ads')
| -rw-r--r-- | gcc/ada/warnsw.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/warnsw.ads b/gcc/ada/warnsw.ads index b39f545802d..0358fd77d4f 100644 --- a/gcc/ada/warnsw.ads +++ b/gcc/ada/warnsw.ads @@ -68,6 +68,7 @@ package Warnsw is Elab_Warnings : Boolean; Implementation_Unit_Warnings : Boolean; Ineffective_Inline_Warnings : Boolean; + List_Body_Required_Info : Boolean; List_Inherited_Aspects : Boolean; Warning_Doc_Switch : Boolean; Warn_On_Ada_2005_Compatibility : Boolean; |