[Ada] Missing accessibility check on access discriminant in extended return
authorJustin Squirek <squirek@adacore.com>
Thu, 23 Jan 2020 18:12:11 +0000 (13:12 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 4 Jun 2020 09:11:04 +0000 (05:11 -0400)
commita0c94bd34a4ed6b8239d9a6d749ad5c94022acff
treeb0d503524a4470575126995ae6dd1a341160d6c3
parent7c02e403d145989ed9f291123689baa96f455fb5
[Ada] Missing accessibility check on access discriminant in extended return

2020-06-04  Justin Squirek  <squirek@adacore.com>

gcc/ada/

* sem_ch6.adb (Check_Return_Obj_Accessibility): Change to
Check_Return_Construct_Accessibility to better reflect its
purpose.  Add loop to properly obtain the object declaration
from an expanded extended return statement and add calls to get
the original node for associated values. Also, avoid checks when
the return statement being examined comes from an internally
generated function.
gcc/ada/sem_ch6.adb