Fix assertion failure on VSS library
authorJavier Miranda <miranda@adacore.com>
Mon, 6 Mar 2023 10:43:28 +0000 (11:43 +0100)
committerEric Botcazou <ebotcazou@adacore.com>
Mon, 6 Mar 2023 10:45:24 +0000 (11:45 +0100)
commit14e5b65fd9bb6a848adda8ec939840c8f3ea6b40
tree592ccd31597871f545f55dbab62018f00d408c42
parent94a67e3044212592ce408952c526210a81e1bf49
Fix assertion failure on VSS library

gcc/ada/
PR ada/108858
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): For functions with
separate spec, if their return type was visible through a limited-
with context clause, their extra formals were not added when the
spec was analyzed.  Now the full view must be available, and the
extra formals can be created and Returns_By_Ref computed.
gcc/ada/sem_ch6.adb