From b2009d46817f00372f7552c068c4a7eb9bf1389b Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 20 Dec 2011 15:04:19 +0100 Subject: [multiple changes] 2011-12-20 Bob Duff * 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 * 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 --- gcc/ada/opt.ads | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'gcc/ada/opt.ads') 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 -- cgit v1.1