diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 15:33:18 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 15:33:18 +0200 |
| commit | 088c7e1b0c52db7fa81623ab5b0795a89b41f054 (patch) | |
| tree | 296f5bef49f057c5b475241727dddb811da1d7a5 /gcc/ada/einfo.ads | |
| parent | f8d851c6f796b81366e0c968c2e85a9b98a95ce8 (diff) | |
| download | gcc-088c7e1b0c52db7fa81623ab5b0795a89b41f054.zip gcc-088c7e1b0c52db7fa81623ab5b0795a89b41f054.tar.gz gcc-088c7e1b0c52db7fa81623ab5b0795a89b41f054.tar.bz2 | |
[multiple changes]
2015-05-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Constrain_Concurrent): If the context is a
type declaration, generate an Itype_Reference for the anonymous
subtype, to force elaboration at this point in gigi.
2015-05-22 Gary Dismukes <dismukes@adacore.com>
* layout.adb, einfo.ads, sem_ch12.adb, freeze.adb, sem_util.ads,
exp_ch4.adb, sem_ch6.adb: Minor reformatting and typo fixes.
From-SVN: r223573
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 5d87655..fcb37fa 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -2085,11 +2085,11 @@ package Einfo is -- to multiple subprogram entities). -- Incomplete_Actuals (Elist24) --- Defined on package entities that are instances. Indicates the actusl --- types in the instantiation that are limited views. IF this list is +-- Defined on package entities that are instances. Indicates the actuals +-- types in the instantiation that are limited views. If this list is -- not empty, the instantiation, which appears in a package declaration, -- is relocated to the corresponding package body, which must have a --- corresponding non-limited with_clause. +-- corresponding nonlimited with_clause. -- In_Package_Body (Flag48) -- Defined in package entities. Set on the entity that denotes the @@ -2207,7 +2207,7 @@ package Einfo is -- keyword. For Ada 2012, also applies to formal parameters. -- Is_Atomic (Flag85) --- Defined in all type entities, and also in constants, components and +-- Defined in all type entities, and also in constants, components, and -- variables. Set if a pragma Atomic or Shared applies to the entity. -- In the case of private and incomplete types, this flag is set in -- both the partial view and the full view. @@ -3187,7 +3187,7 @@ package Einfo is -- rather than testing this flag. -- Is_Volatile_Full_Access (Flag285) --- Defined in all type entities, and also in constants, components and +-- Defined in all type entities, and also in constants, components, and -- variables. Set if a pragma Volatile_Full_Access applies to the entity. -- In the case of private and incomplete types, this flag is set in -- both the partial view and the full view. |