diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-12-20 14:04:19 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-12-20 14:04:19 +0000 |
| commit | 798afddcee2a47d79102505e7f55f40991d6846e (patch) | |
| tree | f2e044fed041fab9a9b27874f080130846d73e28 /gcc/ada/warnsw.adb | |
| parent | 2fc9b6cd19ce835b283743de5325e66f80ecc6fe (diff) | |
| download | gcc-798afddcee2a47d79102505e7f55f40991d6846e.tar.gz | |
2011-12-20 Bob Duff <duff@adacore.com>
* opt.ads (List_Inherited_Aspects): Default to False
(i.e. -gnatw.L is the default).
* usage.adb: Document new default for -gnatw.L.
* gnat_ugn.texi: Document -gnatw.l and -gnatw.L switches.
* warnsw.adb (Set_Warning_Switch): Do not include
List_Inherited_Aspects in -gnatwa.
2011-12-20 Ed Schonberg <schonberg@adacore.com>
* checks.adb (Apply_Type_Conversion_Checks): For a discrete type
with predicates, indicate unconditionally that a range check
is needed.
* exp_ch4.adb (Expand_N_In): When the membership test is rewritten
to incorporate a call to a predicate function, analyze expression
with checks suppressed, to prevent infinite recursion.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182540 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/warnsw.adb')
| -rw-r--r-- | gcc/ada/warnsw.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/warnsw.adb b/gcc/ada/warnsw.adb index 703ce0c257e..3c5776758ca 100644 --- a/gcc/ada/warnsw.adb +++ b/gcc/ada/warnsw.adb @@ -251,7 +251,6 @@ package body Warnsw is Constant_Condition_Warnings := True; Implementation_Unit_Warnings := True; Ineffective_Inline_Warnings := True; - List_Inherited_Aspects := True; Warn_On_Ada_2005_Compatibility := True; Warn_On_Ada_2012_Compatibility := True; Warn_On_Assertion_Failure := True; |