diff options
| author | Bob Duff <duff@adacore.com> | 2021-02-13 16:43:22 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-15 06:19:10 -0400 |
| commit | a5db70e78af095a3d8e4744f21059448056fa47b (patch) | |
| tree | 7eb2485f98fc8116b71f74a47df1f648e323a043 /gcc/ada/snames.ads-tmpl | |
| parent | ed17bbe3c3ac0a5afd866030d88dce3f6d5a2730 (diff) | |
| download | gcc-a5db70e78af095a3d8e4744f21059448056fa47b.zip gcc-a5db70e78af095a3d8e4744f21059448056fa47b.tar.gz gcc-a5db70e78af095a3d8e4744f21059448056fa47b.tar.bz2 | |
[Ada] Fix bug in subtype of private type with invariants
gcc/ada/
* sem_util.adb (Propagate_Invariant_Attributes): Call
Set_Has_Own_Invariants on the base type, because these are
Base_Type_Only. The problem is that the base type of a type is
indeed a base type when Set_Base_Type is called, but then the
type is mutated into a subtype in rare cases.
* atree.ads, atree.adb (Is_Entity): Export. Correct subtype of
parameter in body.
* gen_il-gen.adb: Improve getters so that "Pre => ..." can refer
to the value of the field. Put Warnings (Off) on some with
clauses that are not currently used, but might be used by such
Pre's.
Diffstat (limited to 'gcc/ada/snames.ads-tmpl')
0 files changed, 0 insertions, 0 deletions