diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-12-15 14:09:02 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-12-15 14:09:02 +0000 |
| commit | 5b85ad7d19aa1428b4f657bbbd5bf39d34ecbb14 (patch) | |
| tree | 58b9152ed281cbe6a6a154cff71534b94032422c /gcc/ada/einfo.ads | |
| parent | 87a5e0e8c65c0066f497d54e88ff2c1dc6eb3a97 (diff) | |
| download | gcc-5b85ad7d19aa1428b4f657bbbd5bf39d34ecbb14.zip gcc-5b85ad7d19aa1428b4f657bbbd5bf39d34ecbb14.tar.gz gcc-5b85ad7d19aa1428b4f657bbbd5bf39d34ecbb14.tar.bz2 | |
exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of the innermost array instead of Esize of its component...
gcc/ada/
2017-12-15 Eric Botcazou <ebotcazou@adacore.com>
* exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of
the innermost array instead of Esize of its component type to exclude
inappropriate array types, including packed array types.
2017-12-15 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Input_Item): Allow concurrent types to appear
within the input list of Initializes. Remove the uses of Input_OK.
2017-12-15 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Expand_N_In): Do not replace a membership test on a
scalar type with a validity test when the membership appears in a
predicate expression, to prevent a spurious error when predicate is
specified static.
* sem_ch13.adb (Build_Predicate_Functions): Add warning if a static
predicate, after constant-folding, reduces to True and is this
redundant.
* par-ch4.adb: Typo fixes and minor reformattings.
2017-12-15 Hristian Kirtchev <kirtchev@adacore.com>
* sem_elab.adb (Ensure_Prior_Elaboration_Static): Mark the generated
with clause as being implicit for an instantiation in order to
circumvent an issue with 'W' and 'Z' line encodings in ALI files.
2017-12-15 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Is_Potentially_Unevaluated): Detect further cases of
misuse of 'Old that appear within an expression that is potentially
unevaluated, when the prefix of the attribute does not statically
designate an object (e.g. a function call).
2017-12-15 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Conformking_Types): Two incomplete types are conforming
when one of them is used as a generic actual, but only within an
instantiation.
* einfo.ads: Clarify use of flag Used_As_Generic_Actual.
2017-12-15 Justin Squirek <squirek@adacore.com>
* sem_attr.adb (Resolve_Attribute): Modify check for aliased view on
prefix to use the prefix's original node to avoid looking at expanded
conversions for certain array types.
2017-12-15 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Membership_Op): Add warning on a membership
operation on a scalar type for which there is a user-defined equality
operator.
2017-12-15 Yannick Moy <moy@adacore.com>
* doc/gnat_rm/implementation_defined_pragmas.rst: Add Ghost assertion
policy.
gcc/testsuite/
2017-12-15 Justin Squirek <squirek@adacore.com>
* gnat.dg/aliasing4.adb: New testcase.
2017-12-15 Ed Schonberg <schonberg@adacore.com>
* gnat.dg/incomplete6.adb, gnat.dg/incomplete6.ads: New testcase.
2017-12-15 Hristian Kirtchev <kirtchev@adacore.com>
* gnat.dg/initializes.ads, gnat.dg/initializes.adb: New testcase.
2017-12-15 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/component_size.adb: New testcase.
From-SVN: r255695
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index bb5b5e9..dd6652b 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -4583,7 +4583,9 @@ package Einfo is -- Used_As_Generic_Actual (Flag222) -- Defined in all entities, set if the entity is used as an argument to --- a generic instantiation. Used to tune certain warning messages. +-- a generic instantiation. Used to tune certain warning messages, and +-- in checking type conformance within an instantiation that involves +-- incomplete formal and actual types. -- Uses_Lock_Free (Flag188) -- Defined in protected type entities. Set to True when the Lock Free |