diff options
| author | Justin Squirek <squirek@adacore.com> | 2019-12-18 07:16:22 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-18 07:16:22 +0000 |
| commit | d4a45898bc44a87f076485da44912df8c461bc64 (patch) | |
| tree | d4f4e88a4ed9f3dac0d96db6091c624b27ead5a8 /gcc/ada/ChangeLog | |
| parent | c7e3d0694bc09e8099542840f1a1f647c23a7222 (diff) | |
| download | gcc-d4a45898bc44a87f076485da44912df8c461bc64.zip gcc-d4a45898bc44a87f076485da44912df8c461bc64.tar.gz gcc-d4a45898bc44a87f076485da44912df8c461bc64.tar.bz2 | |
[Ada] Missing accessibility check on access discriminants
2019-12-18 Justin Squirek <squirek@adacore.com>
gcc/ada/
* sem_ch6.adb (Analyze_Function_Return): Modify handling of
extended return statements to check accessibility of access
discriminants.
(Check_Aggregate_Accessibility): Removed.
(Check_Return_Obj_Accessibility): Added to centralize checking
of return aggregates and subtype indications in the case of an
extended return statement.
From-SVN: r279518
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 465f5a9..aa37e62 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,13 @@ +2019-12-18 Justin Squirek <squirek@adacore.com> + + * sem_ch6.adb (Analyze_Function_Return): Modify handling of + extended return statements to check accessibility of access + discriminants. + (Check_Aggregate_Accessibility): Removed. + (Check_Return_Obj_Accessibility): Added to centralize checking + of return aggregates and subtype indications in the case of an + extended return statement. + 2019-12-18 Arnaud Charlet <charlet@adacore.com> * libgnat/s-regpat.adb (Parse_Literal, Parse_Piece): Ensure |