projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7e3d06) | patch
[Ada] Missing accessibility check on access discriminants
authorJustin Squirek <squirek@adacore.com>
Wed, 18 Dec 2019 07:16:22 +0000 (07:16 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 18 Dec 2019 07:16:22 +0000 (07:16 +0000)
commitd4a45898bc44a87f076485da44912df8c461bc64
treed4f4e88a4ed9f3dac0d96db6091c624b27ead5a8tree
parentc7e3d0694bc09e8099542840f1a1f647c23a7222commit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history