diff options
| author | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-09-18 09:52:11 +0000 |
|---|---|---|
| committer | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-09-18 09:52:11 +0000 |
| commit | 69591398720004a9aa0e8ef725030acefacaade4 (patch) | |
| tree | 87fb901cfb539e595e3225fafc799a20de13ddb8 /gcc/ada/validsw.ads | |
| parent | 8e54a0ba695e9df183ec6edf443a5b2d33dbcb6e (diff) | |
| download | gcc-69591398720004a9aa0e8ef725030acefacaade4.tar.gz | |
gcc/ada/
2017-09-18 Bob Duff <duff@adacore.com>
* sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for
reference types in the access-to-access case.
2017-09-18 Eric Botcazou <ebotcazou@adacore.com>
* sem_attr.adb (Analyze_Access_Attribute): Move check for the presence
of the "aliased" keyword on the prefix from here to...
(Resolve_Attribute) <Attribute_Access>: ...here. Remove useless call
to Check_No_Implicit_Aliasing.
* sinfo.ads (Non_Aliased_Prefix): Delete.
(Set_Non_Aliased_Prefix): Likewise.
* sinfo.adb (Non_Aliased_Prefix): Delete.
(Set_Non_Aliased_Prefix): Likewise.
2017-09-18 Bob Duff <duff@adacore.com>
* exp_ch5.adb (Build_Formal_Container_Iteration,
Expand_Formal_Container_Element_Loop): Convert the container to the
root type before passing it to the iteration operations, so it will be
of the right type.
2017-09-18 Bob Duff <duff@adacore.com>
* einfo.ads, validsw.ads, treepr.ads, sem_util.ads: Comment fixes.
2017-09-18 Bob Duff <duff@adacore.com>
* exp_ch3.adb (Build_Array_Init_Proc): If validity checking is enabled,
and it's a bit-packed array, pass False to the Consider_IS parameter of
Needs_Simple_Initialization.
2017-09-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Check_Inline_Pragma): Link the newly generated spec to
the preexisting body.
* sem_prag.adb (Check_Inline_Always_Placement): New routine.
(Process_Inline): Verify the placement of pragma Inline_Always. The
pragma must now appear on the initial declaration of the related
subprogram.
2017-09-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Declarations): In ASIS mode, At the end of the
declarative list in a subprogram body, analyze aspext specifications to
provide basic semantic information, because otherwise the aspect
specifications might only be snalyzed during expansion, when related
subprograms are generated.
2017-09-18 Bob Duff <duff@adacore.com>
* exp_ch9.adb (Is_Simple_Barrier_Name): Follow Original_Node, in case
validity checks have rewritten the tree.
2017-09-18 Bob Duff <duff@adacore.com>
* sem_util.adb: Comment fixes, and remove redundant Is_Itype check.
2017-09-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Save_References_In_Aggregate): When constructing a
qualified exxpression for an aggregate in a generic unit, verify that
the scope of the type is itself visible and not hidden, so that the
qualified expression is correctly resolved in any instance.
gcc/testsuite/
2017-09-18 Bob Duff <duff@adacore.com>
* gnat.dg/validity_check.adb: New testcase.
2017-09-18 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/overload.ads, gnat.dg/overload.adb: New testcase.
2017-09-18 Bob Duff <duff@adacore.com>
* gnat.dg/tagged_prefix_call.adb: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@252916 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/validsw.ads')
| -rw-r--r-- | gcc/ada/validsw.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/validsw.ads b/gcc/ada/validsw.ads index db9ceb214b8..7ea18159532 100644 --- a/gcc/ada/validsw.ads +++ b/gcc/ada/validsw.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2001-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2017, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -54,7 +54,7 @@ package Validsw is Validity_Check_Default : Boolean := True; -- Controls default (reference manual) validity checking. If this switch is - -- set to True using -gnatVd or a 'd' in the argument of a Validity_ Checks + -- set to True using -gnatVd or a 'd' in the argument of a Validity_Checks -- pragma (or the initial default value is used, set True), then left side -- subscripts and case statement arguments are checked for validity. This -- switch is also set by default if no -gnatV switch is used and no |