diff options
author | Javier Miranda <miranda@adacore.com> | 2023-12-08 18:27:18 +0000 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-01-09 14:13:31 +0100 |
commit | 8f987210930e53e6f729d0a84a5fe682aeb74b19 (patch) | |
tree | f29ca7ca94b5b0cadc23b9c53d4796acbff4a8b0 /gcc/ada/gcc-interface/decl.cc | |
parent | da75ce88bde06bfcef2d454054f43ed430d96b00 (diff) | |
download | gcc-8f987210930e53e6f729d0a84a5fe682aeb74b19.zip gcc-8f987210930e53e6f729d0a84a5fe682aeb74b19.tar.gz gcc-8f987210930e53e6f729d0a84a5fe682aeb74b19.tar.bz2 |
ada: Cannot requeue to a procedure implemented by an entry
Add missing support for RM 9.5.4(5.6/4): the target of a requeue
statement may be a procedure when its name denotes a renaming of
an entry.
gcc/ada/
* sem_ch6.adb (Analyze_Subprogram_Specification): Do not replace
the type of the formals with its corresponding record in
init-procs.
* sem_ch9.adb (Analyze_Requeue): Add missing support to requeue to
a procedure that denotes a renaming of an entry.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.cc')
0 files changed, 0 insertions, 0 deletions