diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-12-20 15:04:19 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-12-20 15:04:19 +0100 |
| commit | b2009d46817f00372f7552c068c4a7eb9bf1389b (patch) | |
| tree | f2e044fed041fab9a9b27874f080130846d73e28 /gcc/ada/opt.ads | |
| parent | 2f7b74678b21c5c104c984cec26403bbefa27b76 (diff) | |
| download | gcc-b2009d46817f00372f7552c068c4a7eb9bf1389b.zip gcc-b2009d46817f00372f7552c068c4a7eb9bf1389b.tar.gz gcc-b2009d46817f00372f7552c068c4a7eb9bf1389b.tar.bz2 | |
[multiple changes]
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.
From-SVN: r182540
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 4c1f560..555283c 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -801,10 +801,12 @@ package Opt is -- Set to True to skip compile and bind steps (except when Bind_Only is -- set to True). - List_Inherited_Aspects : Boolean := True; + List_Inherited_Aspects : Boolean := False; -- GNAT -- List inherited invariants, preconditions, and postconditions from - -- Invariant'Class, Pre'Class, and Post'Class aspects. + -- Invariant'Class, Pre'Class, and Post'Class aspects. Also list inherited + -- subtype predicates. Set True by use of -gnatw.l and False by use of + -- -gnatw.L. List_Restrictions : Boolean := False; -- GNATBIND |