[Bug ada/108858] [13 regression ] assertion failure at exp_ch6.adb:6499 on VSS library

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108858

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>:

https://gcc.gnu.org/g:14e5b65fd9bb6a848adda8ec939840c8f3ea6b40

commit r13-6505-g14e5b65fd9bb6a848adda8ec939840c8f3ea6b40
Author: Javier Miranda <mira...@adacore.com>
Date:   Mon Mar 6 11:43:28 2023 +0100

    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.